Your search returned 345 results.

Sort
Results
251.
Proceeding on computer algebra Calmet Jacques Ed. by Series: Lecture notes in computer science 144; 144
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):(B2)p1,N82 M2.

252.
Proceeding on Mathematical foundations of computer science 2004 Fiala Jiri Ed.; Koubek Vaclav Ed.; Kratochvil Jan Ed. by Series: Lecture notes in computer science; 3153
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)0gB P4-;2 TD.

253.
Proceeding on Mathematical foundations of computer science 2004 Fiala Jiri Ed.; Koubek Vaclav Ed.; Kratochvil Jan Ed. by Series: Lecture notes in computer science; 3153
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)0gB P4-;2 TD.

254.
Proceeding on Mathematical foundations of computer science 2004 Fiala Jiri Ed.; Koubek Vaclav Ed.; Kratochvil Jan Ed. by Series: Lecture notes in computer science; 3153
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)0gB P4-;2 TD.

255.
Proceeding on Computer algebra Goos G Ed.; Hartmanis J Ed.; Calmet Jacques Ed. by Series: Lecture notes in computer science; 144
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(B25)p1,N82 M2.

256.
Design of intelligent agents: a layered approach Muller Jorg P by Series: Lecture notes in computer science: Lecture notes in artificial intelligence; 1177
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72) N6.

257.
Mathematical foundations of computer science 2003 Rovan Branislav; Vojtas Peter by Series: Lecture notes in computer science; 2747
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P3-;2 TD.

258.
Mathematical foundations of computer science 2003 Rovan Branislav; Vojtas Peter by Series: Lecture notes in computer science; 2747
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P3-;2 TD.

259.
Mathematical foundations of computer science 2003 Rovan Branislav; Vojtas Peter by Series: Lecture notes in computer science; 2747
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0gB P3-;2 TD.

260.
IT-Security and privacy: design and use of privacy-enhancing security mechanisms Fischer-Hubner Simone by Series: Lecture notes in computer science; 1958
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B),2A:(894) P1 TD.

261.
Proceedings ed by Vladimir I Gorodetski and REFs Gorodetski Vladimir I^eand REFs by Series: Lecture notes in computer science; 2052
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):71:(894) P1.

262.
Theory of cryptography Kilian Joe Ed. by Series: Lecture notes in computer science; 3378
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894)p1,P05 P5 TD.

263.
Global optimization and constraint satisfaction Jermann Christophe Ed.; Neumaier Arnold Ed.; Sam Djamila Ed. by Series: Lecture notes in computer science; 3478
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: B28931 P4 TB.

264.
Towards a formal description of ada Bjorner D Ed.; Oest O N Ed. by Series: Lecture notes in computer science; 98
Material type: Text 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 M01.

265.
Computer algebra Van Hulzen J A Ed. by Series: Lecture notes in computer science; 162
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: B20bD65,8(B) M3.

266.
Agent-mediated electronic commerce III: current issues in agent-based commerce systems Dignum Frank Ed; Cortes Ulises Ed by Series: Lecture notes in computer science: Lecture notes in artificial intelligence; 2003
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):715 P1 TD.

267.
Proceeding on mathematical foundations of computer science Chytil M P Ed.; Koubek V Ed. by Series: Lecture notes in computer science; 176
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: B0bD65,8(B)p1,N84 M4.

268.
Papers: Jahrestagung Gdos G Ed.; Karlsruhe Ed.; Hartmanis J Ed. by Series: Lecture notes in computer science; 1
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: B2893Px 113L3.

269.
Proceeding on analysing problem classes and programing for parallel computing Handler Wolfgang Ed. by Series: Lecture notes in computer science; 111
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)92 M1.

270.
Axiomatising logic of computer programming Goldblatt Robert by Series: Lecture notes in computer science; 130
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)92 M2.

271.
Proceedings on practice and theory in public key cryptography, PKC 98 Imai Hideki Ed; Zheng Yuliang Ed by Series: Lecture notes in computer science; 1431
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1998
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894)p1,N98 N8.

272.
Conlan report Piloty R; Barbacci M; Borrione D by Series: Lecture notes in computer science; 151
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)92'N83t M3.

273.
Proceedings: advances in cryptology EUROCRYPT'98 ed by Kaisa Nyberg Nyberg Kaisa Ed by Series: Lecture notes in computer science; 1403
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1998
Availability: No items available.

274.
Introduction to the PL/CV 2 programming logic Constable R L; Johnson S D; Eichfenlaub C D by Series: Lecture notes in computer science; 135
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)92 M2.

