Refine your search

Your search returned 538 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Presentation zen : simple ideas on presentation design and delivery / Garr Reynolds. by Series: Voices that matter
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berkeley, CA : New Riders, c2008
Availability: Items available for loan: Library (1)Call number: 65x-2008.
Lists:
Place hold
2.
The LaTeX companion. by Series: Addison-Wesley series on tools and techniques for computer typesetting
Edition: 2nd ed. / Frank Mittelbach, Michel Goossens, with Johannes Braams, David Carlisle, and Chris Rowley.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Addison-Wesley, c2004
Availability: Items available for loan: Library (2)Call number: 68x-2004, ...
Place hold
3.
Version control with Git / Jon Loeliger and Matthew McCullough. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Sebastapol, CA : O'Reilly, c2012
Availability: Items available for loan: Library (1)Call number: 005-2012.
Place hold
4.
Computational discrete mathematics combinatorics and graph theory with Mathematica Sriram Pemmaraju; Steven Skiena by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge [u.a.] Cambridge Univ. Press 2003
Online resources:
Availability: Items available for reference: Books at groups: Not for loan (1).
Lists:
5.
No cover image available
Biostatistical design and analysis using R a practical guide Murray Logan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Chichester Wiley-Blackwell 2010
Online resources:
Availability: Items available for reference: Books at groups: Not for loan (1).
6.
UNIX and Perl to the rescue! : a field guide for the life sciences (and other data-rich pursuits) / Keith Bradnam, Ian Korf. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, 2012
Online resources:
Availability: Items available for reference: Books at groups: Not for loan (1).
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.
Audio system for technical readings / T.V. Raman. by Series: Lecture notes in computer science ; 1410.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : [New York] : Springer ; Association for Computing Machinery, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
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
10.
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
11.
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
12.
13.
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
14.
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
15.
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
16.
17.
18.
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow. by Series: Lecture notes in computer science ; 828.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
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
20.
The MOSIX distributed operating system : load balancing for UNIX / Amnon Barak, Shai Guday, Richard G. Wheeler. by Series: Lecture notes in computer science ; 672.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha