Your search returned 3618 results.

Not what you expected? Check for suggestions

Results
	181.	Topics in igneous petrology [Book] Jyotisankar Ray. by Ray, Jyotisankar Material type: Text Publication details: Springer Dordrecht Haidelberg London New York Availability: Items available for loan: COMSATS University Abbottabad Campus (1)Call number: 552.1 RAY. Place hold Add to cart (remove)
	182.	No cover image available Topics In Applied Physics [Book] Laser Beam Propagation In The Atmosphere 25. by Strohbehn,J.W Material type: Text Publication details: New York Springer-Verlag 1978 Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 530.0202 STR. Place hold Add to cart (remove)
	183.	Topaz [Book] : general planning technique and its applications at the regional, urban and facility planning levels / John F. Brotchie, John W. Dickey, Ron Sharpe. by Brotchie, John F Dickey, John W, 1941- Sharpe, Ron Series: Lecture notes in economics and mathematical systems ; 180. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1980 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 658.4033 BRO-T. Place hold Add to cart (remove)
	184.	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 Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	185.	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 Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	186.	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 Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	187.	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 Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	188.	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 Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	189.	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 Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	190.	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 Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	191.	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 Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	192.	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 Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	193.	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 Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	194.	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 Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	195.	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 Sankaranarayanan, Sriram [editor.] Sharygina, Natasha [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	196.	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 Sankaranarayanan, Sriram [editor.] Sharygina, Natasha [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	197.	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 Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	198.	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 Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	199.	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 Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) 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 Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	200.	Time series analysis and its applications with R example by Shumay, Robert H Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction 2006 Availability: Items available for loan: COMSATS University Lahore Campus (1)Call number: 519.55 SHU-T. Place hold Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Next
Last

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Locations

Series

Topics

Your search returned 3618 results.