Limit Search Results
Author
SpringerLink (Online service)
(32)
Liu, Zhiming. editor.
(2)
Raynal, Michel. author.
(2)
Woodcock, Jim. editor.
(2)
Zhu, Huibiao. editor.
(2)
Language
Publication Date
-
2013
(32)
Subject
Information theory.
(32)
Computer science.
(26)
Artificial Intelligence (incl. Robotics).
(12)
Artificial intelligence.
(12)
Software engineering.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Quantum Walks and Search Algorithms
Quantum Walks and Search Algorithms
Author 
Portugal, Renato. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332008.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
Author 
de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Genetic Programming Theory and Practice X
Genetic Programming Theory and Practice X
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Massively Parallel Evolutionary Computation on GPGPUs
Massively Parallel Evolutionary Computation on GPGPUs
Author 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334507.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335208.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45318-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Author 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335433.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: 
Availability 
Online Library~1
Available:
Copies: