Your search returned 346 results.

101.

Nested relations and complex objects in database by

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.

102.

Networking in open systems by

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.

103.

NEWCAT: parsing natural languages using left-associative grammar 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.

104.

On the intergration of algebric functions by

Davenport James Harold

Series: Lecture notes in computer science; 102

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: B33:52 M1.

105.

Operating systems: an advanced course by

Series: Lecture notes in computer science; 60

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(B)91 L81.

106.

Optimized translation pracess and its applications to algol 68 by

Series: Lecture notes in computer science; 38

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: B2893P0bD65,8(B) L61.

107.

P-functions and boolean matrix factorization by

Thayse Andre

Series: Lecture notes in computer science; 175

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: B245 M5.

108.

Papers on category theory and computer science by

Series: Lecture notes in computer science; 389

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)oaB2-316 M9.

109.

Papers on Rechner-gestutzter unterricht by

Series: Lecture notes in computer science; 17

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: D65,8(B)0bT 113L4.

110.

Papers: Jahrestagung by

Series: Lecture notes in computer science; 1

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: B2893Px 113L3.

111.

Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types by

Sherman Mark steven

Series: Lecture notes in computer science; 189

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

112.

Parallel computing in science and engineering by

Series: Lecture notes in computer science; 295

Material type:

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

Language: English

Publication details: Berlin4 Springer-Verlag 1988

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

113.

Petri nets: applications and relationships to other models of concurrency by

Series: Lecture notes in computer science; 255

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

114.

Petri nets: Central models and their properties by

Series: Lecture notes in computer science; 254

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

115.

Portal language description by

Businger Arnold

Series: Lecture notes in computer science; 198

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

116.

Problems and methodologies in mathematical software production by

Series: Lecture notes in computer science

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)92p1,N80 M2.

117.

Procceding on theory and practice of software development by

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.

118.

Proceeding Formal aspects of cognitive processes by

Series: Lecture notes in computer science

Material type:

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

Language: English

Publication details: New York Springer Verlag USA 1975

Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: D6,9(B):(S:4)p,N72 L5.

119.

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.

120.

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.

121.

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.

122.

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.

123.

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.

124.

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.

125.

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.

126.

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.

127.

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.

128.

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.

129.

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.

130.

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.

131.

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.

132.

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.

133.

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.

134.

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.

135.

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.

136.

Proceeding on analysing problem classes and programing for parallel computing by

Series: Lecture notes in computer science; 111

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: D65,8(B)92 M1.

137.

Proceeding on automata languages and programming by

Series: Lecture notes in computer science; 62

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(B)92p1,N78 L8.

138.

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.

139.

Proceeding on automata on infinite words by

Series: Lecture notes in computer science; 192

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: B28932 M5.

140.

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.

141.

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.

142.

Proceeding on automated deduction by

Series: Lecture notes in computer science; 310

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: B:(R1)p1,N88 M8.

143.

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.

144.

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.

145.

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.

146.

Proceeding on Coding theory and applications by

Series: Lecture notes in computer science; 388

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: B28Np1,N88 M9.

147.

Proceeding on Coding theory and applications by

Series: Lecture notes in computer science; 311

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: B28Np1,N86 M8.

148.

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.

149.

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.

150.

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.

First
Previous
1
2
3
4
5
6
7
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 346 results.