Your search returned 6106 results.

Not what you expected? Check for suggestions

Results
	6101.	Principles of verification : cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday. Part II / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors. by Katoen, Joost-Pieter [honouree.] Jansen, Nils (Professor of Software Science) [editor.] Junges, Sebastian [editor.] Kaminski, Benjamin Lucien [editor.] Matheja, Christoph [editor.] Noll, Thomas [editor.] Quatmann, Tim [editor.] Stoelinga, Mariëlle [editor.] Volk, Matthias [editor.] Series: Lecture notes in computer science ; 15261. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2025] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6102.	Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers / edited by Bernhard Steffen. by Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 14129. Edition: 1st ed. 2025. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2025 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6103.	Leveraging applications of formal methods, verification and validation. Specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 ; proceedings. Part III / Tiziana Margaria, Bernhard Steffen, editors. by ISoLA (Symposium) (12th : 2024 : Crete, Greece) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 15221. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2025]Copyright date: ©2025 Other title: ISoLA 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6104.	Statistical rethinking : a Bayesian course with examples in R and Stan / Richard McElreath. by McElreath, Richard, 1973- [aut] Series: Chapman & Hall/CRC texts in statistical science series Edition: Second edition Material type: Text; Format: print Language: English Publisher: Boca Raton London New York CRC Press, Taylor & Francis Group 2020 Availability: Not available: Checked out (1). Lists: New Arrivals November 2025. Place hold
	6105.	Robot teams : from diversity to polymorphism / edited by Tucker Balch (Carnegie-Mellon University), Lynne E. Parker (Oak Ridge National Laboratory) by Balch, Tucker, 1962- [Editor] Parker, Lynne E [Editor] Material type: Text; Format: available online Language: English Publisher: Boca Raton London New York CRC Press 2018Copyright date: © 2002 Online resources: lizenzpflichtig Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6106.	Socialbots and their friends : digital media and the automation of sociality / edited by Robert W. Gehl and Maria Bakardjieva. by Gehl, Robert W [editor.] Bakardjieva, Maria, 1959- [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Routledge, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha