Refine your search

Your search returned 13517 results.

Not what you expected? Check for suggestions
Sort
Results
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).
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).
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).
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).
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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 162.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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
Local area networks : an advanced course, Glasgow, July 11-22, 1983 proceedings / edited by D. Hutchison, J.A. Mariani, and W.D. Shepherd.

by Hutchison, David, 1949- | Mariani, J. A. (John A.), 1957- | Shepherd, W. D. (W. Doug), 1939-.

Series: Serienbezeichnung | Lecture notes in computer science ; 184.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).
Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman.

by Sherman, Mark Steven.

Series: Serienbezeichnung | Lecture notes in computer science ; 189.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).
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) [].

Series: Serienbezeichnung | Lecture notes in computer science ; 300.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