Your search returned 15468 results.

Sort
Results
1651.
Proceeding on wopplot 86: Parallel processing:logic , organization and technology by Becker J D Ed.; Eisele I Ed. by Series: Lecture notes in computer science; 253
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.

1652.
Topological vector spaces by Waelbroeck Lucien Ed. by Series: lecture notes in mathematics; 331
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: B316 L33.

1653.
Proceeding on analogical and inductive inference by Jantke K P Ed. by Series: Lecture notes in computer science; 265
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.

1654.
Analyse differentielle by Poenaru Valentin by Series: Lecture notes in mathematics; 371
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: B35 122L4.

1655.
Proceeding on formal techaniques in real time and fault tolerant systems by Josepn M Ed. by Series: Lecture notes in computer science; 331
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.

1656.
Proceeding on mathematical models for the semantics of parallelismi by Zilli M V Ed. by Series: Lecture notes in computer science; 280
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.

1657.
Attribute grammars by Deransart Pierre; Jourdan Martin; Lorho Bernard by Series: Lecture notes in computer science; 323
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):(P:H) M8.

1658.
Proceedings on software science and engineering by Goto Eiichi Ed.; Furukawa Koichi Ed. by Series: Lecture notes in computer science; 147
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)92p1,N82 M3.

1659.
Proceeding on several complex variables by Brooks R M Ed. by Series: Lecture notes in mathematics: a collection of informal reports and seminars; 184
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: B38p1,N70 L1.

1660.
Proofs from the book by Aigner Martin; Ziegler Gunter M by
Edition: 3
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: B:(R1) Q0 TB.

1661.
Network security policies and procedures by Frye Douglas W by Series: Advances in information security
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Science+Business Media 2007
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):71:(894) P7 TD.

1662.
Network security policies and procedures by Frye Douglas W by Series: Advances in information security
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Science+Business Media 2007
Availability: No items available.

1663.
Compiler, compilers and high speed compilation by Hammer D Ed. by Series: Lecture notes in computer science; 371
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)922 M9.

1664.
Analyse convexe et ses applications by Aubin Jean-pierre Ed. by Series: Lecture notes in economics and mathematical systems; 102
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: B3 122L4.

1665.
Proceeding on machines languages and complexity by Dassow J Ed.; Kelemen J Ed. by Series: Lectuer notes in computer science; 381
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,N88 M9.

1666.
Theorie du potential et analyse harmonique by Faraut J Ed. by Series: Lecture notes in mathematics; 404
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: B394M 112L4.

1667.
Proceedings on mathematical methods of specification and synthesis of software system'85 by Bibel W Ed.; Jantke K P Ed. by Series: Lecture notes in computer science; 215
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.

1668.
Proceeding on mathematical fundamentals of database systems by Biskup J Ed.; Demetrovics J Ed.; Paredaens J Ed. by Series: Lecture notes in computer science; 305
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(B)p1,N87 M8.

1669.
Report of the midest category seminar III by Barr M; Berthiaume P; Day B by Series: Lecture notes in mathematics; 106
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Veralg 1969
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2-316z7 K9.

1670.
Partial differential equations by JOHN Fritz by
Edition: ed 4
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer 1982
Availability: Items available for loan: Central Science Library (1)Collection, call number: B334 L51;M2;1 TB.

1671.
Foundations of equational logic programming by Holldobler Steffen by Series: Lecture notes in computer science: Artificial intelligence; 353. Subseries of lecture notes in computer science; 353
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):R1 M9.

1672.
Database machine performance: modelling methodologies and evoluton strategies by Cesarini Francesca Ed.; Salza Silvio Ed. by Series: Lecture notes in computer science; 257
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):3 M7.

1673.
Proceedings on logic programming'88 by Furukawa K Ed.; Tanaka H Ed.; Fujisaki T Ed. by Series: Lecture notes in computer science; 383
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)92L0p1,N88 M9.

1674.
Proceeding on computational geometry and its applications by Noltemeier Hartmut Ed. by Series: Lecture notes in computer science; 333
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):(B6)p1,N88 M8.

1675.
Elementary topics in differential geometry by THORP J A by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer 1979
Availability: Items available for loan: Central Science Library (1)Collection, call number: B6:3 L9;2 TB.

