Your search returned 7476 results.

Results
	301.	LOGLAN'88-Report on the programming language by Kreczmar Antoni; Salwicki Andrzej; Warpechowski M by Kreczmar Antoni Salwicki Andrzej Warpechowski M Series: Lecture notes in computer science; 414 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)92L0 N0. Place hold Save to lists Add to cart (remove)
	302.	Proceeding on geometry and rabbits by Boissonnat J D Ed.; Laumond J P Ed. by Boissonnat J D Ed Workshop on geometry and robotics (1988 : France) Laumond J P Ed Series: Lecture notes in computer science; 391 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)0aB6p1,N88 M9. Place hold Save to lists Add to cart (remove)
	303.	Group theoretical methods in image processing by Lenz Reiner by Lenz Reiner Series: Lecture notes in computer science; 413 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):(B27) N0. Place hold Save to lists Add to cart (remove)
	304.	Proceedings on mathematics of program construction by Vande snepscheut J L A Ed. by Vande snepscheut J L A Ed International conference on mathematics of program construction (1989 : Netherlands) Series: Lecture notes in computer science; 375 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)
	305.	Proceedings on programming by Robinet B Ed. by Robinet B Ed Symposium on programming (1974 : Paris) Series: Lecture notes in computer science; 19 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: B2893P0bD65,8(B)p1,N74 L4. Place hold Save to lists Add to cart (remove)
	306.	Proceeding on computer aided systems theory-Eurocast'89 by Pichler F Ed.; Moreno-Diaz R Ed. by Pichler F Ed International workshop on computer aided systems theory-Eurocast'89 (1989 : Spain) Moreno-Diaz R Ed Series: Lecture notes in computer science; 410 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):(X:89M)p1,N89 N0. Place hold Save to lists Add to cart (remove)
	307.	Proceeding on mathematical fundamentals of database systems by Demetrovics J Ed.; Thalheim B Ed. by Demetrovics J Ed Symposium on mathematical fundamentals of database systems (2 : 1989 : Visegrad Hungary) Thalheim B Ed Series: Lecture notes on computer science; 364 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):3p1,N89 M9. Place hold Save to lists Add to cart (remove)
	308.	Proceeding on esop qo by Jones N Ed. by Jones N Ed European symposium on esop qo (3 : 1990 : Copenhagen) Series: Lecture Notes in Computer Science; 432 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)92p1 N0. Place hold Save to lists Add to cart (remove)
	309.	Advance in petri nets 1988 by Rozenberg G Ed. by Rozenberg G Ed Series: Lecture notes in computer science; 340 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)92 M8. Place hold Save to lists Add to cart (remove)
	310.	Networking in open systems by Muller Gunter Ed.; Blanc Robert P Ed. by Muller Gunter Ed International seminar on networking in open systems (1986 : Austria) Blanc Robert P Ed Series: Lecture notes in computer science; 248 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)
	311.	Continuous transformations in analysis by Rado T; Reichelderfer P U by Rado T Reichelderfer P U Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1954 Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 J54;1. Place hold Save to lists Add to cart (remove)
	312.	Computation theory and logic by Borger Egon Ed. by Borger Egon Ed Series: Lecture notes in computer science; 270 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):(R1) M7. Place hold Save to lists Add to cart (remove)
	313.	Temporal logic in specification by Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed. by Banieqbal B Ed Barringer H Ed Pnueli A Ed Series: Lecture notes in computer science; 398 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):5:(R1) M9. Place hold Save to lists Add to cart (remove)
	314.	Proceeding on advances in database technology by Bancilhon F Ed.; Thanos E Ed.; Tsichritzis D Ed. by Bancilhon F Ed International conference on advances in database technology (1990 : Italy) Thanos E Ed Tsichritzis D Ed Series: Lecture notes in computer science; 416p 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):3p1,N0 N0. Place hold Save to lists Add to cart (remove)
	315.	Proceeding on statistical and scientific database management by Rafanelli M Ed.; Klensin J C Ed.; Svensson P Ed. by Rafanelli M Ed International conference on statistical and scientific database management (4 : 1988 : Rome) Klensin J C Ed Svensson P Ed Series: Lecture notes in computer science; 339 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:(X:8)p1,N88 M9. Place hold Save to lists Add to cart (remove)
	316.	Proceedings on graph-theoretic concepts in computer science by Van leeuwen J Ed. by Van leeuwen J Ed International workshop on graph-theoretic concepts in computer science (1988 : Netherlands) Series: Lecture notes in computer science; 344 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,N88 M8. Place hold Save to lists Add to cart (remove)
	317.	Non linear oscillations, dynamical systems and bifurcations of vector fields by Guckenheimer John; Holmes Philip by Guckenheimer John Holmes Philip Series: Applied mathematical sciences; 42 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer Verlag 1983 Availability: Items available for loan: Central Science Library (1)Collection, call number: B7:53 M3;1. Place hold Save to lists Add to cart (remove)
	318.	Computational methods in optimal control problems by Mufti I H by Mufti I H Series: Lecture notes in operations research and mathematical systems; 2 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: B28930bD65,8(B) L01. Place hold Save to lists Add to cart (remove)
	319.	Volumes, limits and extensions of analytic varieties by Stolzenberg Gabriel by Stolzenberg Gabriel Series: Lecture notes in mathematics; 19 Material type: 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: B37:2 K6. Place hold Save to lists Add to cart (remove)
	320.	Proceedings on AI'88 by Barter C J Ed.; Brooks M J Ed. by Barter C J Ed Symposium on AI'88 (1988 : Adelaide Australia) Brooks M J Ed Series: Lecture notes in artificial intelligence; 406 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)p1,N88 N0. Place hold Save to lists Add to cart (remove)
	321.	Proceeding on Parle: Parallel architectures and languages Europe by De Bakker J W Ed.; Nijman A J Ed.; Treleaven P C by De Bakker J W Ed Conference on parle: Parellel architectures and languages Europe (1987 : Eindhoven) Nijman A J Ed Treleaven P C Series: Lecture notes in computer science; 259 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)92 M7.2. Place hold Save to lists Add to cart (remove)
	322.	Proceeding on advances in cryptology eurocrypt 88 by Gunther C G Ed. by Gunther C G Ed Working advances in cryptology eurocrypt 88 (1988 : Davos) Series: Lecture notes in computer science; 330 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,N88 M8. Place hold Save to lists Add to cart (remove)
	323.	Proceeding of VLSI algorithms architectures by Reif J H Ed. by Reif J H Ed Aegean workshop on VLSI algorithms and architectures (3 : 1988 : Greece) Series: Lecture notes in computer science; 319 Material type: 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: D65,8(B)2:11p1,N88 M8. Place hold Save to lists Add to cart (remove)
	324.	Proceeding on parle 89 parallel architectuers and languages europe by Odijk E Ed.; Rem M Ed. by Odijk E Ed Symposium on parle 89 parallel architectures and languages europe (1989 : Netherland) Rem M Ed Series: Lecture notes in computer science; 365 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.1. Place hold Save to lists Add to cart (remove)
	325.	Proceeding on Parle: parallel architectures and languages europe by De Bakker J W Ed.; Nijman A J Ed. by De Bakker J W Ed Conference on parle: Parellel architect ures and lenguages Europe (1987 : Eindhoven) Nijman A J Ed Series: Lecture notes in computer science; 258 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)92 M7.1. Place hold Save to lists Add to cart (remove)
	326.	Proceedings on applied algebra, algebraic algorithms and error-correcting codes by Mora T Ed. by Mora T Ed Symposium on applied algebra, algebraic algorithms and error-correcting codes (6th : 1988 : Rome Italy) Series: Lecture notes in computer science; 357 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)92ALp1,M88 M9. Place hold Save to lists Add to cart (remove)
	327.	Proceedings on geometric applications of homotopy theory by Barratt M G Ed.; Mahowald M E by Barratt M G Ed Conference on geometric applications of homotopy theory (1977 : Evanston) Mahowald M E Series: Lecture notes in mathematics; 658 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: B316p1,N77 L8. Place hold Save to lists Add to cart (remove)
	328.	Proceeding on advances in cryptology crypto 86 by Odlyzko A M Ed. by Odlyzko A M Ed Symposium on advances cryptology crypto 86 (1986 : California) Series: Lecture notes in computer science; 263 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)p1,N86 M7. Place hold Save to lists Add to cart (remove)
	329.	On round-off errors in linear programming by Merbach Muller H by Merbach Muller H Series: Lecture notes in operations research and mathematical system; 37 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: B2893P L04. Place hold Save to lists Add to cart (remove)
	330.	Future parallel computers by Trelfaven P; Vanneschi M by Trelfaven P Vanneschi M Series: Lecture notes in computer science; 272 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):(R1) M7. Place hold Save to lists Add to cart (remove)
	331.	Proceeding on fundamentals of computation theory by Csirik J Ed.; Demetrovics J Ed. by Csirik J Ed International conference on fundamentals of computation theory (1989 : Hungary) Demetrovics J Ed Series: Lecture notes in computer science; 380 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2000 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N89 M9. Place hold Save to lists Add to cart (remove)
	332.	Proceeding on ESEC'89 by Ghezzi G Ed.; Mcdermio J A Ed. by Ghezzi G Ed European software engineering confernce (2 : 1989 : Warwick) Mcdermio J A Ed Series: Lecture notes in computer science; 387 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)
	333.	Advances in petri nets 1985 by Rozenberg G Ed. by Rozenberg G Ed Series: Lecture notes in computer science; 222 Material type: 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. Place hold Save to lists Add to cart (remove)
	334.	Proceeding on VDM88:The way ahead by Bloomfield R Ed.; Marshall L Ed. by Bloomfield R Ed VDM europe symposium on VDM88: The way ahead (2 : 1988 : Durblin) Marshall L Ed Series: Lecture notes incomputer science; 328 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)92p5931,N88 M8. Place hold Save to lists Add to cart (remove)
	335.	Proceeding on foundations of software technology and theoretical computer science by Nori KV Ed.; Kumar S Ed. by Nori KV Ed Symposium on foundations of software technology and theoretical computer science (8 : 1988 : Puna India) Kumar S Ed Series: Lecture notes in computer science; 338 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)92p1,N88 M8. Place hold Save to lists Add to cart (remove)
	336.	Advances in petrinets 1989 by Rozenberg Grzegorz Ed. by Rozenberg Grzegorz Ed Series: Lecture notes in computer science; 424 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)-4N60un1:N89 N0. Place hold Save to lists Add to cart (remove)
	337.	Proceedings on new trends in nonlinear control theory by Descusse J Ed.; Fliess M Ed. by Descusse J Ed International conference on new trends in nonlinear control theory (1988 : Nantes France) Fliess M Ed Series: Lecture notes in control and information sciences; 122 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: B28931p1,N88 M9. Place hold Save to lists Add to cart (remove)
	338.	Algebraic topology by Spanier E H by Spanier E H Material type: 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. Place hold Save to lists Add to cart (remove)
	339.	Proceeding on foundations of data organization and algorithms by Schek H J Ed.; Litwin W Ed. by Schek H J Ed International conference on foundations of data organization and algorithms (3 : 1989 : Paris) Litwin W Ed Series: Lecture notes in computer science; 367 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,N89 M9. Place hold Save to lists Add to cart (remove)
	340.	Proceeding on foundations of software technology and theoretical computer science by Nori Kesav V Ed. by Nori Kesav V Ed Symposium on foundations of software technology and theortical computer science (1987 : Puna India) Series: Lecture notes in computre science; 287 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. Place hold Save to lists Add to cart (remove)
	341.	Flat manifolds by Kamber Franz; Tondeur Philippe by Kamber Franz Tondeur Philippe Series: Lecture notes in mathematics; 67 Material type: 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. Place hold Save to lists Add to cart (remove)
	342.	NEWCAT: parsing natural languages using left-associative grammar by Hausser Roland by Hausser Roland Series: Lecture notes in computer science; 231 Material type: 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. Place hold Save to lists Add to cart (remove)
	343.	Proceeding on symbolic and algebraic computation by Gianni P Ed. by Gianni P Ed International symposium on symbolic and algebraic computation (1988 : Rome) Series: Lecture notes in computer science; 385 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):(B2)p1,N88 M9. Place hold Save to lists Add to cart (remove)
	344.	Proceeding on stacs 89 by Monien B Ed.; Cori R Ed. by Monien B Ed Annual symposium on therothical aspects of computer science (6 : 1989 : Paderborn) Cori R Ed Series: Lecture notes in copmuter science; 349 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,N89 M9. Place hold Save to lists Add to cart (remove)
	345.	Complex analysis by Freitag Eberhard; Busam Rolf by Freitag Eberhard Busam Rolf Series: Universitext Material type: 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. Place hold Save to lists Add to cart (remove)
	346.	Multipliers on locally compact groups by Parthasarathy K R; Schmidt K by Parthasarathy K R Schmidt K Series: Lecture notes in mathematics; 93 Material type: 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. Place hold Save to lists Add to cart (remove)
	347.	Proceeding on rewriting techniques and applications by Dershowtiz N Ed. by Dershowtiz N Ed International conference on rewriting techniques and applications (1989 : North Carolina) Series: Lecture notes in computer science; 355 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):(P)p1,N89 M9. Place hold Save to lists Add to cart (remove)
	348.	Proceedings on VDM'90 VDM and Z-Formal methods in software development by Bjorne D Ed.; Hoare A R Ed. by Bjorne D Ed International symposium on VDM'90 VDM and Z-Formal methods in software developement (3 : 1990 : Kiel) Hoare A R Ed Series: Lecture notes in computer science; 428 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)92N70p1:N90 N0. Place hold Save to lists Add to cart (remove)
	349.	Proceeding on algorithms and data structures by Dehne F Ed.; Sack J R Ed. by Dehne F Ed Workshop on algorithms and data structures (1989 : Ottawa) Sack J R Ed Series: Lecture notes in computer science; 382 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)91:(B288) M9. Place hold Save to lists Add to cart (remove)
	350.	Proceeding on advances in cryptology crypto'88 by Goldwasser S Ed. by Goldwasser S Ed Symposium on advances in cryptology crypto 88 (1988 : California) Series: Lecture notes in computer science; 403 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,N88 N0. 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

Topics

Your search returned 7476 results.