Your search returned 345 results.

Results
	1.		Modern cryptology by Brassard Gilles by Brassard Gilles Series: Lecture notes in computer science; 325 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) M8. Place hold Save to lists Add to cart (remove)
	2.		Proceeding on supercomputing by Houstis E N Ed.; Papatheodrou T S Ed. by Houstis E N Ed International conference on supercomputing (1987 : Athens) Papatheodrou T S Ed Series: Lecture notes in computer science; 297 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)
	3.		Proceeding on electronic dictionaries and automata in computational linguistics by Gross M Ed.; Perrin D Ed. by Gross M Ed LITP spring school on electronic dictionaries and automata in computational linguistics (1987 : France) Perrin D Ed Series: Lecture notes in computer science; 377 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,N87 M9. Place hold Save to lists Add to cart (remove)
	4.		Proceeding on automata networks by Choffrut C Ed. by Choffrut C Ed LITP spring school on theoretical computer science (1986 : France) Series: Lecture notes in computer science; 316 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,N86 M8. Place hold Save to lists Add to cart (remove)
	5.		From logic design to logic programming by Snyers Dominique; Thayse Andre by Snyers Dominique Thayse Andre Series: Lecture Notes in Computer Science; 271 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)
	6.		Direct methods for sparse matrices by Zlatev Zahari by Zlatev Zahari Series: Lecture notes in computer science; 157 Material type: 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)0bB245 M3. Place hold Save to lists Add to cart (remove)
	7.		Concepts, design and performance analysis of a parallel prolog machin by Beer Joachim by Beer Joachim Series: Lecture notes in computer science; 404 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)92Pr0 M9. Place hold Save to lists Add to cart (remove)
	8.		Modified branching programs and their computational power by Meinel Christoph by Meinel Christoph Series: Lecture notes in computer science; 370 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)
	9.		Proceeding on parallel computinng by Vanzee G A Ed.; Vorst J J G Ed. by Vanzee G A Ed Shell conference on parallel computing (1988 : Amsterdan) Vorst J J G Ed Series: Lecture notes in computer science; 384 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York 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)
	10.		Eifficient structures for geometric data management by Gunther Oliver by Gunther Oliver Series: Lecture notes in computer science; 337 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) M8. Place hold Save to lists Add to cart (remove)
	11.		Proceedings on enduser systems and their human factors by Blaser A Ed.; Zoeppritz M Ed. by Blaser A Ed Scientific symposium on euduser systems and their human factors (1983 : Germany) Zoeppritz M Ed Series: Lecture notes in computer science; 150 Material type: 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,N83 M3. Place hold Save to lists Add to cart (remove)
	12.		Review of ada tasking by Burns Alan; Lister Andrew M; Wellinos Andrewn J by Burns Alan Lister Andrew M Wellinos Andrewn J Series: Lecture notes in computer science; 262 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)
	13.		ANNA: A language for annotating ada programs by Luckham David C; Von Henke Friedrich W; Krieg-Bruckner Bernd by Luckham David C Krieg-Bruckner Bernd Von Henke Friedrich W Series: Lecture notes in computer science; 260 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)92AN M7. Place hold Save to lists Add to cart (remove)
	14.		Algorithms for parallel polygon rendering by Theoharis T by Theoharis T Series: Lecture notes in computer science; 373 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) M9. Place hold Save to lists Add to cart (remove)
	15.		Proceeding on local area network by Berson T A Ed.; Beth T Ed. by Berson T A Ed Proceeding on local area network (1989 : Karlsruhe) Beth T Ed Series: Lecture Notes in Computer Science; 396 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)-4 M9. Place hold Save to lists Add to cart (remove)
	16.		Proceedings on operating systems: Specification and design of software systems by Knuth E Ed.; Neuhold EJ Ed. by Knuth E Ed Conference on specification and design of software systems (1982 : Hungary) Neuhold EJ Ed Series: Lecture notes in computer science; 152 Material type: 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)92:4p1,N82 M3;1. Place hold Save to lists Add to cart (remove)
	17.		Proceedings on software engineering education by Deimel Lionel E Ed. by Deimel Lionel E Ed SEI conference on software engineering education (1990 : Pittsburgh) Series: Lecture notes in computer science; 423 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,N90 N0. Place hold Save to lists Add to cart (remove)
	18.		Cray X-MP/model 24: A case study in pipelined architecture and vector processing by Robbins Kay A; Robbins Steven by Robbins Kay A Robbins Steven Series: Lecture notes in computer science; 374 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York 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)
	19.		Finite representations of CCS and TCSP programs by Automata and petri nets by Taubner Dirk by Taubner Dirk Series: Lecture notes in computer science; 369 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)-4N60 M9. Place hold Save to lists Add to cart (remove)
	20.		Attribute grammer inversion and source to source translation by Yellin Daniel M by Yellin Daniel M Series: Lecture notes in computer science; 302 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):(P:4) M8. Place hold Save to lists Add to cart (remove)
	21.		Proceedings on logic programming'86 by Wada Eiiti Ed. by Wada Eiiti Ed Conference on logic programming'86 (5 : 1986 : Japan) Series: Lecture notes in computer science; 264 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)92L0p1,N86 M7. Place hold Save to lists Add to cart (remove)
	22.		Connotational theory of program structure by Royer James S by Royer James S Series: Lecture notes in computer science; 273 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. Place hold Save to lists Add to cart (remove)
	23.		SIL-simulation language by Houbak Niels by Houbak Niels Series: Lecture notes in computer science; 426 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)92SIL N0. Place hold Save to lists Add to cart (remove)
	24.		Proceedings on trends in computer algebra by Janben R Ed. by Janben R Ed International symposium on tends in computer algebra (1987 : Bad Neuenahr) Series: Lecture notes in computer science; 296 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(B2)p1,N87 M8. Place hold Save to lists Add to cart (remove)
	25.		Proceeding on Parallel Algorithms and architectures by Albrecht A Ed.; Jung H Ed.; Mehlhorn K Ed. by Albrecht A Ed International workshop on parallel algorithms and architectures (1987 : Suhl German) Jung H Ed Mehlhorn K Ed Series: Lecture notes in computer science; 269 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):(B288) M7. Place hold Save to lists Add to cart (remove)
	26.		Proceeding on software engineering education by Ford G A Ed. by Ford G A Ed SEI conference on software engineering education (1988 : Virginia) Series: Lecture notes in computer science; 327 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)92p1,N88 M8. Place hold Save to lists Add to cart (remove)
	27.		Proceeding on visualization in programming by Gorny P Ed.; Tauber M J Ed. by Gorny P Ed Workshop on informatics and psychology (5 : 1986 : Scharding Austria) Tauber M J Ed Series: Lecture notes in computer science; 282 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,N86 M7. Place hold Save to lists Add to cart (remove)
	28.		Proceeding on formal aspects of cognitive processes by Storer Thomas Ed.; Winter David Ed. by Storer Thomas Ed Interdisciplinary congerence on formal aspects of congnitive processes (1973 : Arbor) Winter David Ed Series: Lecture notes in computer science; 22 Material type: 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: D6:78p1,N72 L5. Place hold Save to lists Add to cart (remove)
	29.		Proceeding on wopplot 86: Parallel processing:logic , organization and technology by Becker J D Ed.; Eisele I Ed. by Becker J D Ed Workshop on wopplot 86 parallel processing : logic , organization and technilogy (1986 : Neubibery Germany) Eisele I Ed Series: Lecture notes in computer science; 253 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. Place hold Save to lists Add to cart (remove)
	30.		Proceeding on analogical and inductive inference by Jantke K P Ed. by Jantke K P Ed International workshop on analogical and inference (1986 : Wedisch Riet) Series: Lecture notes in computer science; 265 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)
	31.		Proceeding on formal techaniques in real time and fault tolerant systems by Josepn M Ed. by Josepn M Ed Symposium on formal techaniques in real time and fault tolerant systems (1988 : Warwick U K) Series: Lecture notes in computer science; 331 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)
	32.		Proceeding on mathematical models for the semantics of parallelismi by Zilli M V Ed. by Zilli M V Ed Advanced school on mathematical models for the semantics of parallelism (1987 : Rome) Series: Lecture notes in computer science; 280 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,N87 M7. Place hold Save to lists Add to cart (remove)
	33.		Attribute grammars by Deransart Pierre; Jourdan Martin; Lorho Bernard by Deransart Pierre Jourdan Martin Lorho Bernard Series: Lecture notes in computer science; 323 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):(P:H) M8. Place hold Save to lists Add to cart (remove)
	34.		Proceedings on software science and engineering by Goto Eiichi Ed.; Furukawa Koichi Ed. by Goto Eiichi Ed RIMS symposium on software science and engineering (1982 : Kyoto) Furukawa Koichi Ed Series: Lecture notes in computer science; 147 Material type: 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. Place hold Save to lists Add to cart (remove)
	35.		Compiler, compilers and high speed compilation by Hammer D Ed. by Hammer D Ed Workshop on compiler compilers and high speed compilation (2nd : 1988 : Berlin) Series: Lecture notes in computer science; 371 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)922 M9. Place hold Save to lists Add to cart (remove)
	36.		Proceedings on mathematical methods of specification and synthesis of software system'85 by Bibel W Ed.; Jantke K P Ed. by Bibel W Ed Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz) Jantke K P Ed Series: Lecture notes in computer science; 215 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)92p1,N85 M6. Place hold Save to lists Add to cart (remove)
	37.		Proceeding on mathematical fundamentals of database systems by Biskup J Ed.; Demetrovics J Ed.; Paredaens J Ed. by Biskup J Ed Symposium on M F D B S`87 (1 : 1987 : Dresden) Demetrovics J Ed Paredaens J Ed Series: Lecture notes in computer science; 305 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):3(B)p1,N87 M8. Place hold Save to lists Add to cart (remove)
	38.		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)
	39.		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)
	40.		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)
	41.		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)
	42.		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)
	43.		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)
	44.		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)
	45.		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)
	46.		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)
	47.		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)
	48.		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)
	49.		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)
	50.		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)

1
2
3
4
5
6
7
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 345 results.