Limit Search Results
Author
SpringerLink (Online service)
(52)
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.
(10)
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
53 Results Found Subscribe to search results
00000DEFAULT
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 Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
Author 
Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75989-8
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 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