Your search returned 354 results.

Sort
Results
151.
Proceedings on automata, languages and programming by Kott Laurent Ed. by Series: Lecture notes in computer sciences; 226
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

152.
Proceeding on advances in cryptology by Blakley G R Ed.; Chaum David Ed. by Series: Lecture notes in computer science; 196
Material type: Text 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)p1,N84 M5.

153.
Proceeding on mathematical foundations of computer science by Gruska J Ed.; Rovan B Ed. by Series: Lecture notes in computer science; 233
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

154.
Proceeding on automated deduction by Siekmann Jorg H Ed. by Series: Lecture notes in computer science; 230
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

155.
Proceedings on logic programming by Shapiro Ehud Ed. by Series: Lecture notes in computer science; 225
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

156.
Proceeding on research and development in informantion retrievel by Salton Gerard Ed.; Schneider Hans-Jochen Ed. by Series: Lecture notes in computer science; 146
Material type: Text 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(2:55)p1,N82 M3.

157.
Proceeding on foundations of software technology and theoretical computer science by Maheshwari S N Ed. by Series: Lecture notes in computer science; 206
Material type: Text 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)92p1,N85 M5.

158.
Large sparse numerical optimization by Coleman Thomas F by Series: Lecture notes in computer science; 165
Material type: Text 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)0bB28931 M4.

159.
Fundamentals of artifical intelligence: Advanced course by Bibel W Ed.; Jorrand Ph Ed. by Series: Lecture notes in computer science; 232
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M6.

160.
Proceedings on applicable algebra error-correcting codes combinatorics and computer algebra by Clausen M Ed.; Beth Th Ed. by Series: Lecture notes in computer science; 307
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):B2p1,N86 M8.

161.
Proceeding on interval mathematics by Nickel K Ed. by Series: Lecture notes in computer science; 212
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: Bp1,N85 M6.

162.
Proceeding on GI-Bifoa by Schmitz P Ed. by Series: Lecture notes in computer science; 9
Material type: Text 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: B2893p1,N73 113L4.

163.
Proceeding on programming by Paul M Ed.; Robinet B Ed. by Series: Lecture notes in computer science; 167
Material type: Text 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)92p1,N84 M4.

164.
Proceeding on experiences with distributed system by Nehmer J Ed. by Series: Lecture notes in computer sciences; 309
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N87 M8.

165.
Proceeding on stacs 84 by Fontet M Ed.; Melhorn K Ed. by Series: Lecture notes in computer science; 166
Material type: Text 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)p1,N84 M4.

166.
Proceedings on semantics of data types by Kahn G Ed.; Macqueen D B Ed.; Plotkin G Ed. by Series: Lecture notes in computer science; 173
Material type: Text 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)92:(P:4)p1,N84 M4.

167.
Proceeding on Mathematical foundations of programming semantics by Meiton Austin Ed. by Series: Lecture notes in computer science; 239
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M6.

168.
Functional programming languages and computer architecture by Jouannaud Jean-Pierre Ed. by Series: Lecture notes in computer science; 201
Material type: Text 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)92 M5.

169.
Proceeding on parallel processing by Feng Tse-Yun Ed. by Series: Lecture notes in computer science; 24
Material type: Text 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: D65,8(B)p1,N74 L5.

170.
Proceeding on rewriting techniques and applications by Jouannaud Jean-Pierre Ed. by Series: Lecture notes in computer science; 202
Material type: Text 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)2p1,N85 M5.

171.
Proceeding on functional programming languages and computer architecture by Kahn Gilles Ed. by Series: Lecture notes in computer science; 274
Material type: Text 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: D65,8(B)92 M7.

172.
Proceeding programming methodology by Hackl Clemens E Ed. by Series: Lecture notes in computer science; 23
Material type: Text 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: D65,8(B)p1,N74 L51.

173.
Distributed systems by Alford M W Ed.; Ansari J P Ed.; Hommel G Ed. by Series: Lecture notes in computer science; 190
Material type: Text 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):3 M5.

174.
Proceeding on Foundations of logic and functional programming by Boscarol M Ed.; Aiello L Carlucci Ed.; Levi G Ed. by Series: Lecture notes in computer science; 306
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92:R1p1,N86 M8.

175.
Proceeding on structure in complexity theory by Selman Alan L Ed. by Series: Lecture notes in computer science; 223
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

176.
Proceedings on CAAP'83 by Ausiello G Ed.; Protasi M Ed. by Series: Lecture notes in computer science; 159
Material type: Text 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(B44)p1,N83 M3.

