Your search returned 354 results.

Results
	301.	Concurrency control problem for database systems Casanova Macro Antonio by Casanova Macro Antonio Series: Lecture notes in computer sciecnce 116; 116 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,(8):3 M1. Place hold Save to lists Add to cart (remove)
	302.	International conference on mathematical foundations of computer science Hartmains J; Goes G by Hartmains J Goes G Series: Lecture notes in computer science; 28 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1975 Availability: Items available for loan: Central Science Library (1)Collection, call number: B0aD65,8(B) L5. Place hold Save to lists Add to cart (remove)
	303.	Automata, languages and programming Braver Wilfried Ed. by Braver Wilfried Ed Series: Lecture notes in computer science; 194 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28932 M5. Place hold Save to lists Add to cart (remove)
	304.	Proceedings on fromalization of programming concepts Diaz J; Ramos I by Diaz J International collquium on formalization of programming concepts (1981 : Spain) Ramos I Series: Lecture notes in computer science; 107 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer - Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Pp1,N81 M1. Place hold Save to lists Add to cart (remove)
	305.	Proceeding on Graph-grammars and their application to computer science and biology Claus Volker Ed.; Ehrig Hartmut Ed.; Rozenberg Grzegorz Ed. by Claus Volker Ed International workshop on graph grammars and their application to computer science and biology (1978 : Bad Honnef) Ehrig Hartmut Ed Rozenberg Grzegorz Ed Series: Lecture Notes in Computer Science; 73 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1979 Availability: Items available for loan: Central Science Library (1)Collection, call number: B44:D65,8(B)0aGp1,N78 L9. Place hold Save to lists Add to cart (remove)
	306.	Microcomputer system design: an advanced course Flynn M J Ed.; Harris N R Ed. by Flynn M J Ed Harris N R Ed Series: Lecture Notes in Computer Science; 126 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)91:4 M2. Place hold Save to lists Add to cart (remove)
	307.	Context-free grammars: covers, normals forms, and parsing Nijholt Anton by Nijholt Anton Series: Lecture Notes in Computer Science; 93 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M0. Place hold Save to lists Add to cart (remove)
	308.	P-functions and boolean matrix factorization Thayse Andre by Thayse Andre Series: Lecture notes in computer science; 175 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: B245 M5. Place hold Save to lists Add to cart (remove)
	309.	Design of dynamic data structures Overmars Mark H by Overmars Mark H Series: Lecture notes in computer science; 156 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):4 M3. Place hold Save to lists Add to cart (remove)
	310.	Boolean calculus of difference Thayse Andre by Thayse Andre Series: Lecture notes in computer science; 101 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B25 M1. Place hold Save to lists Add to cart (remove)
	311.	Stocahstic automata: stability,nondeterminism,and prediction Doberkat Ernst-Erich by Doberkat Ernst-Erich Series: Lecture Notes in Computer Science; 113 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2811 M1. Place hold Save to lists Add to cart (remove)
	312.	Proceeding on logics of programs Parikh Rohit Ed. by Parikh Rohit Ed Conference on logics of programs (1985 : Brooklyn) Series: Lecture notes in computer science; 193 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: B288 M5. Place hold Save to lists Add to cart (remove)
	313.	Proceeding on trees in algebra and programming Astesiano E Ed.; Bohm C Ed. by Astesiano E Ed Colloquium on trees in algebra and programming (1981 : Genoa) Bohm C Ed Series: Lecture notes in Computer science; 112 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B20bD65,8(B)92p1,N81 M1. Place hold Save to lists Add to cart (remove)
	314.	Analytical description of CHILL, the CCITT high level languages Branquart Paul; Louis Georges by Branquart Paul Louis Georges Series: Lecture notes in computer science; 128 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)91 M2. Place hold Save to lists Add to cart (remove)
	315.	Proceeding on programming Dezani-Ciancaglini M Ed.; Montanari U Ed. by Dezani-Ciancaglini M Ed International symposium on programming (1982 : Turin) Montanari U Ed Series: Lecture notes in computer science; 137 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Pp1,N82 M2. Place hold Save to lists Add to cart (remove)
	316.	Proceedings on logics of programs and their applications/lecture notes in computer science (148) Salwicki A Ed. by Salwicki A Ed Series: Lecture notes in computer science; 148 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N80 M3. Place hold Save to lists Add to cart (remove)
	317.	VLSI Engineering: beyond software engineering Kunii Tosiyasu L Ed. by Kunii Tosiyasu L Ed Series: Lecture notes in computer science; 163 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)2:11 M4. Place hold Save to lists Add to cart (remove)
	318.	Simple program schemes and formal languages Engelfriet Joost by Engelfriet Joost Series: Lecture notes in computer science; 20 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1974 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) L44-;1. Place hold Save to lists Add to cart (remove)
	319.	Simple program schemes and formal languages Engelfriet Joost by Engelfriet Joost Series: Lecture notes in computer science; 20 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1974 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) L44-;1. Place hold Save to lists Add to cart (remove)
	320.	Proceedings on category theory applied to computation and control Hartmanis J; Goos G by Hartmanis J Int symposium on category theory applied to computation and control (1974 : San Francisco) Goos G Series: Lecture notes in computer science; 25 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1975 Availability: Items available for loan: Central Science Library (1)Collection, call number: B20bD65,8(B)p1,N74 L5. Place hold Save to lists Add to cart (remove)
	321.	Proceeding on computer algebra Buchberger Bruno Ed. by Buchberger Bruno Ed European conference on computer algebra (1985 : Linz) Series: Lecture notes in computer science; 203 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: B20aD65,8(B)p1,N85 M5. Place hold Save to lists Add to cart (remove)
	322.	Proceeding on graph theory and algorithms Saito N Ed.; Nishizeki T Ed. by Saito N Ed Symposium for research institute of electrical communication on graph theory and algorithms (1980 : Japan) Nishizeki T Ed Series: Lecture notes in computer science-108; 108 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0aB44 M1. Place hold Save to lists Add to cart (remove)
	323.	Computer programs for septing correction: an experiment in program design/lecture notes in computer science (96) Peterson James L by Peterson James L Series: Lecture notes in computer science; 96 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 MO1. Place hold Save to lists Add to cart (remove)
	324.	Calculus of communicating systems Milner Robin by Milner Robin Series: Lecture notes in computer science; 92 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M03. Place hold Save to lists Add to cart (remove)
	325.	Trace theory and VLSI design Snepschenut Jan L A by Snepschenut Jan L A Series: series:(Lecture notes in computer science; 200 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)2:11 M5. Place hold Save to lists Add to cart (remove)
	326.	Reliability evaluation of some fault tolerant computer architectures Osaki Shunji; Nishio Toshihiko by Osaki Shunji Nishio Toshihiko Series: Lecture notes in computer sicience; 97 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):4:(B281) M0. Place hold Save to lists Add to cart (remove)
	327.	Anaphora in natural language understaing : a survey Hirst Graeme by Hirst Graeme Series: Lecture notes in computer science; 119 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(P) M1. Place hold Save to lists Add to cart (remove)
	328.	Proceeding on database design techniques II Yao S B Ed.; Kunii T L Ed. by Yao S B Ed International conference on database design techniques II (1978 : ) Kunii T L Ed Series: Lecture notes in computer science; 133 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):4p1,N78 M2.2. Place hold Save to lists Add to cart (remove)
	329.	Proceeding on mathematical foundations of computer science Hartmains J; Goods G; Becvar Ed. by Hartmains J Symposium on mathematical foundations of computer science (1979 : Czechoslovakia) Becvar Ed Goods G Series: Lecture notes in computer science; 14 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-verlag 1979 Availability: Items available for loan: Central Science Library (1)Collection, call number: B0aD65,8(B)p1,N79 N79. Place hold Save to lists Add to cart (remove)
	330.	Optimized translation pracess and its applications to algol 68 Branquart P; Cardinael I P by Branquart P Cardinael I P Series: Lecture notes in computer science; 38 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893P0bD65,8(B) L61. Place hold Save to lists Add to cart (remove)
	331.	Attribute grammer for the semantic analysis of ada Drossopoulou J Uhl S; Persch G; Goos G by Drossopoulou J Uhl S Goos G Persch G Series: Lecture notes in computer science; 139 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer - Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92AD M2. Place hold Save to lists Add to cart (remove)
	332.	Y12M: solution of large and sparse system of linear algebraic equations: documentation of subroutines Zlatev Zahari by Zlatev Zahari Series: Lecture notes in computer science; 121 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B23 M1. Place hold Save to lists Add to cart (remove)
	333.	Proceeding on automata on infinite words Nivat M Ed.; Perrin D Ed. by Nivat M Ed Conference on ecole de printemps d'informatidue theorique (1984 : Le Mont Dore) Perrin D Ed Series: Lecture notes in computer science; 192 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28932 M5. Place hold Save to lists Add to cart (remove)
	334.	Workwhop on program specification Staunstrup J Ed. by Staunstrup J Ed Series: Lecture notes in computer science; 134 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N81 M2. Place hold Save to lists Add to cart (remove)
	335.	GAG: A practical compiler generator Kastens Uwe; Hutt Brigitte by Kastens Uwe Hutt Brigitte Series: Lecture notes in computer science; 141 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)91 M2. Place hold Save to lists Add to cart (remove)
	336.	Proceeding on computer algebra Caviness Bob F. Ed.; Davenport J H by Caviness Bob F. Ed European conference on computer algebra (1987 : Leipzing) Davenport J H Series: Lecture notes in computer science; 378 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: B20aD65,8(B)p1,N85 M5. Place hold Save to lists Add to cart (remove)
	337.	Papers on Rechner-gestutzter unterricht Brunnstein K Ed.; Haefner K Ed.; Handler W Ed. by Brunnstein K Ed Symposium on recent-gestutzter unte-pricht (1974 : Humburg) Haefner K Ed Handler W Ed Series: Lecture notes in computer science; 17 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1974 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0bT 113L4. Place hold Save to lists Add to cart (remove)
	338.	Digital image processing systems Bolc Leonard Ed.; Kulpa Zenon Ed. by Bolc Leonard Ed Kulpa Zenon Ed Series: Lecture notes in computer science; 109 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)2:(C51:22) M1. Place hold Save to lists Add to cart (remove)
	339.	Proceeding on Coding theory and applications Cohen G Ed.; Wolfmann J Ed. by Cohen G Ed International colloquium on coding theory and applications (3 : 1988 : France) Wolfmann J Ed Series: Lecture notes in computer science; 388 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1989 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28Np1,N88 M9. Place hold Save to lists Add to cart (remove)
	340.	Problems and methodologies in mathematical software production Messina P C; Murli A by Messina P C international seminar (1980 : Sorrento) Murli A Series: Lecture notes in computer science Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N80 M2. Place hold Save to lists Add to cart (remove)
	341.	Global optimization Torn Aimo; Zilinskas Antanas by Torn Aimo Zilinskas Antanas Series: Lecture Notes in Computer Sfoemf; 350 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28931 M9. Place hold Save to lists Add to cart (remove)
	342.	Proceeding on logic of programs Engeler Erwin Ed. by Engeler Erwin Ed Workshop on logic of programs (1979 : ETH Zurich) Series: Lecture notes in computer science; 125 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N79 M1. Place hold Save to lists Add to cart (remove)
	343.	On the intergration of algebric functions Davenport James Harold by Davenport James Harold Series: Lecture notes in computer science; 102 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B33:52 M1. Place hold Save to lists Add to cart (remove)
	344.	Parallel computing in science and engineering Dierstein R Ed. by Dierstein R Ed International seminar (4 : 1987 : Bonn) Series: Lecture notes in computer science; 295 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin4 Springer-Verlag 1988 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0bp1,N87 M8. Place hold Save to lists Add to cart (remove)
	345.	Concrete and abstract voronoi diagrams Klein Rolf by Klein Rolf Series: Lecture notes in computer science; 400 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: Central Science Library (1)Collection, call number: B636 M9. Place hold Save to lists Add to cart (remove)
	346.	Proceeding on operation systems: Specification and design of software systems Knuth E Ed.; Neuhold EJ Ed. by Knuth E Ed Conference on aperating systems: Specification and design of software systems (1982 : Hungary) Neuhold EJ Ed Series: Lecture notes in computer science; 152 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1983 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92:4p1,N82 M3. Place hold Save to lists Add to cart (remove)
	347.	Constrained global optimization: algorithms and applications Paradalos P M; Rosen J B by Paradalos P M Rosen J B Series: Lecture Notes in Computer Science; 268 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28931 M7. Place hold Save to lists Add to cart (remove)
	348.	Lectures on the complexity of bilinear problems De Groote H F by De Groote H F Series: Lecture notes in computer science; 245 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1987 Availability: Items available for loan: Central Science Library (1)Collection, call number: B252,1 M7. Place hold Save to lists Add to cart (remove)
	349.	Proceeding on computing methods in applied sciences and engineering Glowinski R; Lions J L by Glowinski R International symposium on computing methods in applied science and engineering (1973 : Varsailles) Lions J L Series: Lecture notes in computer science; 10 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1974 Availability: Items available for loan: Central Science Library (1)Collection, call number: A0bD65,8(B)p1,N73 L4. Place hold Save to lists Add to cart (remove)
	350.	Proceeding on Rekursive kombinatorik on logic and amchines Borger E by Borger E Series: Lecture notes in computer science; 171 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: B0bD65,8(B) M4. Place hold Save to lists Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 354 results.