Your search returned 94 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The Sherrington-Kirkpatrick model by Series: Springer monographs in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2013
Availability: Items available for reference: Books at groups: Not for loan (2).
2.
Random operators disorder effects on quantum spectra and dynamics Michael Aizenman, Simone Warzel by Series: Graduate studies in mathematics Applied mathematics ; volume 168 | ; volume 168
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Providence, Rhode Island American Mathematical Society [2015]
Online resources:
Availability: Items available for loan: Library (1)Call number: 535-2015. Items available for reference: Books at groups: Not for loan (1).
Place hold
3.
Random fields and spin glasses a field theory approach Cirano De Dominicis; Irene Giardina by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Cambridge [u.a.] Cambridge Univ. Press 2006
Online resources:
Availability: Items available for loan: Library (1)Call number: 530-2006.
Place hold
4.
Non-cooperative equilibria of Fermi systems with long range interactions / [electronic resource] J.-B. Bru, W. de Siqueira Pedra. by Series: Memoirs of the American Mathematical Society ; v. 1052
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2012]Copyright date: ©2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
A power law of order 1/4 for critical mean field Swendsen-Wang dynamics / [electronic resource] Yun Long [and three others]. by Series: Memoirs of the American Mathematical Society ; v. 1092
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Spin dynamics : basics of nuclear magnetic resonance / Malcolm H. Levitt. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Hoboken, N.J. : Chichester : Wiley ; John Wiley [distributor], 2008
Online resources:
Availability: Items available for loan: Library (2)Call number: 538-2008, ...
Place hold
7.
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.). by Series: Lecture notes in computer science ; 1680.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Other title:
  • SPIN'99, theoretical and practical aspects of SPIN model checking
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.). by Series: Lecture notes in computer science ; 2057.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.]. by Series: Lecture notes in computer science ; 2318. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds. by Series: Lecture notes in computer science ; 2989.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.). by Series: Lecture notes in computer science ; 2648.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, 2003
Other title:
  • SPIN 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.). by Series: Lecture notes in computer science ; 4595. | 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, ©2007
Other title:
  • SPIN 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.). by Series: Lecture notes in computer science ; 3639.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • 12th International SPIN Workshop
  • Twelfth International SPIN Workshop
  • International SPIN Workshop
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.). by Series: Lecture notes in computer science ; 3925.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • 13th International SPIN Workshop
  • Thirteenth International SPIN Workshop
  • International SPIN Workshop
  • European Joint Conferences on Theory and Practice of Software
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
17.
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.). by Series: Lecture notes in computer science ; 5578. | 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, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.). by Series: Lecture notes in computer science ; 6349. | 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 ; Heidelberg : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.). by Series: Lecture notes in computer science ; 6823. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2011
Other title:
  • International SPIN Workshop
  • SPIN 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / Alastair Donaldson, David Parker (eds.). by Series: Lecture notes in computer science ; 7385. | 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, ©2012
Other title:
  • SPIN 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha