Limit Search Results
Author
SpringerLink (Online service)
(558)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Operating systems (Computers).
(530)
Software engineering.
(317)
Computer Communication Networks.
(298)
Information systems.
(130)
Computer software.
(128)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
559 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Author 
Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Author 
Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Closing the Gap Between Practice and Research in Industrial Engineering
Closing the Gap Between Practice and Research in Industrial Engineering
Author 
Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58409-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Author 
Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60588-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Author 
Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66263-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action