Refine your search

Your search returned 174 results.

Sort
Results
1.
Remote sensing digital image analysis : an introduction / John A. Richards. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1986
Availability: Items available for loan: Business, Economics and Law Library Collection (1)Call number: G70.4 .R53 1986.

2.
Mathematical foundations of network analysis. by Series: Springer tracts in natural philosophy, v. 16
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, New York [etc.] Springer, 1968
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA166 .S58 1968.

3.
Query processing in database systems / edited by Won Kim, David S. Reiner, Don S. Batory. by Series: Topics in information systems
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1985
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.D3 Q47 1985.

4.
Software engineering and human-computer interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994 : proceedings / Richard N. Taylor, Joëlle Coutaz, eds. by Series: Lecture notes in computer science ; 896
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1995
Availability: Items available for loan: Education Library Collection (1)Call number: QA 76.758 .I3 1994. Informatics and Virtual Education Library Collection (1)Call number: QA76.758 .I3 1994.

5.
Java and the Java virtual machine : definition, verification, validation / Robert F. Stärk, Joachim Schmid, Egon Börger. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2001
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.73.J38 S785 2001.

6.
Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen. by Series: EATCS monographs on theoretical computer science ; v. 26. | Monographs in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1992-c1997
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA267 .J46 1992, ...

7.
Data types and persistence / edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison. by Series: Topics in information systems
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.D35 D39 1988.

8.
Perspectives on web services : applying SOAP, WSDL and UDDI to real-world projects / Olaf Zimmermann, Mark Tomlinson [and] Stefan Peuser. by Series: Springer professional computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2003
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: TK5105.88813 .Z54 2003, ...

9.
Wilde's WWW : technical foundations of the World Wide Web / Erik Wilde. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.888 .W545 1999.

10.
Synergetic computers and cognition : a top-down approach to neural nets / Hermann Haken. by Series: Springer series in synergetics ; v. 50
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1991
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.87 .H35 1991.

11.
ECOOP'97--object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings / Mehmet Akşit, Satoshi Matsuoka (eds.). by Series: Lecture notes in computer science ; 1241
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1997
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.64 .E95 1997.

12.
Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, (ed.). by Series: Lecture notes in computer science ; 786
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.C65 I52 1994.

13.
A methodology for uncertainty in knowledge-based systems / Kurt Weichselberger, Sigrid Pöhlmann. by Series: Lecture notes in computer science ; 419. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.E95 W44 1990.

14.
Protocols for authentication and key establishment / Colin Boyd & Anish Mathuria. by Series: Information security and cryptography | Information security and cryptography
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2003
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.59 .B59 2003.

15.
Global optimization / Aimo Törn, Antanas Žilinskas. by Series: Lecture notes in computer science ; 350
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA402.5 .T685 1989, ...

16.
Formal syntax and semantics of Java / Jim Alves-Foss (ed.). by Series: Lecture notes in computer science ; 1523
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.73.J38 F67 1999.

17.
Fibre optic communication devices / Norbert Grote, Herbert Venghaus, (eds.) by Series: Springer series in photonics ; v. 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2001
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5103.59 D52 2001.

18.
Data structures of Pascal, Algol 68, PL/1, and Ada / Johan Lewi, Jan Paredaens. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1986
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.D35 L47 1986.

19.
Object-oriented programming with prototypes / Günther Blaschek. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.64 .B58 1994.

20.
Active, real-time, and temporal database systems : second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997 ; proceedings / Sten F. Andler, Jörgen Hansson (eds.). by Series: Lecture notes in computer science ; 1553
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.54 .A33 1998.

Pages
© The University of Dodoma 2020