Results
|
|
1.
|
Wireless sensor based architecture for animal health assessment / Malik Ward Ali Sheraz. [Thesis or Dissertation] by
Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Islamabad : COMSATS University Islamabad, 2008
Dissertation note: A Post Graduate thesis submitted to the department of Computer Science as partial fulfillment of the requirement for the award of degree of MS Computer Science. MS in Computer Science. COMSATS University Islamabad. 2008.
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: T 004 SHE-W 161. Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1)Call number: T 004 SHE-W 161.
|
|
|
2.
|
Visual basic to advance [Book] / Soma Dasgupta. by
Material type: Text; Literary form:
Not fiction
Publication details: New Delhi : BPB Publications, c2003
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (2)Call number: 005.133 DAS-V, ... Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (2)Call number: 005.133 DAS-V BK6747, ...
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
The Under ground guide to color printers slightly askew advice on / M. David Stone. Book by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Reading :
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (2)Call number: 004.77 DAV 486, ... Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1)Call number: 004.77 DAV 487 BK487.
|
|
|
6.
|
|
|
|
7.
|
Towards enhanced threat intelligence and analysis using deep learning in digital twin technology / Sughra Ali. [Thesis or Dissertation] by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Islamabad : COMSATS University Islamabad, 2022
Dissertation note: Thesis (MS) A Post Graduate thesis submitted to the department of Computer Science as partial fulfillment of the requirement for the award of degree of MS Computer Science. COMSATS University Islamabad. 2022.
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: T 004 ALI-T 12555. Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1)Call number: T 004 ALI-T 12555.
|
|
|
8.
|
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).
|
|
|
9.
|
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).
|
|
|
10.
|
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).
|
|
|
11.
|
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).
|
|
|
12.
|
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).
|
|
|
13.
|
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 I / edited by Armin Biere, David Parker. [E-Book] by Series: Theoretical Computer Science and General Issues ; 12078
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).
|
|
|
14.
|
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).
|
|
|
15.
|
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 I / edited by Jan Friso Groote, Kim Guldstrand Larsen. by Series: Theoretical Computer Science and General Issues ; 12651
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).
|
|
|
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] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina. by Series: Lecture Notes in Computer Science ; 13994
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
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] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina. by Series: Lecture Notes in Computer Science ; 13993
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
