Your search returned 94 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.). by Series: Lecture notes in computer science ; 7976. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2013
Other title:
  • SPIN 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
22.
Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.). by Series: Lecture notes in computer science ; 9232. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SPIN 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
23.
24.
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.). by Series: Lecture notes in computer science ; 10869. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • SPIN 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
25.
Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.). by Series: Lecture notes in computer science ; 11636. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Other title:
  • SPIN 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
26.
Spin electronics / Michael Ziese, Martin J. Thornton, (eds.). by Series: Lecture notes in physics ; 569.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
27.
Novel NMR and EPR techniques / J. Dolinšek, M. Vilfan, S. Žumer (eds.). by Series: Lecture notes in physics ; 684.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
28.
Modern aspects of spin physics / Walter Pötz, Jaroslav Fabian, Ulrich Hohenester (eds.). by Series: Lecture notes in physics ; 712.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
29.
Half-metallic alloys : fundamentals and applications / I. Galanakis, P.H. Dederichs (eds.). by Series: Lecture notes in physics ; 676.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11506256
Publication details: Berlin ; New York : Springer, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
30.
Applications of field theory to statistical mechanics : proceedings of the Sitges Conference on Statistical Mechanics, Sitges, Barcelona/Spain, June 10-15, 1984 / edited by L. Garrido. by Series: Lecture notes in physics ; 216.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
31.
Complex behaviour of glassy systems : proceedings of the XIV Sitges conference, Sitges, Barcelona, Spain, 10-14 June 1996 / Miguel Rubí, Conrado Pérez-Vicente, (eds.). by Series: Lecture notes in physics ; 492.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
32.
Rugged free energy landscapes : common computational approaches in spin glasses, structural glasses and biological macromolecules / W. Janke (ed.). by Series: Lecture notes in physics ; 736.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
33.
Heidelberg Colloquium on Spin Glasses : proceedings of a colloquium held at the University of Heidelberg, 30 May-3 June, 1983 / edited by J.L. van Hemmen and I. Morgenstern. by Series: Lecture notes in physics ; 192.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1983
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
34.
35.
Neutron spin echo : proceedings of a Laue-Langevin Institut workshop, Grenoble, October 15-16, 1979 / edited by F. Mezei. by Series: Lecture notes in physics ; 128.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1980
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
36.
37.
Spin-orbit-influenced spectroscopies of magnetic solids : proceedings of an international workshop, held at Herrsching, Germany, April 20-23, 1995 / Hubert Ebert, Gisela Schütz (eds.). by Series: Lecture notes in physics ; 466.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
38.
39.
Quantum annealing and related optimization methods / Arnab Das, Bikas K. Chakrabarti (eds.). by Series: Lecture notes in physics ; 679.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
40.
Neutron spin echo spectroscopy : basics, trends, and applications / F. Mezei, C. Pappas, T. Gutberlet (eds.). by Series: Lecture notes in physics ; 601.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha