Results
|
|
1.
|
Web technologies and applications : a computer science perspective / by Series:
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Noida India : Pearson Education, ©2007
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.678 JAC-W 63392.
|
|
|
2.
|
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.
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
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 III / edited by Bernd Finkbeiner, Laura Kovács. by Series: Lecture Notes in Computer Science ; 14572
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).
|
|
|
10.
|
|
|
|
11.
|
Programming Languages and Systems [electronic resource] : 31st European Symposium on Programming, ESOP 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 Ilya Sergey. by Series: Lecture Notes in Computer Science ; 13240
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).
|
|
|
12.
|
Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / edited by Thomas Wies. by Series: Lecture Notes in Computer Science ; 13990
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).
|
|
|
13.
|
Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 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 Stephanie Weirich. by Series: Lecture Notes in Computer Science ; 14576
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).
|
|
|
14.
|
Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 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 Stephanie Weirich. by Series: Lecture Notes in Computer Science ; 14577
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).
|
|
|
15.
|
Participative Urban Health and Healthy Aging in the Age of AI [electronic resource] : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings / edited by Hamdi Aloulou, Bessam Abdulrazak, Antoine de Marassé-Enouf, Mounir Mokhtari. by Series: Lecture Notes in Computer Science ; 13287
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).
|
|
|
16.
|
Machine learning for networking Book : first International Conference, MLN 2018, Paris, France, November 27-29, 2018, Revised selected papers / Eþric Renault, Paul Mu·hlethaler, Selma Boumerdassi (eds.). by Series: LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. | Lecture notes in computer science ; 11407.
Material type: Text; Literary form:
Not fiction
Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 006.31 REN 23672.
|
|
|
17.
|
Machine learning for cyber security : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, proceedings. Part I / Yuan Xu, Hongyang Yan, Huang Teng, Jun Cai, Jin Li (editoers.) by Series: Lecture notes in computer science ; 13655
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, ©2023
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.8 MAC 63311.
|
|
|
18.
|
Machine learning for cyber security : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, proceedings. Part III / Yuan Xu, Hongyang Yan, Huang Teng, Jun Cai, Jin Li (eds.) by Series: Lecture notes in computer science ; 13657
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ℗♭2023
Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 006.31 YAN 24717.
|
|
|
19.
|
Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance [electronic resource] : First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings / edited by Natasha Lepore, Marius George Linguraru. by Series: Lecture Notes in Computer Science ; 15515
Edition: 1st ed. 2025.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2025
In:
Springer Nature eBook
Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1).
|
|
|
20.
|
|
