Search Results for Who - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWho$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list
2026-03-24T12:40:13Z
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
ent://SD_ILS/0/SD_ILS:171120
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Spolsky, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0988-1">http://dx.doi.org/10.1007/978-1-4302-0988-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Category Theory Using Haskell An Introduction with Moggi and Yoneda
ent://SD_ILS/0/SD_ILS:606405
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
ent://SD_ILS/0/SD_ILS:608129
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70132-4">https://doi.org/10.1007/978-3-662-70132-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
ent://SD_ILS/0/SD_ILS:608772
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A First Introduction to Quantum Computing and Information
ent://SD_ILS/0/SD_ILS:605895
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
ent://SD_ILS/0/SD_ILS:605837
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67695-6">https://doi.org/10.1007/978-3-031-67695-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Tools for Telemedicine
ent://SD_ILS/0/SD_ILS:608381
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81709-0">https://doi.org/10.1007/978-3-031-81709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
ent://SD_ILS/0/SD_ILS:609119
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Programming
ent://SD_ILS/0/SD_ILS:604267
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Liu, Xinyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:602009
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8126-7">https://doi.org/10.1007/978-981-99-8126-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:602016
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8132-8">https://doi.org/10.1007/978-981-99-8132-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:602017
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8138-0">https://doi.org/10.1007/978-981-99-8138-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:602018
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8141-0">https://doi.org/10.1007/978-981-99-8141-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XII
ent://SD_ILS/0/SD_ILS:602019
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8148-9">https://doi.org/10.1007/978-981-99-8148-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XV
ent://SD_ILS/0/SD_ILS:602020
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8184-7">https://doi.org/10.1007/978-981-99-8184-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:602027
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8145-8">https://doi.org/10.1007/978-981-99-8145-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV
ent://SD_ILS/0/SD_ILS:602028
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8181-6">https://doi.org/10.1007/978-981-99-8181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603075
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56992-0">https://doi.org/10.1007/978-3-031-56992-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Thinking First Algorithms, Then Code
ent://SD_ILS/0/SD_ILS:605493
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59922-4">https://doi.org/10.1007/978-3-031-59922-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII
ent://SD_ILS/0/SD_ILS:602060
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8178-6">https://doi.org/10.1007/978-981-99-8178-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
ent://SD_ILS/0/SD_ILS:602225
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic Sources and Electromagnetic Fields
ent://SD_ILS/0/SD_ILS:602368
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Assistive Technologies and Informatics for Students with Disabilities
ent://SD_ILS/0/SD_ILS:606525
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0914-4">https://doi.org/10.1007/978-981-97-0914-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inside the world of computing : technologies, uses, challenges
ent://SD_ILS/0/SD_ILS:596678
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Delhaye, J.-L. (Jean-Loïc)<br/>Preferred Shelf Number QA76<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
ent://SD_ILS/0/SD_ILS:613437
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adventures in Computer Science From Classical Bits to Quantum Bits
ent://SD_ILS/0/SD_ILS:617858
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611950
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality Where We Will All Live
ent://SD_ILS/0/SD_ILS:613978
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54502-8">https://doi.org/10.1007/978-3-319-54502-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613254
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author R. Devanur, Nikhil. editor. Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71924-5">https://doi.org/10.1007/978-3-319-71924-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LaTeX in 24 Hours A Practical Guide for Scientific Writing
ent://SD_ILS/0/SD_ILS:614352
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Datta, Dilip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47831-9">https://doi.org/10.1007/978-3-319-47831-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612612
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ent://SD_ILS/0/SD_ILS:617743
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610933
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Paraconsistent Engineering
ent://SD_ILS/0/SD_ILS:611370
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Akama, Seiki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
ent://SD_ILS/0/SD_ILS:612466
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33786-9">https://doi.org/10.1007/978-3-319-33786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Domain-Specific Conceptual Modeling Concepts, Methods and Tools
ent://SD_ILS/0/SD_ILS:613986
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39417-6">https://doi.org/10.1007/978-3-319-39417-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Autism
ent://SD_ILS/0/SD_ILS:617312
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Grammatical Inference
ent://SD_ILS/0/SD_ILS:615236
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Codecharts roadmaps and blueprints for object-oriented programs
ent://SD_ILS/0/SD_ILS:318929
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-<br/>Preferred Shelf Number ONLINE(318929.1)<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470891032">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41806">http://www.books24x7.com/marc.asp?bookid=41806</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=700550">http://public.eblib.com/choice/publicfullrecord.aspx?p=700550</a>
ebrary <a href="http://site.ebrary.com/id/10465941">http://site.ebrary.com/id/10465941</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IP telephony deploying VoIP protocols and IMS infrastructure
ent://SD_ILS/0/SD_ILS:318961
2026-03-24T12:40:13Z
2026-03-24T12:40:13Z
Author Hersent, Olivier.<br/>Preferred Shelf Number ONLINE(318961.1)<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589190">http://public.eblib.com/choice/publicfullrecord.aspx?p=589190</a>
ebrary <a href="http://site.ebrary.com/id/10419090">http://site.ebrary.com/id/10419090</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470973080">http://dx.doi.org/10.1002/9780470973080</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>