Your search returned 7855 results.

6001.

Proceeding of Stepwise refinement of distributed systems:models formalisms , correctness by

Series: Lecture notes in computer science; 430

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.

6002.

Proceeding of VLSI algorithms architectures by

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.

6003.

Proceeding on academic education in computer science by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York SIGCSE 1970

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(T4)p1,N70 L0.

6004.

Proceeding on accurate scientific computations by

Series: Lecture notes in computer science; 235

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)p1,N85 M6.

6005.

Proceeding on advanced programming environments by

Series: Lecture notes in computer science; 244

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,N86 M6.

6006.

Proceeding on advances in cryptology by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1984

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N83 M4.

6007.

Proceeding on advances in cryptology by

Series: Lecture notes in computer science; 209

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)p1,N84 M5.

6008.

Proceeding on advances in cryptology by

Series: Lecture notes in computer science; 196

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)p1,N84 M5.

6009.

Proceeding on advances in cryptology crypto 86 by

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.

6010.

Proceeding on advances in cryptology crypto 87 by

Series: Lecture notes in computer science; 293

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.

6011.

Proceeding on advances in cryptology crypto'88 by

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.

6012.

Proceeding on advances in cryptology eurocrypt 87 by

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.

6013.

Proceeding on advances in cryptology eurocrypt 88 by

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.

6014.

Proceeding on advances in crytology by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1983

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N82 M3.

6015.

Proceeding on advances in database technology by

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.

6016.

Proceeding on advances in object oriented databases systems by

Series: Lecture notes in computer science; 334

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):3p1,N88 M8.

6017.

Proceeding on algebraic and logic programming by

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.

6018.

Proceeding on algorithms and data structures by

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.

6019.

Proceeding on algorithms in mathematics and computer science by

Series: Lecture notes in computer science; 122

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1980

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N79 M0.

6020.

Proceeding on analogical and inductive inference by

Series: Lecture notes in artifical intelligence; 397

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.

6021.

Proceeding on analogical and inductive inference by

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.

6022.

Proceeding on analysis of concurrent systems by

Series: Lectuer notes in computer science; 207

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)p1,N83 M5.

6023.

Proceeding on association for computing machinery by

Natioal conference on association for computing machinery (1964 : Pennsylvania)

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Association For Computing Machinery 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p73,N64 K4.

6024.

Proceeding on automata languages and programming by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North Holland 1973

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N72 L31.

6025.

Proceeding on automata langueges and programming by

Series: Lectuer notes in computer science; 267

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.

6026.

Proceeding on automata networks by

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.

6027.

Proceeding on automata, languages and programming by

Series: Lecture notes in computer science; 317

Edition: 16

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.

6028.

Proceeding on automata, languages and programming by

Series: Lecture notes in computer science; 14

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

6029.

Proceeding on automated deduction by

Series: Lecture notes in computer science; 138

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: D65,8(B)p1,N82 M2.

6030.

Proceeding on automated deduction by

Series: Lecture notes in computer science; 230

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)p1,N86 M6.

6031.

Proceeding on automatic demonstration by

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.

6032.

Proceeding on automatic verification methods for finite state systems by

Series: Lecture notes in computer science; 407

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):81 N0.

6033.

Proceeding on CAD systems framework by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1983

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):4p1,N82 M3.

6034.

Image from Amazon.com

Image from Coce

Proceeding on classification-the ubiquitous challenge by

Series: Studies in classification , data analysis, and knowledge organization

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: D65,8(B):(2:55)p1,P04 P5.

6035.

Proceeding on complexity of sequential and parallel numerical algorithme by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1973

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p73,N73 L3.

6036.

Proceeding on computation theory by

Series: Lecture notes in computer science; 208

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)p1,N84 M5.

6037.

Proceeding on computational geometry and its applications by

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.

6038.

Proceeding on computer aided systems theory-Eurocast'89 by

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.

6039.

Proceeding on Computer algebra by

Series: Lecture notes in computer science; 144

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: D65,8(B25)p1,N82 M2.

6040.

Proceeding on computer applictions by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1958

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):9p1;N62 J8.

6041.

Proceeding on computer assisted learning scope progress and limits by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1980

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N79 M0.

6042.

Proceeding on computer assisted learning by

Series: Lecture notes in computer science; 360

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.

6043.

Proceeding on Computer performance evaluation by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam Elsevies 1992

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B288) N2.

6044.

Image from Amazon.com

Image from Coce

Proceeding on Computer performance evaluation: modelling techniques and tools, 7th international conference Vienna, Austria, May 1994 proceedings by

Series: Lecture notes in computer science; 794

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer-Verlag 1994

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):4:atp1,N94 N4.

6045.

Proceeding on computer performance modelling, measurment and and evaluation by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1976

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)91:fp1,N81 M1.

6046.

Proceeding on computer program testing by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North Holland 1981

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92:81p1,N81 M1.

6047.

Proceeding on computer science and statistics by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Springer Verlag 1981

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0aB28p1,N81 M1.

6048.

Proceeding on computer simulation by

UKSC conference on computer simulation (1978 : England)

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1978

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N78 L8.

6049.

Proceeding on computer standerds evolution by

Conference on computer standerd evoluation (1988 : Washington)

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Washington Computer Society Press 1988

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N88 M8.

6050.

Proceeding on computer vision ECCV 90 by

Series: Lecture notes in computer science; 427

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)-45 N0.

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 7855 results.