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
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Open Problems in Mathematics and Computational Science
Open Problems in Mathematics and Computational Science
Author 
Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45608-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Foundations of crystallography with computer applications
Foundations of crystallography with computer applications
Author 
Julian, Maureen M., author. Taylor and Francis.
Preferred Shelf Number 
QD906.7 .E4
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
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:
33. 
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:
34. 
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., author. Guyeux, Christophe.
Preferred Shelf Number 
QA76.9 .A25 B344 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets