Limit Search Results
Author
SpringerLink (Online service)
(37)
Project Muse.
(3)
Seidl, Helmut. author.
(3)
Wilhelm, Reinhard. author.
(3)
Baboulin, Marc. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(16)
Software engineering.
(10)
DERLEME (ELEKTRONİK BİLGİSAYARLAR).
(8)
Artificial intelligence.
(6)
Compilers (Computer programs)
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Author 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number 
XX(520919.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for AI, IoT, Big Data and Cloud Computing for Industry 4.0
AI, IoT, Big Data and Cloud Computing for Industry 4.0
Author 
Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29713-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520802.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Ubiquitous Computing Application and Wireless Sensor UCAWSN-14
Ubiquitous Computing Application and Wireless Sensor UCAWSN-14
Author 
Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Chao, Han-Chieh. editor. Yi, Gangman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9618-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
Author 
Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2126-5
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519046.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519136.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Multi-core embedded systems
Multi-core embedded systems
Author 
Kornaros, Georgios.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Warren's abstract machine a tutorial reconstruction
Warren's abstract machine a tutorial reconstruction
Author 
Aït-Kaci, Hassan, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action