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
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
0000000000DEFAULT
Print
25. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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: