Refine your search

Your search returned 7678 results.

Sort
Results
351.
Advance in petri nets 1988 by Rozenberg G Ed. by Series: Lecture notes in computer science; 340
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 M8.

352.
Networking in open systems by Muller Gunter Ed.; Blanc Robert P Ed. by Series: Lecture notes in computer science; 248
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.

353.
Continuous transformations in analysis by Rado T; Reichelderfer P U by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1954
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 J54;1.

354.
Computation theory and logic by Borger Egon Ed. by Series: Lecture notes in computer science; 270
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):(R1) M7.

355.
Temporal logic in specification by Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed. by Series: Lecture notes in computer science; 398
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):5:(R1) M9.

356.
Proceeding on advances in database technology by Bancilhon F Ed.; Thanos E Ed.; Tsichritzis D Ed. by Series: Lecture notes in computer science; 416p
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N0 N0.

357.
Proceeding on statistical and scientific database management by Rafanelli M Ed.; Klensin J C Ed.; Svensson P Ed. by Series: Lecture notes in computer science; 339
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):3:(X:8)p1,N88 M9.

358.
Proceedings on graph-theoretic concepts in computer science by Van leeuwen J Ed. by Series: Lecture notes in computer science; 344
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.

359.
Computational methods in optimal control problems by Mufti I H by Series: Lecture notes in operations research and mathematical systems; 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28930bD65,8(B) L01.

360.
Volumes, limits and extensions of analytic varieties by Stolzenberg Gabriel by Series: Lecture notes in mathematics; 19
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1966
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:2 K6.

361.
Proceedings on AI'88 by Barter C J Ed.; Brooks M J Ed. by Series: Lecture notes in artificial intelligence; 406
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72)p1,N88 N0.

362.
Proceeding on Parle: Parallel architectures and languages Europe by De Bakker J W Ed.; Nijman A J Ed.; Treleaven P C by Series: Lecture notes in computer science; 259
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.2.

363.
Proceeding on advances in cryptology eurocrypt 88 by Gunther C G Ed. by Series: Lecture notes in computer science; 330
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)p1,N88 M8.

364.
Proceeding on parle 89 parallel architectuers and languages europe by Odijk E Ed.; Rem M Ed. by Series: Lecture notes in computer science; 365
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)92p1,N89 M9.1.

365.
Proceeding on Parle: parallel architectures and languages europe by De Bakker J W Ed.; Nijman A J Ed. by Series: Lecture notes in computer science; 258
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.1.

366.
Proceedings on applied algebra, algebraic algorithms and error-correcting codes by Mora T Ed. by Series: Lecture notes in computer science; 357
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)92ALp1,M88 M9.

367.
Proceedings on geometric applications of homotopy theory by Barratt M G Ed.; Mahowald M E by Series: Lecture notes in mathematics; 658
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: B316p1,N77 L8.

368.
Proceeding on advances in cryptology crypto 86 by Odlyzko A M Ed. by Series: Lecture notes in computer science; 263
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,N86 M7.

369.
On round-off errors in linear programming by Merbach Muller H by Series: Lecture notes in operations research and mathematical system; 37
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893P L04.

370.
Future parallel computers by Trelfaven P; Vanneschi M by Series: Lecture notes in computer science; 272
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):(R1) M7.

371.
Proceeding on ESEC'89 by Ghezzi G Ed.; Mcdermio J A Ed. by Series: Lecture notes in computer science; 387
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)92p1,N89 M9.

372.
Advances in petri nets 1985 by Rozenberg G Ed. by Series: Lecture notes in computer science; 222
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.

373.
Proceeding on VDM88:The way ahead by Bloomfield R Ed.; Marshall L Ed. by Series: Lecture notes incomputer science; 328
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)92p5931,N88 M8.

374.
Einstein manifolds by Besse Arthur L by Series: Classics in mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: CN M7;P8 TB.

375.
Proceeding on foundations of software technology and theoretical computer science by Nori KV Ed.; Kumar S Ed. by Series: Lecture notes in computer science; 338
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)92p1,N88 M8.

376.
Advances in petrinets 1989 by Rozenberg Grzegorz Ed. by Series: Lecture notes in computer science; 424
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)-4N60un1:N89 N0.

377.
Proceedings on new trends in nonlinear control theory by Descusse J Ed.; Fliess M Ed. by Series: Lecture notes in control and information sciences; 122
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: B28931p1,N88 M9.

378.
Proceeding on foundations of data organization and algorithms by Schek H J Ed.; Litwin W Ed. by Series: Lecture notes in computer science; 367
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)p1,N89 M9.

379.
Plants and soil by Dessaux Yves Ed.; Hinsinger Philippe Ed.; Lemanceau Philippe Ed. by Series: Rhizosphere:achievements and challenges. Development in plant and soil sciences, 104
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2010
Availability: Items available for loan: Central Science Library (1)Collection, call number: I:1:(G:5) Q0 TEMDE.

380.
Proceeding on foundations of software technology and theoretical computer science by Nori Kesav V Ed. by Series: Lecture notes in computre science; 287
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)92p1,N87 M7.

381.
Flat manifolds by Kamber Franz; Tondeur Philippe by Series: Lecture notes in mathematics; 67
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: BErlin Springer-Verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 K88.

382.
NEWCAT: parsing natural languages using left-associative grammar by Hausser Roland by Series: Lecture notes in computer science; 231
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.

383.
Proceeding on symbolic and algebraic computation by Gianni P Ed. by Series: Lecture notes in computer science; 385
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):(B2)p1,N88 M9.

384.
Proceeding on stacs 89 by Monien B Ed.; Cori R Ed. by Series: Lecture notes in copmuter science; 349
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)p1,N89 M9.

385.
Complex analysis by Freitag Eberhard; Busam Rolf by Series: Universitext
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: B38 P5 TB.

386.
Multipliers on locally compact groups by Parthasarathy K R; Schmidt K by Series: Lecture notes in mathematics; 93
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1969
Availability: Items available for loan: Central Science Library (1)Collection, call number: B281 K9.

387.
Algebraic methods : theory , tools and applications by Wirsing M Ed.; Bergstra J A Ed. by Series: Lecture notes in computer science; 394
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Sprigner Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0aB2 M9.

388.
Proceeding on rewriting techniques and applications by Dershowtiz N Ed. by Series: Lecture notes in computer science; 355
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):(P)p1,N89 M9.

389.
Proceedings on VDM'90 VDM and Z-Formal methods in software development by Bjorne D Ed.; Hoare A R Ed. by Series: Lecture notes in computer science; 428
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92N70p1:N90 N0.

390.
Proceeding on algorithms and data structures by Dehne F Ed.; Sack J R Ed. by Series: Lecture notes in computer science; 382
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)91:(B288) M9.

391.
Proceeding on advances in cryptology crypto'88 by Goldwasser S Ed. by Series: Lecture notes in computer science; 403
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N88 N0.

392.
Mathematical foundations of computer science by Kreczmar A Ed.; Mirkowska G Ed. by Series: Lecture Notes in Computer Science; 379
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):(B) M9.

393.
Index and other useful information by Araki H Ed.; Ehlers J Ed.; Hepp K Ed. by Series: Lecture notes in physics; 1-222
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: C bM5.

394.
Proceedings on experimental robotics I by Hayward V Ed.; Khatib O Ed. by Series: Lecture notes in control and information science; 139
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D6:(S:72) N0.

395.
Proceeding on computer vision ECCV 90 by Faugeras O Ed. by Series: Lecture notes in computer science; 427
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)-45 N0.

396.
Proceeding on automata, languages and programming by Loeckx Jacques Ed. by Series: Lecture notes in computer science; 14
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: B2893P0bD65,8(B)p1,N74 L41.

397.
Advances in database technology-EDBT 188 by Schmidt J W Ed.; Ceri S Ed.; Missikoff M Ed. by Series: Lecture notes in computer science; 303
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):3 M8.

398.
Languages for sensor-based control in robotics by Rembold U. Ed.; Hormann K. Ed. by Series: Nato ASI series
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: D6:(S:72) M7.

399.
Proceeding on mathematical foundations of programming language semantics by Main M Ed.; Meslove M Ed. by Series: Lecture notes in computer science; 298
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)92p1,N87 M8.

400.
Proceeding on computer assisted learning by Maurer H Ed. by Series: Lecture notes in computer science; 360
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)p1,N89 M9.