Limit Search Results
Author
SpringerLink (Online service)
(213)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(213)
Publication Date
-
2013
(213)
Subject
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
213 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Author 
Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Structure of Solutions of Variational Problems
Structure of Solutions of Variational Problems
Author 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Author 
Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Author 
Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE(332953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02895-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
Author 
Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332920.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02432-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Author 
Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action