Refine your search

Your search returned 6106 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Django 3 web development cookbook : practical recipes to build Python web applications using Django 3 / Aidas Bendoraitis, Jake Kronika. by
Edition: Fourth edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Birmingham : Packt Publishing, 2020
Availability: Items available for reference: Books at groups: Not for loan (1).
182.
Management 3.0 : leading Agile developers, developing Agile leaders / Jurgen Appelo. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, Mass. ; London : Addison-Wesley, 2011
Availability: Items available for loan: Library (1)Call number: 65x-2011.
Place hold
183.
Verification of Digital and Hybrid Systems [electronic resource] / edited by M. Kemal Inan, Robert P. Kurshan. by Series: Nato ASI Subseries F:, Computer and Systems Sciences ; 170
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000
Other title:
  • Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
184.
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds. by Series: Lecture notes in computer science ; 322.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
185.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
186.
Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. by Series: Lecture notes in computer science ; 1165.
Material type: Text Text; Format: print optical disc; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
187.
ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Elisa Bertino (ed.). by Series: Lecture notes in computer science ; 1850.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
188.
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
189.
Agent-oriented programming : from prolog to guarded definite clauses / Matthew M. Huntbach, Graem A. Ringwood. by Series: Lecture notes in computer science ; 1630. | 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, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
190.
Multiagent platforms : First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998 : selected papers / Toru Ishida (ed.). by Series: Lecture notes in computer science ; 1599. | 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, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
191.
192.
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell, eds. by Series: Lecture notes in computer science ; 1500.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
193.
194.
195.
196.
197.
Cooperative information agents II : learning, mobility, and electronic commerce for information discovery on the Internet : Second International Workshop, CIA'98, Paris, France, July 4-7, 1998 : proceedings / Matthias Klusch, Gerhard Weiss (eds.). by Series: Lecture notes in computer science ; 1435. | 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, ©1998
Other title:
  • Cooperative information agents 2 (Online)
  • Cooperative information agents two (Online)
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
198.
199.
200.
FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings / Sanjiv Kapoor, Sanjiva Prasad (eds.). by Series: Lecture notes in computer science ; 1974.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2000
Other title:
  • Foundations of software technology and theoretical computer science
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha