Limit Search Results
Author
SpringerLink (Online service)
(65)
Vorozhtsov, Evgenii V. editor.
(7)
Gerdt, Vladimir P. editor.
(4)
Koepf, Wolfram. editor.
(4)
Mayr, Ernst W. editor.
(4)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(38)
Computer science.
(34)
Computer software.
(30)
Mathematics.
(24)
Computational complexity.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
69 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Author 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Author 
Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems
The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems
Author 
Ergül, Özgür, author. Gurel, Levent, author. IEEE Antennas and Propagation Society, sponsor.
Preferred Shelf Number 
ONLINE(341875.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119977414.jpg
http://onlinelibrary.wiley.com/book/10.1002/9781118844977
John Wiley http://dx.doi.org/10.1002/9781118844977
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Polyhedral and Algebraic Methods in Computational Geometry
Polyhedral and Algebraic Methods in Computational Geometry
Author 
Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331067.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Author 
Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Author 
Westermann, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12760-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Game Start! Strumenti per comprendere i videogiochi
Game Start! Strumenti per comprendere i videogiochi
Author 
Alinovi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry
Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry
Author 
Richter-Gebert, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17286-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Vector Optimization with Infimum and Supremum
Vector Optimization with Infimum and Supremum
Author 
Löhne, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18351-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Author 
Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19222-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action