Results
|
|
21.
|
علم المنطق الحديث والقديم على النظام الصحيح والنظام القويم / عيد الوصيف محمد by
Edition: الطبعة الأولى
Material type:  Text; Literary form:
Not fiction
; Audience:
General;
Publication details: Beirut : al-Maktabah al-'Asriyyah, 2014
Other title: - 'Ilm al-matiq al-hadith wa al-qadim 'ala al-nizam al-sahih wa al-nizam al-qawim
Availability: Items available for loan: Universiti Islam Sultan Sharif Ali (1)Call number: BC66 M84 2014 c.1.
|
|
|
22.
|
|
|
|
23.
|
Logic and Thinking / Lutfi Abas by
Edition: First Published
Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publication details: Bandar Seri Begawan : Universiti Brunei Darussalam, 2005
Availability: Items available for loan: Universiti Islam Sultan Sharif Ali (1)Call number: BC177 L884 2005 c.1.
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
التصميم المنطقي للأنظمة الأوتوماتيكية / ساندر بي. فريدمان by
Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publisher: al-Riyadh : Jami'ah al-Malak Sa'ud, 1998
Other title: - al-Tasmim al-mantiqi li-anzimat al-awtumatikiyah
Availability: Items available for loan: Universiti Islam Sultan Sharif Ali (1)Call number: (KWP19) TJ211 F75 1998 c.1.
|
|
|
27.
|
تبسيط المنطق الصورى / سهير محمد علي الفيل by
Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publisher: al-Qaherah : [Publisher not identified], [Date of publication not identified]
Other title: - Tabsit al-mantiq al-suwari
Availability: Items available for loan: Universiti Islam Sultan Sharif Ali (1)Call number: (KWP21) BC66 F55 c.1.
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
Istilah matematik : landasan, (logik matematik : teori set) by
Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publisher: Bandar Seri Begawan : Dewan Bahasa dan Pustaka, 1994Copyright date: ©1994
Availability: Items available for loan: Universiti Islam Sultan Sharif Ali (3)Call number: BRU QA9 I88 1994 c.1, ...
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Naoki Kobayashi, James Worrell. by Series: Lecture Notes in Computer Science ; 14575
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
34.
|
Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Naoki Kobayashi, James Worrell. by Series: Lecture Notes in Computer Science ; 14574
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13244
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
39.
|
Foundations of Software Science and Computation Structures [electronic resource] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder. by Series: Lecture Notes in Computer Science ; 13242
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
40.
|
|
