Your search returned 1547 results.

1101.

Proceeding on logic programming by

Series: Lectuer notes in computer science; 221

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.

1102.

Proceeding on mathematical foundations of programming language semantics by

Series: Lecture notes in computer science; 298

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,N87 M8.

1103.

Proceeding on Mathematical foundations of programming semantics by

Series: Lecture notes in computer science; 239

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.

1104.

Proceeding on mathematical foundations of software development by

Series: Lecture notes in computer science; 185

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)92 M5.

1105.

Proceeding on parallel computinng by

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.

1106.

Proceeding on parcella 88 by

Series: Lecture notes in computer science; 342

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.

1107.

Proceeding on Parle: parallel architectures and languages europe by

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.

1108.

Proceeding on Parle: Parallel architectures and languages Europe by

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.

1109.

Proceeding on programming by

Series: Lecture notes in computer science; 137

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: B2893Pp1,N82 M2.

1110.

Proceeding on programming by

Series: Lecture notes in computer science; 167

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1984

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

1111.

Proceeding on research and development in expert systems by

Series: British computer society workshop series

Material type:

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

Language: English

Publication details: Cambridge Cambridge University Press 1984

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

1112.

Proceeding on software engineering education by

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.

1113.

Proceeding on software science and engineering by

Series: Lecture notes in computer science; 220

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

1114.

Proceeding on systems design for with and by the users 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)92:4p1,N82 M3-;1.

1115.

Proceeding on systems design for with and by the users 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)92:4p1,N82 M3-;1.

1116.

Proceeding on TAPSOFT`89 by

Series: Lecture notes in computer science; 352

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

1117.

Proceeding on theory and practice of software development by

Series: Lecture notes in compuer science; 250

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

1118.

Proceeding on trees in algebra and programming by

Series: Lecture notes in Computer science; 112

Material type:

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

Language: English

Publication details: Berlin Springer-verlag 1981

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

1119.

Proceeding on trees in algebra and programming by

Series: Lecture notes in computer science; 214

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

1120.

Proceeding on Trees in algebra and programming (CAAP'90) by

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.

1121.

Proceeding on VDM88:The way ahead by

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.

1122.

Proceeding on visualization in programming by

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.

1123.

Proceeding programming methodology by

Series: Lecture notes in computer science; 23

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

1124.

Proceedings formal language description language for computer programming ed by T B Steel by

Material type:

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

Language: English

Publication details: Amsterdam North Hollan 1966

Availability: Items available for loan: Arts Library (1)Collection, call number: P:(D65,8(B)) K61 (PD).

1125.

Proceedings ed by Artio Salomaa and Magnus steinby by

Series: Lecture notes in computer

Material type:

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

Language: English

Publication details: Berlin Springer Verlag 1977

Availability: Items available for loan: Arts Library (1)Collection, call number: P:(D65,8(B))p1:N77 L7.

1126.

Proceedings on ada software tools interfaces by

Series: Lecture notes in computer science; 180

Material type:

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

Language: English

Publication details: Berlin Springer Veerlag 1984

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

1127.

Proceedings on algebraic algorithms and error-correcting codes by

Series: Lecture notes in computer science; 229

Material type:

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

Language: English

Publication details: 1986

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92ALp1,M85 M6.

1128.

Proceedings on applied algebra, algebraic algorithms and error-correcting codes by

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.

1129.

Proceedings on applied algebra, algorithmics and error-correcting codes by

Series: Lecture notes in computer science; 228

Material type:

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

Language: English

Publication details: 1986

Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92ALp1,M84 M6.

1130.

Proceedings on automata, language and programming by

Series: Lecture notes in computer science; 154

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

1131.

Proceedings on automata, languages and programming by

Series: Lecture notes in computer sciences; 226

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.

1132.

Proceedings on automata, languages and programming by

Series: Lecture notes in computer science; 372

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.

1133.

Proceedings on CAAP'83 by

Series: Lecture notes in computer science; 159

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(B44)p1,N83 M3.

1134.

Proceedings on CAAP'88 by

Series: Lecture notes in computer science; 299

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.

1135.

Proceedings on category theory and computer programming by

Series: Lecture notes in computer science; 240

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.

1136.

Proceedings on combinations and functional programming languages by

Series: Lecture notes in computer science; 242

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.

1137.

Proceedings on enduser systems and their human factors by

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.

1138.

Proceedings on Esop'88 by

Series: Lecture notes in computer science; 300

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.

1139.

Proceedings on ESOP86 by

Series: Lecture notes in computer science; 213

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.

1140.

Proceedings on formal methods and software development by

Series: Lecture notes in computer science; 186

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

1141.

Proceedings on foundations of software technology and theoretical computer science by

Series: Lecture notes in computer science; 241

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.

1142.

Proceedings on foundations of software technology and theoretical computer science by

Series: Lecture notes in computer science; 181

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1984

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

1143.

Proceedings on fromalization of programming concepts by

Series: Lecture notes in computer science; 107

Material type:

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

Language: English

Publication details: Berlin Springer - Verlag 1981

Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Pp1,N81 M1.

1144.

Proceedings on high performance transaction systems by

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.

1145.

Proceedings on logic programming by

Series: Lecture notes in computer science; 225

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.

1146.

Proceedings on logic programming'86 by

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.

1147.

Proceedings on logic programming'88 by

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.

1148.

Proceedings on mathematical methods of specification and synthesis of software system'85 by

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.

1149.

Proceedings on mathematics of program construction by

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.

1150.

Proceedings on operating systems: Specification and design of software systems by

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.

First
Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Next
Last

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 1547 results.