Refine your search

Your search returned 9155 results.

Sort
Results
501.
Container terminals cargo systems: Design, operations management and logistics control issues by Kim Kap Hwan Ed.; Gunther Hans-Otto Ed. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 2007
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2T0b89A P7 TB.

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

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

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

505.
Proceedings on optimal central theory and its applications by Kirby Bruce J Ed. by Series: Lecture Notes in Economics and Mathematical Systems; 105
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 L4.1.

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

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

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

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

510.
Introduction to mathematical statistics by Schmetterer Leopold by Series: Die grundlehren der mathematischen wessenschaften; 202
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28 L43;1.

511.
Introduction to mathematical statistics by Schmetterer Leopold by Series: Die grundlehren der mathematischen wessenschaften; 202
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28 L43.

512.
Proceeding on automated deduction by Shostak R E Ed. by Series: Lecture notes in mathematics; 170
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: B:(R1)p1,N84 M4.

513.
Automata, languages and programming by Paredaens Jan Ed. by Series: Lectuer notes in computer science; 172
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.

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

515.
Tauberian remainder theorems by Ganelius Tord H by Series: Lecture notes in mathematics; 232
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: B36 L1.

516.
Martingales and stochastic intergrals by Meyer P A by Series: Lecture notes in mathematics: A collection of informal reports and seminars; 284
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2811 L21.

517.
Analytic and plurisubharmonic functions in finite and infinite dimensional spaces by Herve M by Series: Lecture notes in mathematics; 198
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: B394M L1.

518.
Proceeding on computation and proof theory by Richter M M Ed. by Series: Lecture notes in mathematics; 1104
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: B:(R1)p1,N83 M4.

519.
Oscillation theory by Kreith Kurt by Series: Lecture notes in mathematics; 324
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: B3 L3.

520.
Suboptimale regler mit abschnittweise linearer strukter by Kinedi H by Series: Lecture notes in economics and mathematical systems; 73
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: B2893P,1 113L2.

521.
Fortran fur anfanger by Constam M by Series: Lecture notes in economics and matheamtical systems; 48
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.

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

523.
Posterior and predictive densities for simultaneous equation models by Richard J F by Series: Lecture notes in mathematical systems; 90
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: B331 L3.

524.
Seminaire pierre lelong by Dold A Ed.; Heidelberg Ed.; Eckmann B Ed. by Series: Lecture notes in mathematics; 205
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: B3 122L0.

525.
Proceedings on data networks with satellites by Majus Joachim Ed.; Spaniol Otto Ed. by Series: Informatik-Fachberichte; 67
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):3p1,N82 M3.

526.
Proceeding on numerical solution of differential equations by Morris J U Ed. by Series: Lecture notes in mathematics; 109
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: B33:1p1,N69 K9.

527.
Proceeding on methods of optimization by Hawkes Nigel Ed. by Series: Lecture notes in economics and mathematical systems; 180
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: B2893p1,N71 L3.

528.
Natural language communication with pictorial information systems by Bolc L Ed. by
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(2:55) M4.

529.
Proceeding on logic year 1979-80 by Lerman M Ed.; Schmerl J H Ed. by Series: Lecture notes in mathematics; 859
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1981
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N79 M1.

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

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

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

533.
Mathematical models of the dynamics of the human eye by Collins Richard; Van Der Werff Twrry J by Series: Lecture notes in biomathematics; 34
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: L185:(B) M0.

534.
Semi-markoff-prozesse mitendlich vielen zustanden by Stormer H. by Series: Catures notes in operations research & mathematical system; 34
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: B281N07 113L0.

535.
Elemente der botanik by Heitz E by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Wien Springer-Verlag 1950
Availability: Items available for loan: Central Science Library (1)Collection, call number: I 113J0.

536.
Cohomology theory of topological transformation groups by Hsiang Wu Yi by Series: Ergebnisse der mathematik und ihrer grenzgebiete
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: B316 L52;1.

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

538.
Stochastic models for spike trains of single neurons by Sampath G; Srinivasan S K by Series: Lecture notes in biomathematics; 16
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: Central Science Library (1)Collection, call number: L7:3:(B) L7.

539.
Theorie der linearer dekomposition by Hagelschuer Paul B by Series: Lecture notes in operations research and mathematical systems; 58
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,1 113L1.

540.
Einfuhrung in die theorie der lokalkonvexen raume by Floret K; Wloka J by Series: Lecture notes in mathematics; 56
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: B313 113K8.

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

542.
Astronomy with a home computer by Monks Neale by Series: Patrick Moore's practical astronomy series
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: London Springer-Verlag 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: B9:(9S) P5.

543.
Derivation and martingales by Hayes C A; Pauc C Y by Series: Ergebnisse der mathematic und ihrer Grenzgebi etc; 49
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: B316 L0 EB.

544.
Minimum norm extramals in function spaces with applications to classical and modern analysis by Fisher Stephen D; Jerome Joseph W by Series: Lectures notes in mathematics; 479
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: B313 L5.

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

546.
Web archiving by Masanes Julien by
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):710 P6 TD.

547.
Web archiving by Masanes Julien by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2006
Availability: No items available.

548.
Exact categories and categories of sheaves by Barr Michael; Grillet Pierre A; Vanosdal Donovan H by Series: Lecture notes in mathematics; 236
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: B316 L18.

549.
Hilbertsche raume mit kernfuktion by Meschkowski Herbert by Series: Die grundlehren der mathematischen wissenschaften in einzeldarstellungen; 113
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1962
Availability: Items available for loan: Central Science Library (1)Collection, call number: B313N 113K2.

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