Limit Search Results
Author
SpringerLink (Online service)
(244)
Garau, Chiara. editor. (orcid)
(8)
Gervasi, Osvaldo. editor. (orcid)
(8)
Murgante, Beniamino. editor. (orcid)
(8)
Karaca, Yeliz. editor.
(7)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
248 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Business systems analysis and design
Business systems analysis and design
Author 
Shelly, Gary B. Cashman, Thomas J., ort. yaz.
Preferred Shelf Number 
HF 5548.2 S442 1975
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Theoretical analysis of information systems
Theoretical analysis of information systems
Author 
Langefors, Börje, 1915-
Preferred Shelf Number 
T 58.6 L35 1966
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
3. 
Cover image for Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification
Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification
Author 
Brummitt, R. K. Royal Botanic Gardens, Kew. Herbarium.
Preferred Shelf Number 
QK 96 B69 1992
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521180.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Author 
Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Preferred Shelf Number 
XX(520563.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Author 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521082.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 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
Tools and Algorithms for the Construction and Analysis of Systems 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
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 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
Tools and Algorithms for the Construction and Analysis of Systems 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
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
Author 
Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520448.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39141-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Communications, Networking, and Information Systems First International Congress, CNIS 2023, Guilin, China, March 25-27, 2023, Revised Selected Papers
Communications, Networking, and Information Systems First International Congress, CNIS 2023, Guilin, China, March 25-27, 2023, Revised Selected Papers
Author 
Chen, Haonan. editor. Fan, Pingyi. editor. Wang, Lipo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520453.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3581-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Author 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520457.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets