Refine your search

Your search returned 13076 results.

Not what you expected? Check for suggestions
Sort
Results
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).

by FORMATS 2010 (2010 : Klosterneuburg, Austria) | Chatterjee, Krishnendu | Henzinger, T. A. (Thomas A.).

Series: Lecture notes in computer science ; 6246. | LNCS sublibrary. SL 1 Theoretical computer science and general issues.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2010Online access: ebook access Availability: Items available for loan: Library (1)Call number: 004-2010.
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold.

by Conference on Operating Systems (1982 : Visegrád, Hungary) | Knuth, E. (Előd), 1943- | Neuhold, Erich J.

Series: Serienbezeichnung | Lecture notes in computer science ; 152.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 / edited by Thomas Beth.

by Workshop on Cryptography (1982 : Burg Feuerstein, Germany) | Beth, Thomas, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 149.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, German Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Large sparse numerical optimization / Thomas F. Coleman.

by Coleman, Thomas F. (Thomas Frederick), 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 165.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii.

by Kunii, Toshiyasu.

Series: Serienbezeichnung | Lecture notes in computer science ; 163.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

by European Computer Algebra Conference (1983 : London, England) | Hulzen, J. A. van [editor,, author.].

Series: Serienbezeichnung | Lecture notes in computer science ; 162.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publisher: Berlin : Springer-Verlag, [1983]Copyright date: ©1983Other title: EUROCAL '83 | European Computer Algebra Conference, London, England, March 28-30, 1983.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi.

by CAAP '83 (8th : 1983 : L'Aquila, Italy) | Ausiello, G. (Giorgio), 1941- | Protasi, M. (Marco), 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 159.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpínski.

by International FCT-Conference (4th : 1983 : Borgholm, Sweden) | Karpiński, Marek, 1948- | Universitetet i Linköping. Department of Computer and Information Science.

Series: Serienbezeichnung | Lecture notes in computer science ; 158.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Direct methods for sparse matrices / Ole Østerby, Zahari Zlatev.

by Østerby, O | Zlatev, Zahari, 1939-.

Series: Serienbezeichnung | Lecture notes in computer science ; 157.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer [and others].

by Veer, G. C. van der (Gerrit C.) | IFIP WG. 6.3 | European Conference on Cognitive Ergonomics--Mind and Computers (2nd : 1984 : Gmunden, Austria).

Series: Serienbezeichnung | Lecture notes in computer science ; 178.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

by Bekič, H. (Hans), 1936-1982 | Jones, C. B. (Cliff B.), 1944-.

Series: Serienbezeichnung | Lecture notes in computer science ; 177.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet.

by International Symposium on Programming (6th : 1984 : Toulouse, France) | Paul, Manfred, 1932- | Robinet, B. (Bernard), 1941-.

Series: Serienbezeichnung | Lecture notes in computer science ; 167.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Feedback shift registers / Christian Ronse.

by Ronse, Christian, 1954-.

Series: Serienbezeichnung | Lecture notes in computer science ; 169.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Methods and tools for computer integrated manufacturing / Advanced CREST Course on Computer Integrated Manufacturing, CIM 83, Karlsruhe, Germany, September 5 to 16, 1983 ; edited by U. Rembold and R. Dillmann.

by Advanced CREST Course on Computer Integrated Manufacturing (1983 : Karlsruhe, Germany) | Rembold, Ulrich | Dillmann, R, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 168.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 182.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.

by Ada Software Tools Interfaces Workshop (1983 : Bath, England) | Wallis, Peter J. L.

Series: Serienbezeichnung | Lecture notes in computer science ; 180.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
How to multiply matrices faster / Victor Pan.

by Pan, Victor.

Series: Serienbezeichnung | Lecture notes in computer science ; 179.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
DIANA : an intermediate language for ADA / edited by G. Goos [and others].

by Goos, Gerhard, 1937-.

Series: Serienbezeichnung | Lecture notes in computer science ; 161.Edition: Rev. version.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin, ed.

by Ecole de printemps d'informatique théorique (16th : 1988 : Ramatuelle, France) | Pin, Jean Eric.

Series: Serienbezeichnung | Lecture notes in computer science ; 386.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds.

by ECOOP (Conference) (2nd : 1988 : Oslo, Norway) | Gjessing, S. (Stein), 1950- | Nygaard, Kristen, 1926-.

Series: Serienbezeichnung | Lecture notes in computer science ; 322.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha