Refine your search

Your search returned 12541 results.

Sort
Results
9081.
9082.
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 O63 C73 2007.

9083.
9084.
9085.
Quantum Superposition [electronic resource] : Counterintuitive Consequences of Coherence, Entanglement, and Interference / by Mark P. Silverman. by Series: Frontiers Collection
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC174.17.S78 S55 2008.

9086.
Physical Theory and its Interpretation [electronic resource] : Essays in Honor of Jeffrey Bub / edited by William Demopoulos, Itamar Pitowsky. by Series: The Western Ontario Series in Philosophy of Science ; 72
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC174.12 D46 2006 .

9087.
Nanoscale Transistors [electronic resource] : Device Physics, Modeling and Simulation / by Mark S. Lundstrom, Jing Guo. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T174.7 L86 2006.

9088.
Molecular Mechanisms of Basal Cell and Squamous Cell Carcinomas [electronic resource] / by Jörg Reichrath. by Series: Medical Intelligence Unit
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Landes Bioscience and Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RC280.S5 M65 2006.

9089.
Lattices and Ordered Sets [electronic resource] / by Steven Roman. by
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.48 R66 2008 .

9090.
L’insuffisance rénale aiguë [electronic resource] / edited by Laurent Jacob. by Series: Le point sur …
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RC918.R4 J33 2007.

9091.
Genomics-Assisted Crop Improvement [electronic resource] : Vol 2: Genomics Applications in Crops / edited by Rajeev K. Varshney, Roberto Tuberosa. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: SB123.57 V37 2007.

9092.
Immunoinformatics [electronic resource] / edited by Christian Schönbach, Shoba Ranganathan, Vladimir Brusic. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QR182.2.I46 I46 2008.

9093.
9094.
9095.
Critical Infrastructures at Risk [electronic resource] : Securing the European Electric Power System / edited by A.V. Gheorghe, M. Masera, M Weijnen, De L. Vries. by Series: Topics in Safety, Risk, Reliability and Quality ; 9
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK1005 G44 2006.

9096.
First Floridians and Last Mastodons: The Page-Ladson Site in the Aucilla River [electronic resource] / edited by S. David Webb. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QE719.8 W43 2006.

9097.
Hubble 15 Years of Discovery [electronic resource] / by Lars Lindberg Christensen, Robert A. Fosbury. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QB500.268 C47 2006.

9098.
Polymer Microscopy [electronic resource] / by Linda C. Sawyer, David T. Grubb, Gregory F. Meyers. by
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QD381.9.O66 S29 2008.

9099.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by T. C. Nicholas Graham, Philippe Palanque. by Series: Lecture Notes in Computer Science ; 5136
Edition: 1 ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.I58 G73 2008.

9100.
EQ-5D Value Sets [electronic resource] : Inventory, Comparative Review and User Guide / edited by AGOTA SZENDE, MARK OPPE, NANCY DEVLIN. by Series: EuroQol Group Monographs ; 2
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RA407.A3 S94 2007.

Pages

Powered by Koha