Limit Search Results
Author
SpringerLink (Online service)
(82)
Abdalla, Michel. editor.
(2)
Cacuci, D. G.
(2)
Ionescu-Bujor, Mihaela.
(2)
Liu, Zhiming. editor.
(2)
Language
Subject
Computer science.
(67)
Information theory.
(35)
Theory of Computation.
(32)
Data structures (Computer science).
(28)
Data Structures, Cryptology and Information Theory.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
105 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334542.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for The Economics of Information Security and Privacy
The Economics of Information Security and Privacy
Author 
Böhme, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334810.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39498-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
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:
53. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Modern Cryptography Primer Theoretical Foundations and Practical Applications
Modern Cryptography Primer Theoretical Foundations and Practical Applications
Author 
Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41386-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Author 
Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
Author 
Schenke, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338349.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Information ist Energie Definition eines physikalisch begründeten Informationsbegriffs
Information ist Energie Definition eines physikalisch begründeten Informationsbegriffs
Author 
Pagel, Lienhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338395.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Invisible in the storm : the role of mathematics in understanding weather
Invisible in the storm : the role of mathematics in understanding weather
Author 
Roulstone, Ian. Norbury, John, 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1r2dvw
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
Author 
de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets