Limit Search Results
Author
SpringerLink (Online service)
(191)
Priami, Corrado. editor.
(9)
Li, Kang. editor.
(8)
Calude, Cristian S. editor.
(7)
Rozenberg, Grzegorz. editor.
(7)
Language
Publication Date
-
Subject
Computer science.
(183)
Computer software.
(180)
Artificial intelligence.
(87)
Optical pattern recognition.
(54)
Data structures (Computer science).
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
192 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applications of Computational Tools in Drug Design and Development
Applications of Computational Tools in Drug Design and Development
Author 
Rao G., S.N. Koteswara. editor. Alavala, Rajasekhar Reddy. editor. (orcid)0000-0002-2610-8111 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Bioinformatics in aquaculture : principles and methods
Bioinformatics in aquaculture : principles and methods
Author 
Liu, Zhanjiang, editor.
Preferred Shelf Number 
QH324.2
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118782392
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59153-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Data Analytics for Protein Crystallization
Data Analytics for Protein Crystallization
Author 
Pusey, Marc L. author. Aygün, Ramazan Savaş. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58937-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59147-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Bioinformatics for Evolutionary Biologists A Problems Approach
Bioinformatics for Evolutionary Biologists A Problems Approach
Author 
Haubold, Bernhard. author. Börsch-Haubold, Angelika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67395-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Systems Biology in Animal Production and Health, Vol. 2
Systems Biology in Animal Production and Health, Vol. 2
Author 
Kadarmideen, Haja N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43332-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications
Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications
Author 
Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29954-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)
Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)
Author 
Abdelrahman, Omer H. editor. Gelenbe, Erol. editor. Gorbil, Gokce. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Systems Biology in Animal Production and Health, Vol. 1
Systems Biology in Animal Production and Health, Vol. 1
Author 
Kadarmideen, Haja N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43335-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action