1676.
Proceeding on ionic liquids, molten salts and polyelectrolytes by Bennemann K H Ed. by Series: Lecture notes in physics; 172
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: C2p55,N82 M2.

1677.
Proceedings on graph-theoratic concepts in computer science by Gottler H Ed.; Schneider H J Ed. by Series: Lecture notes in computer science; 314
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,N87 M8.

1678.
Proceeding on Statistical and scientific database management by Michalewicz Z Ed. by Series: Lecture notes in computer science; 420
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):3:(X:8) N0.

1679.
Reports of the midwest category seminar V by Andre M; Barr M; Bonge M; Gray J W Ed. by Series: Lecture notes in mathematics; 195
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: B2-316z7 L1.

1680.
Proceeding on mathematical control theory by Coppel W A Ed. by Series: Lectures notes in mathematics; 680
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: B2893p1,N77 L8.

1681.
Recent trends in data type specification by Sannella D Ed.; Tarlecki A Ed. by Series: Lecture notes in computer science; 332
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Ver;ag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(B2) M8.

1682.
Plants and climate change by Rozema Jelte Ed.; Aerts Rien Ed.; Cornelissen Hans Ed. by Series: Tasks for Vegetation Science; 41
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht Springer 2006
Availability: Items available for loan: Central Science Library (1)Collection, call number: I0gU287 P6 TI.

1683.
Synthesizing synchronous systems by static scheduling in space-time by Lisper Bjorn by Series: Lecture notes in computer science; 362
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.

1684.
Proceeding on SWAT88 by Karlsson R Ed.; Lingas A Ed. by Series: Lecture notes in computer science; 318
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):B288p1,N88 M8.

1685.
Short wave wireless communication by Ladner A W; Stoner C R by
Edition: 5
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1950
Availability: Items available for loan: Central Science Library (1)Collection, call number: D666:4 J02.

1686.
Extremal families and systems of sufficient statistics by Lauritzen Steffen L by Series: Lecture notes in statistics; 49
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28 M8.

1687.
Reasoning and revision in hyprid representation systems by Nebel Bernhard by Series: Lecture notes in Artificial intelligence; 422
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) N0.

1688.
Compositionality, concurrency and partial correctness by Zwiers J by Series: Lecture notes in computer science; 321
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) M9.

1689.
Science of flavonoids by Grotewold Erich Ed. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Science+Business Media Inc, 2006
Availability: Items available for loan: Central Science Library (1)Collection, call number: E95 P6 TE.

1690.
Science of flavonoids by Grotewold Erich Ed. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Science+Business Media Inc, 2006
Availability: No items available.

1691.
Acidity and basicity by Auroux A; Brait A; Brunner E; Fajula F; Garrone E; Jentys A; Lercher J A; Pfeifer H by Series: Molecular sieves:science and technology,6
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: E3 P8 TE.

1692.
Parametric statistical models and likelihood by Barndorff-Nielsen Ole E by Series: Lecture notes in statistics; 50
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28 M8.

1693.
Proceeding on neural networks by Almeida L B Ed.; Wellekens C J Ed. by Series: Lecture notes in computer science; 412
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)-4(S7) N0.

1694.
Proceeding on algebraic and logic programming by Grabowski J Ed.; Lescanne P Ed. by Series: Lecture notes in computer science; 343
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):R1p1,N88 M8.

1695.
Proceeding on seminaire de probabilities by Meyer P A Ed. by Series: Lecture Notes in Mathematics; 124
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: B281p1,N69 112L0.

1696.
Proceedings on topology by Dickman Raymond F Ed.; Fletcher Peter Ed. by Series: Lecture notes in mathematics; 375
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: B316p1,N73 L4.

1697.
Proceedings on design and implementation of symbolic computation systems by Miola A Ed. by Series: Lecture notes in computer science; 429
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(B1:R1)92:4 N0.

1698.
Proceeding on Trees in algebra and programming (CAAP'90) by Arnold A Ed. by Series: Lecture notes in computer science; 431
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlg 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 N0.

1699.
Rewriting techniques and applications by Lescanne Pierre Ed. by Series: Lecture notes in computer science; 256
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.

1700.
Examples and theorms in analysis by WALKER PETER by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2004
Availability: Items available for loan: Central Science Library (1)Collection, call number: B3 P4;1.