Refine your search

Your search returned 7476 results.

Sort
Results
201.
Proceeding on local fields by Springer T A by
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: B316p1,N66 K7.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

239.
Proceeding on several complex variables II by Horvath John Ed. by Series: Lecture notes in mathematics: A collection of informal reports and seminars; 185
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.

240.
Procceding on theory and practice of software development by Ehrig Hartmut Ed.; Kowalski Robert Ed.; Levi Giorgio Ed. by Series: Lecture notes in computer science; 249
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.1.

241.
Proceedings on Logic at Botik'89 by Meyer A R Ed.; Taitslin M A Ed. by Series: Lecture notes in computer science; 363
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.

242.
Natural language communication with computer by Bolc Leonard Ed. by Series: Lectures notes in computer science; 63
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(2:55) L8.

243.
Proceedings on programming languages implementation and logic programing by Dernsart P Ed.; Lorho B Ed. by Series: Lecture notes in computer science; 348
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,N88 M9.

244.
Category theory and computer science by PITT D H Ed.; Poigne A Ed.; Rydeheard D E Ed. by Series: Lecture notes in computer science; 283
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)0aB2-316 M7.

245.
Time series package (TSPACK) by Chaghaghi Francois S by Series: Lecture notes in computer science; 187
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)0bB286 M5.

246.
Proceedings on system development and ada by Habermann A N Ed.; Montanari U Ed. by Series: Lecture notes in computer science; 275
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)92AD M7.

247.
Theorems abd counter examples in mathematics by Gelbaum Bernard; Olmsted John M H by Series: Problem Books in Mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: B N0.

248.
Proceedings on optimal algorithms by Djidjev H Ed. by Series: Lecture notes in computer science; 401
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):(B288)p1,N89 M9.

249.
Proceeding on automatic demonstration by Laudet M Ed.; Lacomde D Ed.; Nolin L Ed. by Series: Lecture notes in mathematics; 125
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: D65,8(B) L0.

250.
Proceeding on stacs 90 by Choffrut C Ed.; Lengauer T Ed. by Series: Lecture notes in computer science; 415
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,N0 N0.