Results
|
|
1.
|
Wireless communications and networking by
Material type:  Text; Format:
print
; Literary form:
Not fiction
2008
Availability: Items available for loan: COMSATS University Lahore Campus (1)Call number: 004.678 GAR-W.
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Web engineering Book : 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019, Proceedings / Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.). by Series: LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. | Lecture notes in computer science ; 11496.
Material type: Text; Literary form:
Not fiction
Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 004.678 BAK 23702.
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
UML And C++ [Book] A Practical Guide To Object Oriented Development by
Edition: Second edition.
Material type: Text; Literary form:
Not fiction
Publication details: Noida India : Pearson India Education Service, ©2015
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 00512. LEE-U 63367.
|
|
|
9.
|
|
|
|
10.
|
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 I / edited by Dirk Beyer, Marieke Huisman. [E-Book] by Series: Theoretical Computer Science and General Issues ; 10805
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).
|
|
|
11.
|
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).
|
|
|
12.
|
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 II / edited by Tomáš Vojnar, Lijun Zhang. [E-Book] by Series: Theoretical Computer Science and General Issues ; 11428
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).
|
|
|
13.
|
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).
|
|
|
14.
|
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. [E-Book] by Series: Theoretical Computer Science and General Issues ; 11429
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).
|
|
|
15.
|
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. [E-Book] by Series: Theoretical Computer Science and General Issues ; 12079
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
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 [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen. by Series: Theoretical Computer Science and General Issues ; 12652
Edition: 1st ed. 2021.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
17.
|
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 I / edited by Dana Fisman, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13243
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).
|
|
|
18.
|
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: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
19.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 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 Bernd Finkbeiner, Laura Kovács. by Series: Lecture Notes in Computer Science ; 14570
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: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
20.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 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 Bernd Finkbeiner, Laura Kovács. by Series: Lecture Notes in Computer Science ; 14571
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: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
