Limit Search Results
Author
SpringerLink (Online service)
(25)
Akshay, S. editor. (orcid)0000-0002-2471-5997
(2)
Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979
(2)
Niemetz, Aina. editor.
(2)
Sankaranarayanan, Sriram. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(13)
Operating systems (Computers).
(12)
Computers.
(8)
Theory of Computation.
(6)
Computer security.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Author 
Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Author 
Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Author 
Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92408-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Interrupt Handling Schemes in Operating Systems
Interrupt Handling Schemes in Operating Systems
Author 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Author 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45608-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Author 
Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Author 
Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11659-4
Format: 
Availability 
Online Library~1
Available:
Copies: