ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Introductory logic and sets for computer scientists / Nimal Nissanke
| Arabic Title : | المنطق التمهيدي ومجموعات لعلماء الكمبيوتر |
| BNB number : | GB9873087 |
| Date published : | 1999 |
| Has extent : | xvi,384p. |
| Has note on contents : | Includes bibliographical references and index. |
| ISBN : | 0201179571 |
| ISBN10 : | 0201179571 |
| Author : | Nissanke, Nimal |
| Title : | Introductory logic and sets for computer scientists |
| Subject : | Computer logic 004.015113 Set theory |
| Creator : | Nissanke, Nimal |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9873087 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Harlow ; Reading, Mass. : Addison Wesley Longman, c1999 |
| Url : | 007354612 |
Formal specification / Nimal Nissanke
| Arabic Title : | المواصفات الرسمية: التقنيات والتطبيقات |
| BNB number : | GB9954428 |
| Date published : | 1999 |
| Has extent : | xvii, 295 p. |
| Has note on contents : | Includes bibliographical references and index. |
| ISBN : | 1852330023 |
| ISBN10 : | 1852330023 |
| Author : | Nissanke, Nimal |
| Title : | Formal specification : techniques and applications |
| Subject : | Formal methods (Computer science) Application software--Development 005.120151 Z (Computer program language) |
| Creator : | Nissanke, Nimal |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9954428 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | London : Springer, c1999 |
| Url : | http://bnb.data.bl.uk/id/resource/011020636 |
Realtime systems / Nimal Nissanke
| Arabic Title : | أنظمة الوقت الحقيقي |
| BNB number : | GB9739560 |
| Date published : | 1997 |
| Has extent : | xvi,441p. |
| Has note on contents : | Includes bibliographical references and index. |
| ISBN : | 0136512747 |
| ISBN10 : | 0136512747 |
| Author : | Nissanke, Nimal |
| Title : | Realtime systems |
| Subject : | 004.33 Real-time data processing |
| Creator : | Nissanke, Nimal |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9739560 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | London : Prentice Hall, 1997 |
| Url : | http://bnb.data.bl.uk/id/resource/011301793 |
