Limit Search Results
Author
SpringerLink (Online service)
(35)
Horimoto, Katsuhisa. editor.
(3)
Bernardo, Marco. editor.
(2)
Calude, Cristian S. editor.
(2)
Caro, Jaime. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(20)
Logic design.
(16)
Artificial intelligence.
(12)
Software engineering.
(11)
Computer simulation.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Metabolic Pathway Design A Practical Guide
Metabolic Pathway Design A Practical Guide
Author 
Carbonell, Pablo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29865-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Statistische Versuchsplanung Design of Experiments (DoE)
Statistische Versuchsplanung Design of Experiments (DoE)
Author 
Siebertz, Karl. author. Bebber, David van. author. Hochkirchen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05493-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335213.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Cancer bioinformatics from therapy design to treatment
Cancer bioinformatics from therapy design to treatment
Author 
Nagl, Sylvia.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470032898
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
Cover image for Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
Author 
Liò, Pietro. editor. Yoneki, Eiko. editor. Crowcroft, Jon. editor. Verma, Dinesh C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92191-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Proteomics and Protein-Protein Interactions Biology, Chemistry, Bioinformatics, and Drug Design
Proteomics and Protein-Protein Interactions Biology, Chemistry, Bioinformatics, and Drug Design
Author 
Waksman, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105866
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Nature-Inspired Fluid Mechanics Results of the DFG Priority Programme 1207 ”Nature-inspired Fluid Mechanics” 2006-2012
Nature-Inspired Fluid Mechanics Results of the DFG Priority Programme 1207 ”Nature-inspired Fluid Mechanics” 2006-2012
Author 
Tropea, Cameron. editor. Bleckmann, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28302-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Introduction to Bioinformatics in Microbiology
Introduction to Bioinformatics in Microbiology
Author 
Christensen, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for CADD and Informatics in Drug Discovery
CADD and Informatics in Drug Discovery
Author 
Rudrapal, Mithun. editor. Khan, Johra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1316-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action