Limit Search Results
Author
SpringerLink (Online service)
(56)
Castellanos, Malu. editor.
(5)
Dayal, Umeshwar. editor.
(4)
Holleczek, Peter. editor.
(3)
Halang, Wolfgang A. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(14)
Artificial intelligence.
(11)
Computer Communication Networks.
(10)
Systems engineering.
(9)
Information storage and retrieval systems.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000DEFAULT
Print
49. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
Author 
Bussler, Christoph. editor. Castellanos, Malu. editor. Dayal, Umesh. editor. Navathe, Sham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73950-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Expert Network Time Protocol An Experience in Time with NTP
Expert Network Time Protocol An Experience in Time with NTP
Author 
Rybaczyk, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0039-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
Author 
Tomassini, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29938-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Admissible Consensus and Consensualization for Singular Multi-agent Systems
Admissible Consensus and Consensualization for Singular Multi-agent Systems
Author 
Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6990-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Author 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author 
Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Nutrient Use Efficiency: from Basics to Advances
Nutrient Use Efficiency: from Basics to Advances
Author 
Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2169-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for IP telephony deploying VoIP protocols and IMS infrastructure
IP telephony deploying VoIP protocols and IMS infrastructure
Author 
Hersent, Olivier.
Preferred Shelf Number 
ONLINE(318961.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589190
ebrary http://site.ebrary.com/id/10419090
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156
John Wiley http://dx.doi.org/10.1002/9780470973080
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action