Results
|
|
1.
|
xxAI - Beyond Explainable AI [electronic resource] : International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers / edited by Andreas Holzinger, Randy Goebel, Ruth Fong, Taesup Moon, Klaus-Robert Müller, Wojciech Samek. by Series: Lecture Notes in Artificial Intelligence ; 13200
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: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
Use of Artificial Intelligence in Group Representation Theory by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: COMSATS University Islamabad, Lahore Campus Library Information Services, CUI Lahore 2023
Dissertation note: To fullfill the requirement of the degree MS Spring, 2023 Mathematics COMSATS University Islamabad, Lahore campus FA21-RMT-103
Availability: Items available for reference: COMSATS University Lahore Campus: Not for loan (1)Call number: 510.
|
|
|
6.
|
Unmanned autonomous ground vehicle (UAGV) / Ahsan Bilal. [Thesis or Dissertation] by
Material type: Text Language: English
Publication details: Islamabad : COMSATS University Islamabad, 2011
Dissertation note: A Under Graduate thesis submitted to the department of Electrical Engineering as a partial fulfillment of the requirement for the award of the degree of BS in Computer Engineering.External Examiner: Farrukh Saleem Alamgir, IT Services, DWP Technologies (pvt) Ltd. COMSATS University Islamabad
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: P 621.3 AHS-U 1218.
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman. [E-Book] by Series: Theoretical Computer Science and General Issues ; 10806
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
16.
|
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I / edited by Tomáš Vojnar, Lijun Zhang. [E-Book] by Series: Theoretical Computer Science and General Issues ; 11427
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
17.
|
Symbiotic Interaction 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers / edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman. [E-Book] by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9961
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
18.
|
|
|
|
19.
|
Structured Object-Oriented Formal Language and Method Book : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya. by Series: Theoretical Computer Science and General Issues ; 11392
Edition: 1st ed. 2019.
Material type: Text; Literary form:
Not fiction
Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 005.1 DUA 23697.
|
|
|
20.
|
|
