Limit Search Results
Author
SpringerLink (Online service)
(53)
Vorozhtsov, Evgenii V. editor.
(5)
Mayr, Ernst W. editor.
(4)
Ganzha, Victor G. editor.
(3)
Cohen, Henri. author.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Generic Inference a Unifying Theory for Automated Reasoning
Generic Inference a Unifying Theory for Automated Reasoning
Author 
Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
Author 
Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11409-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
Author 
Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11440-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
Author 
Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14518-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Author 
Raman, Venkatesh. editor. Saurabh, Saket. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17493-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computability of Julia Sets
Computability of Julia Sets
Author 
Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Author 
Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11269-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Random Trees An Interplay between Combinatorics and Probability
Random Trees An Interplay between Combinatorics and Probability
Author 
Drmota, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-75357-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Codierungstheorie und Kryptographie
Codierungstheorie und Kryptographie
Author 
Willems, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8612-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Author 
Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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-540-77731-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Author 
Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79456-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action