Limit Search Results
Author
SpringerLink (Online service)
(104)
Castellanos, Malu. editor.
(5)
Dayal, Umeshwar. editor.
(4)
Doya, Kenji. editor.
(4)
Hirose, Akira. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(32)
Artificial intelligence.
(26)
Theory of Computation.
(25)
Computer Science Logic and Foundations of Programming.
(18)
Computer Communication Networks.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
106 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
Author 
Poovendran, Radha. editor. Roy, Sumit. editor. Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-46276-9
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 Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
Author 
Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70132-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Artificial Intelligence and Machine Learning in Sports Science
Artificial Intelligence and Machine Learning in Sports Science
Author 
Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70155-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets