Limit Search Results
Author
SpringerLink (Online service)
(30)
Anguita, Davide. author.
(2)
Donzellini, Giuliano. author.
(2)
Oneto, Luca. author.
(2)
Ponta, Domenico. author.
(2)
Language
Publication Date
-
Subject
Computer science.
(15)
Computer software.
(13)
Logic design.
(13)
Computational complexity.
(10)
Data structures (Computer science).
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
00000000DEFAULT
Print
37. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Author 
Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Bioinformatics algorithms techniques and applications
Bioinformatics algorithms techniques and applications
Author 
Măndoiu, Ion. Zelikovsky, Alexander.
Preferred Shelf Number 
ONLINE(318904.1)
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=225449
MyiLibrary http://www.myilibrary.com?id=123744
http://site.ebrary.com/id/10226758
Publisher description http://catdir.loc.gov/catdir/enhancements/fy0741/2007034307-d.html
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007034307-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Author 
Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Author 
Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11821069
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Author 
Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549345
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Complexity Theory Exploring the Limits of Efficient Algorithms
Complexity Theory Exploring the Limits of Efficient Algorithms
Author 
Wegener, Ingo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27477-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Iterative methods for diffractive optical elements computation
Iterative methods for diffractive optical elements computation
Author 
Soifer, V. A. (Viktor Aleksandrovich), author. Doskolovich, Leonid. Kotlyar, Victor.
Preferred Shelf Number 
QC372.2 .D4 S65 1997
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action