Limit Search Results
Author
SpringerLink (Online service)
(30)
Ao, Sio-Iong. editor.
(4)
Castillo, Oscar. editor.
(2)
Huang, Xu. editor.
(2)
Kim, Haeng Kon. editor.
(2)
Language
Publication Date
-
Subject
Application software.
(7)
Artificial intelligence.
(7)
Computer Communication Networks.
(7)
Computer and Information Systems Applications.
(7)
Computer networks .
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Author 
Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55483-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Author 
Gorrieri, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Source Code Modularization Theory and Techniques
Source Code Modularization Theory and Techniques
Author 
Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63346-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Web Service Implementation and Composition Techniques
Web Service Implementation and Composition Techniques
Author 
Paik, Hye-young. author. Lemos, Angel Lagares. author. Barukh, Moshe Chai. author. Benatallah, Boualem. author. Natarajan, Aarthi. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55542-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Fundamentals of Secure System Modelling
Fundamentals of Secure System Modelling
Author 
Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Autonomic Road Transport Support Systems
Autonomic Road Transport Support Systems
Author 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Architectural Design Conception and Specification of Interactive Systems
Architectural Design Conception and Specification of Interactive Systems
Author 
Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43298-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK
Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK
Author 
Mariani, Stefano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47109-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies: