Refine your search

Your search returned 9155 results.

Sort
Results
351.
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.

352.
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.

353.
Algebraic topology by Spanier E H by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1966
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 K64;1.

354.
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.

355.
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.

356.
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.

357.
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.

358.
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.

359.
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.

360.
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.

361.
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.

362.
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.

363.
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.

364.
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.

365.
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.

366.
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.

367.
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.

368.
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.

369.
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.

370.
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.

371.
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.

372.
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.

373.
Zellschadigung und dysfunktion by David H by Series: Protoplasmatiologia: Handbuch der protoplasmaforschung; XI
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: G112 113L0.

374.
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.

375.
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.

376.
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.

377.
Hauptaustauschschritte by Wendler K by Series: Lecture notes in operations research and mathematical systems; 45
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1971
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893P 113L1.

378.
Proceeding on High magnetic fields in semiconductor physics 2 transport and optics by Landwehr G L Ed. by Series: Springer series in solid state sciences; 87
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: C6:212p1,N88 M9.

379.
Categorical constructions in stable hemotopy theory by Tierney Myles by Series: Lecture notes in mathematics; 87
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: B316 K96.

380.
Proceeding on pattern recognition by Kittler J Ed. by Series: Lecture notes in computer science; 301
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.

381.
Proceeding on stacs 88 by Cori R Ed.; Wirsing M Ed. by Series: Lecture notes in computer science; 294
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.

382.
Completions of categories by Lambek Joachin by Series: Lecture Notes in Mathematics; 24
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: B2-316 K66.

383.
Linear time, branching time and partial order in logics and models for concurrency by De Bakker J W Ed.; De Roever W P Ed. by Series: Lecture notes in computer science; 354
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)92 M9.

384.
Proceeding on automata, languages and programming by Lepisto Timo Ed.; Salomaa Arto Ed. by Series: Lecture notes in computer science; 317
Edition: 16
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.

385.
Proceedings on system modelling and optimization by Iri M Ed.; Yajima K Ed. by Series: Lecture notes in control and information sciences; 113
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: B28931p1,N87 M8.

386.
Proceedings on automata, languages and programming by Ausiello G Ed.; Dezani-ciancaglini M Ed. by Series: Lecture notes in computer science; 372
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.

387.
Stable homotopy theory by Adams J Frank by Series: Lecture notes in mathematics; 3
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: B316 K91.

388.
Proceeding of Stepwise refinement of distributed systems:models formalisms , correctness by Bakker J W De Ed.; Roever W P De Ed.; Rozenberg G Ed. by Series: Lecture notes in computer science; 430
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)92 M9.

389.
Report of the midwest category seminar by Andre M; Buchsbaum D A; Dubic E by Series: Lecture Notes in Mathematics: A collection of informal reports and seminars; 61
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: B2-316 K8.

390.
H-spaces from a homotopy point of view by Stasheff James by Series: Lecture notes in mathematics; 161
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: B313N L01.

391.
Topics in the homology theory of fibre bundles by Borel Armand by Series: Lecture notes in mathematics; 36
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Spriger-Verlag 1967
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 K72.

392.
On Automorphisms of siegel domains by Murakami S by Series: Lecture notes in mathematics; 286
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: B397 L21.

393.
Nonlinears functional analysis and its applications by Zeidler E by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: Central Science Library (1)Collection, call number: B43 M5.4;1.

394.
Pepresentations de groupes localement compacts by Borel Armand by Series: Lecfture notes in mathematics; 276
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: B27 122L2.

395.
Complexity and structure by Schoning Uwe by Series: Lecture notes in computer science; 211
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.

396.
Local cohomology by Grothendieck A by Series: Lecture notes in mathematics; 41
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1967
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 K74.

397.
Proceedings on readings on cognitive ergonomics-mind and computers by Veer G C Vander Ed.; Tauber M J Ed.; Green T R G Ed. by Series: Lecture notes in computer science; 178
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)0aSp1,N84 M4.

398.
Optimierung in funktioninraumen by Gessner P; Spremann K by Series: Lecture notes in economics and mathematical systems; 64
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893-43 113L2.

399.
Hermonic analysis on reductive p-adic gropus by Harish C; Vajn Dijk G; Harish Chandra by Series: Lecture notes in mathematics; 162
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: B394M L0-;1.

400.
Hermonic analysis on reductive p-adic gropus by Harish C; Vajn Dijk G; Harish Chandra by Series: Lecture notes in mathematics; 162
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: B394M L0-;1.