275.
Proceeding on Coding theory and applications Cohen G Ed.; Godiewski P Ed. by Series: Lecture notes in computer science; 311
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: B28Np1,N86 M8.

276.
Comparative study of very large databases Hill Edward by Series: Lecture notes in computer science; 59
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(B):3 L8.

277.
Proceeding on automated deduction Overbeek R Ed.; Lusk E Ed. by Series: Lecture notes in computer science; 310
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: B:(R1)p1,N88 M8.

278.
Operating systems: an advanced course Bayer R Ed.; Graham R M Ed.; Flynn M J by Series: Lecture notes in computer science; 60
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(B)91 L81.

279.
Seminar on concurrency Brookes S D Ed. by Series: Lecture notes in computer science; 197
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: B288 M5.

280.
Proceeding on Computer performance evaluation: modelling techniques and tools, 7th international conference Vienna, Austria, May 1994 proceedings Haring Gunter Ed; Kotsis Gabriele Ed by Series: Lecture notes in computer science; 794
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(B):4:atp1,N94 N4.

281.
Proceeding on graph theoretic concepts in computer science Noltemeier Hastmut Ed. by Series: Lecture notes in computer science; 100
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(B44)p1,N80 M1.

282.
Alternating sequential/paraller processing Wallach Y by Series: Lecture notes in computer science; 127
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)91 M2.

283.
Proceeding on trees in algebra and programming Franchi-Zannettacci P Ed. by Series: Lecture notes in computer science; 214
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: B257p1,N86 M6.

284.
Revised papers ed by John A Campbell and Eugenio Roanes-Lozano Campbell John A Ed; Roanes-Lozano Eugenio Ed by Series: Lecture notes in computer science: Lecture notes in artificial intelligence; 1930
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72)p1,P0 P1.

285.
Recent advances in intrusion detection Vigna Giovanni Ed.; Jonsson Erland Ed.; Kruegel Christopher Ed. by Series: Lecture notes in computer science; 2820
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894) P3 TD.

286.
Designing privacy enhancing technologies Federrath Hannes Ed. by Series: Lecture notes in computer science; 2009
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):71:(894) P1.

287.
Recent advances in intrusion detection Lee Wenke Ed.; Me Ludovic Ed.; Wespi Andreas Ed. by Series: Lecture notes in computer science; 2212
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894) P1 TD.

288.
Adaptation of virtual man-computer interfaces to user recuirements in dialogs Dehning Waltraud; Essig H by Series: Lecture notes in computer science; 110
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) M11.

289.
Portal language description Businger Arnold by Series: Lecture notes in computer science; 198
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)92P0 M5.

290.
Proceeding on automata languages and programming Ausiello G Ed.; Bohm C Ed. by Series: Lecture notes in computer science; 62
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(B)92p1,N78 L8.

291.
Proceeding on information hiding Anderson Ross Ed by Series: Lecture notes in computer science; 1174
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(894)p1,N96 N6.

292.
Group-theroetic algortihms and graph isomorphism Hoffmann Christoph M by Series: Lecture Notes in computer Science; 136
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: B44 M2.

293.
Formal approaches to agent-based systems Hinchey Michael G Ed.; Rash James L Ed.; Truszkowski Walter F Ed.; Rouff Christopher A Ed. by Series: Lecture notes in computer science: lecture notes in artificial intelligence; 3228
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):(S:72) P5 TD.

294.
Verifying concurrent processes using temperal logic Hailpern Bernt T by Series: Lecture notes in computer science; 129
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Veerlag 1982
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M2.

295.
CLU reference manual Liskov Barbara; Atkinson R; Bloom T by Series: Lecture notes in computer science; 114
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)92 M1.

296.
Automatic differentiation: techniques and applications Rall Louis B by Series: Lecture notes in computer science; 120
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Veerlag 1981
Availability: Items available for loan: Central Science Library (1)Collection, call number: B33 M1.

297.
International conference on mathematical foundations of computer science Hartmains J; Goes G by Series: Lecture notes in computer science; 28
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: B0aD65,8(B) L5.

298.
Automata, languages and programming Braver Wilfried Ed. by Series: Lecture notes in computer science; 194
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: B28932 M5.

299.
Proceedings on fromalization of programming concepts Diaz J; Ramos I by Series: Lecture notes in computer science; 107
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: B2893Pp1,N81 M1.

300.
Proceeding on Graph-grammars and their application to computer science and biology Claus Volker Ed.; Ehrig Hartmut Ed.; Rozenberg Grzegorz Ed. by Series: Lecture Notes in Computer Science; 73
Material type: Text 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.