Limit Search Results
Author
Language
Publication Date
-
Subject
Computer communication systems.
(4)
Artificial intelligence.
(3)
Computer science.
(3)
Software engineering.
(3)
Biology -- Research.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 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 Nature-Inspired Intelligent Computing Techniques in Bioinformatics
Nature-Inspired Intelligent Computing Techniques in Bioinformatics
Author 
Raza, Khalid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6379-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for A Guide to Applied Machine Learning for Biologists
A Guide to Applied Machine Learning for Biologists
Author 
Badar, Mohammad "Sufian". editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Demystifying the Brain A Computational Approach
Demystifying the Brain A Computational Approach
Author 
Chakravarthy, V. Srinivasa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational systems biology : inference and modelling
Computational systems biology : inference and modelling
Author 
Lecca, Paola, 1973- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780081000953
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Analysis of biological processes Verbal description, schemes, and mathematical models
Analysis of biological processes Verbal description, schemes, and mathematical models
Author 
Juška, Alfonsas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7373-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Analysis of Kinetic Reaction Mechanisms
Analysis of Kinetic Reaction Mechanisms
Author 
Turányi, Tamás. author. Tomlin, Alison S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44562-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013
Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013
Author 
Mohapatra, Durga Prasad. editor. Patnaik, Srikanta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-1665-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54268-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Encyclopedia of Social Network Analysis and Mining
Encyclopedia of Social Network Analysis and Mining
Author 
Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-6170-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Application of Computational Techniques in Pharmacy and Medicine
Application of Computational Techniques in Pharmacy and Medicine
Author 
Gorb, Leonid. editor. Kuz'min, Victor. editor. Muratov, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9257-8
Format: 
Availability 
Online Library~1
Available:
Copies: