Limit Search Results
Author
SpringerLink (Online service)
(27)
Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979
(2)
Sarkar, Palash. editor.
(2)
Agrawal, Manindra. editor.
(1)
Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810
(1)
Language
Publication Date
-
Subject
Computer science.
(16)
Computer science—Mathematics.
(13)
Computers.
(12)
Operating systems (Computers).
(10)
Computer security.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Author 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
Author 
Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54242-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Author 
Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55119-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Discrete dynamical systems and chaotic machines theory and applications
Discrete dynamical systems and chaotic machines theory and applications
Author 
Bahi, Jacques Mohcine. Guyeux, Christophe.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for The golden ticket : P, NP, and the search for the impossible
The golden ticket : P, NP, and the search for the impossible
Author 
Fortnow, Lance, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpm0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Formal methods for industrial critical systems a survey of applications
Formal methods for industrial critical systems a survey of applications
Author 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for The interface : IBM and the transformation of corporate design, 1945/1976
The interface : IBM and the transformation of corporate design, 1945/1976
Author 
Harwood, John, 1977-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.5749/j.cttttmjx
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Connections patterns of discovery
Connections patterns of discovery
Author 
Alesso, H. P. Smith, C. F. (Craig Forsythe), 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Extreme Man-Made and Natural Hazards in Dynamics of Structures
Extreme Man-Made and Natural Hazards in Dynamics of Structures
Author 
Ibrahimbegovic, Adnan. editor. Kozar, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5656-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Quantum computation and quantum information
Quantum computation and quantum information
Author 
Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-
Preferred Shelf Number 
QA76.889 N54 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies: