Your search returned 345 results.

Sort
Results
201.
Proceeding on software science and engineering by Goto Eiichi Ed.; Araki Keijiro Ed.; Yuasa Taiichi Ed. by Series: Lecture notes in computer science; 220
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,N83 M6.

202.
Proceedings on programs as data objects by Ganzinger H Ed.; Jones N D Ed. by Series: Lecture Notes in Computer Science; 217
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.

203.
Proceeding on theoretical computer science by Cremers A B Ed.; Kriegel H P Ed. by Series: Lecture notes in computer science; 145
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)p1,N82 M3.

204.
Proceeding on fundamentals of computation theory by Gecseg Ference Ed. by Series: Lecture notes in computer science; 117
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.

205.
Petri nets: Central models and their properties by Brauer W Ed.; Reisig W Ed.; Rozenberg G Ed. by Series: Lecture notes in computer science; 254
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.1.

206.
Proceeding on stacs 87 by Brandenburg F J Ed.; Naquet G V Ed. by Series: Lecture notes in computer science; 247
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)p1,N87 M7.

207.
Petri nets: applications and relationships to other models of concurrency by Brauer W Ed.; Reisig W Ed.; Rozenberg G Ed. by Series: Lecture notes in computer science; 255
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.2.

208.
Proceedings on advances in cryptology: crypto 85 by Williams Hugh C Ed. by Series: Lecture notes in computer science; 218
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.

209.
Concepts in user interfaces: a reference model for command and response languages by Beech David Ed. by Series: Lecture notes in computer science; 234
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.

210.
Proceeding on computing methods in applied sciences and engineering : Papers by Glowinski R Ed.; Lions J L Ed. by Series: Lecture notes in computer science; 11
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: A0D65,8(B)p1,N73 L43.

211.
Proceeding on ICDT`86 by Ausiello Giorgio Ed.; Atzeni Paolo Ed. by Series: Lecture notes in computer science; 243
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):3p1,N86 M6.

212.
Proceeding on advances in cryptology crypto 87 by Pomeran C Ed. by Series: Lecture notes in computer science; 293
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)p1,N87 M7.

213.
Translating relational queries into iterative programs by Freytag Johann Christoph Ed. by Series: Lecture notes in computer science; 261
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,B(B)92 M7.

214.
Data mining: theory, methodology, techniques and applications by Williams Graham J Ed.; Simoff Simeon J Ed. by Series: Lecture notes in artificial intelligence: Subseries of lecture notes in computer science; 3755
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2006
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B),27 P6 TD.

215.
Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types by Sherman Mark steven by Series: Lecture notes in computer science; 189
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)92Par M5.

216.
Proceeding on symbolic and algebraic computation by Fitch John Ed. by Series: Lecture notes in computer science; 174
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):(B2)p1,N84 M4.

217.
Munich project CIP by Bauer F L; Berghammer R; Broy M by Series: Lecture notes in computer science; 18
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.1.

218.
Proceeding on trends in information processing systems by Duijvestitjn A J W Ed.; Clockemann P Ed. by Series: Lecture notes in computer science; 123
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(2:55)p1,N81 M1.

219.
Current trends in concurrency: overviews and tutorials by De Bakker J W Ed.; De Roever W P Ed.; Rozenberg G Ed. by Series: Lecture notes in computer science; 224
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Berlin 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M6.

220.
Mathematical methods in computer science:essays in memory of thomas Beth by Calmet Jacques Ed.; Geiselmann Willi Ed.; Muller-Quade Jorn Ed. by Series: Lecture notes in computer science, 5393
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: B:(9S) P8.

221.
Hierarchical associative processing systems by Stuttgen Heinrich J by Series: Lecture notes in computer science; 195
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.

222.
Proceeding on recent advances in intrusion detection by Jonsson Erland Ed.; Valdes Alfonso Ed.; Almgren Magnus Ed. by Series: Lecture notes in computer science; 3224
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 2004
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894) P4.

223.
Lucas associative array processor: design, programming and application studies by Fernstrom Christer; Kruzela Ivan; Svensson Bertil by Series: Lecture notes in computer science; 216
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)92LU M6.

224.
Fundamentals of computation theory by Budach Lothar Ed. by Series: Lecture notes in computer science; 199
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) M5.

225.
Proceedings on foundations of software technology and theoretical computer science by Nori Kesav V Ed. by Series: Lecture notes in computer science; 241
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.

226.
Group decision support system for cooperative multiple criteria group decision making by Bui Tung X by Series: Lecture notes in computer science; 290
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):B288 M7.

227.
Proceeding on mathematical foundations of software development by Ehrig Hartmut Ed. by Series: Lecture notes in computer science; 185
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.

228.
Proceedings on formal methods and software development by Ehrig Hartmut Ed.; Floyd Christiane Ed. by Series: Lecture notes in computer science; 186
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.

229.
Proceeding on algorithms in mathematics and computer science by Ershov A P Ed.; Knuth D E Ed. by Series: Lecture notes in computer science; 122
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1980
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N79 M0.

230.
Proceeding on fundamentals of computation theory by Budach L Ed.; Bukharajev R G Ed. by Series: Lecture notes in computer science; 278
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)p1,N87 M7.

231.
Proceeding on methods and tools for computer integrated manufacturing by Rembold U Ed.; Dillmann R Ed. by Series: Lecture notes in computer science; 168
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):Fp1,N83 M4.

232.
Programming languages and their definition by Bekic H by Series: Lecture notes in computer science; 177
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 M4.

233.
Proceeding on PARLE`89 by Odijk E Ed.; Syre J C Ed. by Series: Lecture notes in computer science; 366
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N89 M9.2.

234.
Proceeding on international joint conference on theory an practice of software development by Diaz J Ed.; Orejas F Ed. by Series: Lecture notes in computer science; 351
Material type: Text 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: D65,8(B)91p1,N89 M9.1.

235.
Metasoft primer by Blikle Andrzej by Series: Lecture notes in computer science; 288
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(P:4) M7.

236.
Proceeding on natural language at the computer by Blaser A Ed. by Series: Lecture notes in computer science; 320
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3:(P) M8.

237.
Interactive relational database design by Bangchi Tapan P; Chaudhari Vinay K by Series: Lecture notes in computer science; 402
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3 M9.

238.
Proceedings on TEX for scientific documentation by Desarmenien Jacques Ed. by Series: Lecture notes in computer science; 236
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92TEXp1,N86 M6.

239.
Proceedings on automata, language and programming by Diaz J Ed. by Series: Lecture notes in computer science; 154
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1983
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N83 M3.

240.
Proceedings on algebraic algorithms and error-correcting codes by Calmet Jacques Ed. by Series: Lecture notes in computer science; 229
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92ALp1,M85 M6.

241.
Proceedings on applied algebra, algorithmics and error-correcting codes by Poli Alain Ed. by Series: Lecture notes in computer science; 228
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92ALp1,M84 M6.

242.
Proceeding on computer vision- ECCV'94 Eklundh Jan-Olof Ed. by Series: Lecture notes in computer science; 800
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1994
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B44):22p1,N94 N4.1.

243.
244.
Graph reduction Fasel Joseph H Ed.; Keller Robert M Ed. by Series: Lecture Notes in Computer Science; 279
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: B44 M7.

245.
Mathematical foundations of computer science 2005 Jedrzejowicz Joanna Ed.; Szepietowski Andrzej Ed. by Series: Lecture notes in computer science; 3618
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P5-;2 TD.

246.
Mathematical foundations of computer science 2005 Jedrzejowicz Joanna Ed.; Szepietowski Andrzej Ed. by Series: Lecture notes in computer science; 3618
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P5-;2 TD.

247.
Mathematical foundations of computer science 2005 Jedrzejowicz Joanna Ed.; Szepietowski Andrzej Ed. by Series: Lecture notes in computer science; 3618
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P5-;2 TD.

248.
Proceedings on computer vision ECCV'94 Eklundh Jan-Olof Ed. by Series: Lecture notes in computer science; 801
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1994
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B44):22p1,N94 N4.2.

249.
250.
Management of multimedia networks and services Marshall Alan Ed.; Agoulmine Nazim Ed. by Series: Lecture notes in computer science; 2839
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B44)1 P3.