Limit Search Results
Author
SpringerLink (Online service)
(52)
Ali, Moonis. editor.
(7)
Ao, Sio-Iong. editor.
(4)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Moreno-Díaz, Roberto. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(19)
Industrial engineering.
(15)
Computer networks .
(14)
Computer science.
(14)
Computer Communication Networks.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
Author 
Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0551-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Pragmatic Evaluation of Software Architectures
Pragmatic Evaluation of Software Architectures
Author 
Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34177-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48003-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Frontier Computing Theory, Technologies and Applications
Frontier Computing Theory, Technologies and Applications
Author 
Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Author 
Filippini, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333878.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34648-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet
Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet
Author 
Poler, Raúl. editor. Doumeingts, Guy. editor. Katzy, Bernhard. editor. Chalmeta, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2819-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Moderne C++ Programmierung Klassen, Templates, Design Patterns
Moderne C++ Programmierung Klassen, Templates, Design Patterns
Author 
Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21429-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Architecture-Based Design of Multi-Agent Systems
Architecture-Based Design of Multi-Agent Systems
Author 
Weyns, Danny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01064-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Enterprise Interoperability III New Challenges and Industrial Approaches
Enterprise Interoperability III New Challenges and Industrial Approaches
Author 
Mertins, Kai. editor. Ruggaber, Rainer. editor. Popplewell, Keith. editor. Xu, Xiaofei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-221-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for LabVIEW based Advanced Instrumentation Systems
LabVIEW based Advanced Instrumentation Systems
Author 
Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48501-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action