Your search returned 7678 results.

Results
	251.	Report of the midest category seminar III by Barr M; Berthiaume P; Day B by Barr M Berthiaume P Day B Series: Lecture notes in mathematics; 106 Material type: 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. Place hold Save to lists Add to cart (remove)
	252.	Foundations of equational logic programming by Holldobler Steffen by Holldobler Steffen Series: Lecture notes in computer science: Artificial intelligence; 353. Subseries of lecture notes in computer science; 353 Material type: 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. Place hold Save to lists Add to cart (remove)
	253.	Database machine performance: modelling methodologies and evoluton strategies by Cesarini Francesca Ed.; Salza Silvio Ed. by Cesarini Francesca Ed Salza Silvio Ed Series: Lecture notes in computer science; 257 Material type: 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. Place hold Save to lists Add to cart (remove)
	254.	Proceedings on logic programming'88 by Furukawa K Ed.; Tanaka H Ed.; Fujisaki T Ed. by Furukawa K Ed conference on logic programming'88 (7 : 1988 : Japan) Fujisaki T Ed Tanaka H Ed Series: Lecture notes in computer science; 383 Material type: 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. Place hold Save to lists Add to cart (remove)
	255.	Proceeding on computational geometry and its applications by Noltemeier Hartmut Ed. by Noltemeier Hartmut Ed International geometry and its applications (1988 : Wurzburg West Germany) Series: Lecture notes in computer science; 333 Material type: 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. Place hold Save to lists Add to cart (remove)
	256.	Proceeding on ionic liquids, molten salts and polyelectrolytes by Bennemann K H Ed. by Bennemann K H Ed International conference on ionic liquids molten salts and polyelectroytes (1982 : Berlin) Series: Lecture notes in physics; 172 Material type: 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. Place hold Save to lists Add to cart (remove)
	257.	Proceedings on graph-theoratic concepts in computer science by Gottler H Ed.; Schneider H J Ed. by Gottler H Ed International workshop on graph-theoretic concepts in computer science (1987 : Kloster Banz/staffelstein) Schneider H J Ed Series: Lecture notes in computer science; 314 Material type: 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. Place hold Save to lists Add to cart (remove)
	258.	Proceeding on Statistical and scientific database management by Michalewicz Z Ed. by Michalewicz Z Ed International conference database management (5 : 1990 : Charlotte) Series: Lecture notes in computer science; 420 Material type: 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. Place hold Save to lists Add to cart (remove)
	259.	Reports of the midwest category seminar V by Andre M; Barr M; Bonge M; Gray J W Ed. by Andre M Barr M Bonge M Gray J W Ed Series: Lecture notes in mathematics; 195 Material type: 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. Place hold Save to lists Add to cart (remove)
	260.	Proceeding on mathematical control theory by Coppel W A Ed. by Coppel W A Ed Conference on mathematic control theory (1977 : Canada, Austrellia) Series: Lectures notes in mathematics; 680 Material type: 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. Place hold Save to lists Add to cart (remove)
	261.	Recent trends in data type specification by Sannella D Ed.; Tarlecki A Ed. by Sannella D Ed Workshop on recent trends in data type specification (1987 : Gullance Scotland) Tarlecki A Ed Series: Lecture notes in computer science; 332 Material type: 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. Place hold Save to lists Add to cart (remove)
	262.	Synthesizing synchronous systems by static scheduling in space-time by Lisper Bjorn by Lisper Bjorn Series: Lecture notes in computer science; 362 Material type: 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. Place hold Save to lists Add to cart (remove)
	263.	Proceeding on SWAT88 by Karlsson R Ed.; Lingas A Ed. by Karlsson R Ed Workshop on algorithm theory (1988 : Helmstad Swedan) Lingas A Ed Series: Lecture notes in computer science; 318 Material type: 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. Place hold Save to lists Add to cart (remove)
	264.	Reasoning and revision in hyprid representation systems by Nebel Bernhard by Nebel Bernhard Series: Lecture notes in Artificial intelligence; 422 Material type: 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. Place hold Save to lists Add to cart (remove)
	265.	Compositionality, concurrency and partial correctness by Zwiers J by Zwiers J Series: Lecture notes in computer science; 321 Material type: 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. Place hold Save to lists Add to cart (remove)
	266.	Acidity and basicity by Auroux A; Brait A; Brunner E; Fajula F; Garrone E; Jentys A; Lercher J A; Pfeifer H by Auroux A Brait A Brunner E Fajula F Garrone E Series: Molecular sieves:science and technology,6 Material type: 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. Place hold Save to lists Add to cart (remove)
	267.	Proceeding on neural networks by Almeida L B Ed.; Wellekens C J Ed. by Almeida L B Ed Eurasip workshop on neural networks (1990 : Sesimba) Wellekens C J Ed Series: Lecture notes in computer science; 412 Material type: 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. Place hold Save to lists Add to cart (remove)
	268.	Proceeding on algebraic and logic programming by Grabowski J Ed.; Lescanne P Ed. by Grabowski J Ed International workshop on algebraic and logic programming (1988 : Gaussing) Lescanne P Ed Series: Lecture notes in computer science; 343 Material type: 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. Place hold Save to lists Add to cart (remove)
	269.	Proceeding on seminaire de probabilities by Meyer P A Ed. by Meyer P A Ed SYMPOSIUM ON SEMINARIE DE PROBEBILITIES (1969 : Straspourg) Series: Lecture Notes in Mathematics; 124 Material type: 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. Place hold Save to lists Add to cart (remove)
	270.	Proceedings on topology by Dickman Raymond F Ed.; Fletcher Peter Ed. by Dickman Raymond F Ed Conference on topology (1973 : State university) Fletcher Peter Ed Series: Lecture notes in mathematics; 375 Material type: 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. Place hold Save to lists Add to cart (remove)
	271.	Proceedings on design and implementation of symbolic computation systems by Miola A Ed. by Miola A Ed International symposiums on design and implementation of symbolic computation systems (1990 : Capri Italy) Series: Lecture notes in computer science; 429 Material type: 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. Place hold Save to lists Add to cart (remove)
	272.	Proceeding on Trees in algebra and programming (CAAP'90) by Arnold A Ed. by Arnold A Ed Colloquium on trees in algebra and programming (CAAP'90) (15 : 1990 : Denmark) Series: Lecture notes in computer science; 431 Material type: 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. Place hold Save to lists Add to cart (remove)
	273.	Rewriting techniques and applications by Lescanne Pierre Ed. by Lescanne Pierre Ed Series: Lecture notes in computer science; 256 Material type: 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. Place hold Save to lists Add to cart (remove)
	274.	Examples and theorms in analysis by WALKER PETER by WALKER PETER Material type: 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. Place hold Save to lists Add to cart (remove)
	275.	Proceeding on several complex variables II by Horvath John Ed. by Horvath John Ed International conference on several complex variables II (1970 : Maryland) Series: Lecture notes in mathematics: A collection of informal reports and seminars; 185 Material type: 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. Place hold Save to lists Add to cart (remove)
	276.	Procceding on theory and practice of software development by Ehrig Hartmut Ed.; Kowalski Robert Ed.; Levi Giorgio Ed. by Ehrig Hartmut Ed International symposium on theory and practice of software development (1987 : Pisa Itly) Kowalski Robert Ed Levi Giorgio Ed Series: Lecture notes in computer science; 249 Material type: 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. Place hold Save to lists Add to cart (remove)
	277.	Proceedings on Logic at Botik'89 by Meyer A R Ed.; Taitslin M A Ed. by Meyer A R Ed Symposium on logical foundations of computer science (1989 : Pereslavl-zalessky USSR) Taitslin M A Ed Series: Lecture notes in computer science; 363 Material type: 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. Place hold Save to lists Add to cart (remove)
	278.	Natural language communication with computer by Bolc Leonard Ed. by Bolc Leonard Ed Series: Lectures notes in computer science; 63 Material type: 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. Place hold Save to lists Add to cart (remove)
	279.	Introduction to the theory of nonlinear optimization by Jahn Johannes by Jahn Johannes Edition: 3 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28931 P7 TOR. Place hold Save to lists Add to cart (remove)
	280.	Introduction to the theory of nonlinear optimization by Jahn Johannes by Jahn Johannes Edition: 3 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007 Availability: No items available. Save to lists Add to cart (remove)
	281.	Proceedings on programming languages implementation and logic programing by Dernsart P Ed.; Lorho B Ed. by Dernsart P Ed International workshop on programming languages implementation and logic programming (1988 : France) Lorho B Ed Series: Lecture notes in computer science; 348 Material type: 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. Place hold Save to lists Add to cart (remove)
	282.	Category theory and computer science by PITT D H Ed.; Poigne A Ed.; Rydeheard D E Ed. by PITT D H Ed Symposium on category theory and computer science (1987 : Edinburgh U,K) Poigne A Ed Rydeheard D E Ed Series: Lecture notes in computer science; 283 Material type: 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. Place hold Save to lists Add to cart (remove)
	283.	Time series package (TSPACK) by Chaghaghi Francois S by Chaghaghi Francois S Series: Lecture notes in computer science; 187 Material type: 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. Place hold Save to lists Add to cart (remove)
	284.	Proceedings on system development and ada by Habermann A N Ed.; Montanari U Ed. by Habermann A N Ed Workshop on system development and ada (1986 : Italy) Montanari U Ed Series: Lecture notes in computer science; 275 Material type: 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. Place hold Save to lists Add to cart (remove)
	285.	Proceedings on optimal algorithms by Djidjev H Ed. by Djidjev H Ed International symposium on optimal algorithms (1989 : Bulgaria) Series: Lecture notes in computer science; 401 Material type: 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. Place hold Save to lists Add to cart (remove)
	286.	Proceedings on operating systems by Gelenbe E Ed.; Kaiser C Ed. by Gelenbe E Ed International symposium on operating system (1974 : Rocquencourt) Kaiser C Ed Series: Lecture notes in computer science; 16 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Velag 1974 Availability: Items available for loan: Central Science Library (1)Collection, call number: B28930abD65,8(B)p1,N74 113L4. Place hold Save to lists Add to cart (remove)
	287.	Proceeding on automatic demonstration by Laudet M Ed.; Lacomde D Ed.; Nolin L Ed. by Laudet M Ed International conference on automatic demonstration (1968 : France) Lacomde D Ed Nolin L Ed Series: Lecture notes in mathematics; 125 Material type: 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. Place hold Save to lists Add to cart (remove)
	288.	Differential operators on manifolds by Vesentini E Ed. by Vesentini E Ed Series: CIME summer schools, 70 Material type: 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: B48 Q0 TB. Place hold Save to lists Add to cart (remove)
	289.	Proceeding on stacs 90 by Choffrut C Ed.; Lengauer T Ed. by Choffrut C Ed Annual symposiun on theortical aspects of computer science (7 : 1990 : Rouen) Lengauer T Ed Series: Lecture notes in computer science; 415 Material type: 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. Place hold Save to lists Add to cart (remove)
	290.	Plasma physics: Basic theory with fusion applications by Nishikawa K; Wakatani M by Nishikawa K Wakatani M Series: Springer series on atoms and plasmas; 8 Material type: 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: C9B58 N0. Place hold Save to lists Add to cart (remove)
	291.	Proceedings on software engineering education by Gibbs Norman E Ed. by Gibbs Norman E Ed SEI conference on software engineering education (1989 : Pennsylvania USA) Series: Lecture notes in computer science; 376 Material type: 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. Place hold Save to lists Add to cart (remove)
	292.	Numerische behandlung nichtilearer integrodifferential und differentialgleichungen by Ansorge R Ed.; Tornig W Ed. by Ansorge R Ed Tornig W Ed Series: Lecture notes in mathematics; 395 Material type: 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 113L3. Place hold Save to lists Add to cart (remove)
	293.	Error detection and recovery in robotics by Donald B R by Donald B R Series: Lecture notes in computer science; 336 Material type: 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: D6:(S:72) M9. Place hold Save to lists Add to cart (remove)
	294.	Proceeding on distributed algorithms by Bermond J C Ed.; Raynal M Ed. by Bermond J C Ed International workshop on distributed algorithms (3 : 1989 : Nice) Raynal M Ed Series: Lecture notes in computer science; 392 Material type: 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):B288p1,N89 M9. Place hold Save to lists Add to cart (remove)
	295.	Proceeding on advances in cryptology eurocrypt 87 by Chaum D Ed.; Price W L Ed. by Chaum D Ed Workshop on advances in cryptology eurocrypt 87 (1987 : Amsterdam) Price W L Ed Series: Lecture notes in computer science; 304 Material type: 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,N87 M8. Place hold Save to lists Add to cart (remove)
	296.	Conference on multiobjective problems of mathematical programming by Lewandwski A Ed.; Volkovich V Ed. by Lewandwski A Ed Volkovich V Ed Series: Lecture notes in economics and mathematical systems Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Pp1,N88 N1. Place hold Save to lists Add to cart (remove)
	297.	Proceedings on optimization and operation research by Oettli W Ed.; Ritter K Ed. by Oettli W Ed Conference on optimization and operation research (1975 : Coberwolfach) Ritter K Ed Series: Lectures notes in economics and mathematical system 117; 117 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893p1,N75 L6. Place hold Save to lists Add to cart (remove)
	298.	Atlas of mylonites-and related microsturctures by Trouw Rudolph A J; Passchier Cees W; Wiersma Dirk J by Trouw Rudolph A J Passchier Cees W Wiersma Dirk J Material type: 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: H3f Q0 TH. Place hold Save to lists Add to cart (remove)
	299.	Nested relations and complex objects in database by Abiteboul S Ed.; Fischer P C Ed.; Schek H J Ed. by Abiteboul S Ed Fischer P C Ed Schek H J Ed Series: Lecture Notes in Computer Science; 361 Material type: 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 M9. Place hold Save to lists Add to cart (remove)
	300.	Proceedings on high performance transaction systems by Gawlick D Ed.; Haynie M Ed. by Gawlick D Ed International workshop on high performance transaction systems (2nd : 1987 : Pacific Grove USA) Haynie M Ed Series: Lecture notes in computer science; 359 Material type: 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,N87 M9. Place hold Save to lists Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Places

Topics

Your search returned 7678 results.