Limit Search Results
Author
SpringerLink (Online service)
(167)
Albada, Geert Dick. editor.
(16)
Gavrilova, Marina L. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
Subject
Information theory.
(154)
Computer science.
(147)
Electronic data processing.
(50)
Computer simulation.
(44)
Information systems.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
167 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Author 
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96562-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Author 
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Author 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Author 
Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335066.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41157-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Introduction to Cryptography with Maple
Introduction to Cryptography with Maple
Author 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action