177.
Advances in petri nets 1987 by Rozenberg Grzegorz Ed. by Series: Lecture notes in computer science; 266
Material type: Text 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: D65,8(B)92 M7.

178.
Study in string processing languages by Klint Paul by Series: Lecture notes in computer science; 205
Material type: Text 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)92 M5.

179.
Diana an intermediate language for ada by Wulf W A Ed.; Goos G Ed.; Evans A Ed.; Butler K J Ed. by Series: Lecture notes in computer science; 16
Material type: Text 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)92D M3.

180.
IOTA programming systems: a modular programming environment by Nakajima Reiji Ed.; Yuasa Taiichi Ed. by Series: Lecture notes in computer science; 160
Material type: Text 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)92I M3.

181.
Proceeding on theoretical computer science by Deussen Peter Ed. by Series: Lecture notes in computer science; 104
Material type: Text 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)p1,N81 M1.

182.
Proceeding on graph-theoretic concepts in computer science by Tinhofer Gottried Ed.; Schmidt Gunther Ed. by Series: Lecture notes in computer science; 246
Material type: Text 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: D65,8(B):(B6)p1,N86 M7.

183.
Fachtagung uber automaten theorie und for male sprachan by Bohling Kart-Heinz; Indermark Klaus by Series: Lecture notes in computer science; 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) 113L3.

184.
Proceeding on stacs 85 by Mehlhorn K Ed. by Series: Lecture notes in computer science; 182
Material type: Text 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)z7 M5.

185.
Proceeding on computation theory by Skowron Andrzei Ed. by Series: Lecture notes in computer science; 208
Material type: Text 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)p1,N84 M5.

186.
Proceeding on distributed algorithms by Leeuwen J Van Ed. by Series: Lecture notes in computer science; 312
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):B288p1,N87 M8.

187.
Advances in petri nets 1984 by Rozenberg G Ed. by Series: Lecture notes in computer science; 188
Material type: Text 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)92 M5.

188.
Proceeding on advances in cryptology by Beth T Ed.; Cot N Ed. by Series: Lecture notes in computer science; 209
Material type: Text 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)p1,N84 M5.

189.
Proceedings on category theory and computer programming by Pitt David Ed.; Abramsky Samson Ed. by Series: Lecture notes in computer science; 240
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N85 M6.

190.
Proceeding on advanced programming environments by Conradi Reidar Ed. by Series: Lecture notes in computer science; 244
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

191.
System of reductions by Benninghofen B; Kemmerich S; Richter M M by Series: Lecture notes in computer science; 277
Material type: Text 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: D65,8(B) M7.

192.
Proceedings on CAAP'88 by Dauchet M Ed.; Nivat M Ed. by Series: Lecture notes in computer science; 299
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B44)p1,N88 M8.

193.
Proceeding on automated deduction by Loveland D W Ed. by Series: Lecture notes in computer science; 138
Material type: Text 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)p1,N82 M2.

194.
Proceeding on information systems methodology by Bracchi G Ed.; Lockemann P C Ed. by Series: Lecture notes in computer science; 65
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1978
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(2:55)p1,N78 L8.

195.
Proceeding on information methodology by Bracchi G Ed.; Lockemann P C Ed. by Series: Lecture notes in computer science; 69
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1978
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(2:55)p1,N78 L8;1.

196.
Proceeding on VLSI algorithms and architectures by Makedon F Ed.; Mehlhorn K Ed. by Series: Lecture notes in computer science; 227
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)2:11p1,N86 M6.

197.
Visual data mining:theory, techniques and tools for visual analytics by Simoff Simeon J Ed.; Bohlen Michael H Ed.; Mazeika Arturas Ed. by Series: Lecture notes in computer science, 4404
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2008
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B),27 P8 TD.

198.
Proceedings on graph-grammars and their application to computer science by Ehrig H Ed.; Nagl M Ed. by Series: Lecture notes in computer science; 291
Material type: Text 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: D65,8(B):(B44)p1,N86 M7.

199.
Proceeding on mathematical studies in information processing by Blum E K Ed.; Paul M Ed. by Series: Lecture notes in computer science; 75
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1978
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(2:55)p1,N78 L9.

200.
Proceeding on uncertainty in knowledege-based systems by Bouchon B Ed.; Yager R R Ed. by Series: Lecture notes in computer science; 286
Material type: Text 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: D65,8(B):(X:8)p1,N86 M7.