Your search returned 7622 results.

Image from Google Jackets

Proceeding on hardware specification verification and synthesis : Mathematical aspects by

Series: Lecture notes in computer science; 408

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,N89 N0.

Image from Google Jackets

Artifical intelligence EPIA 89 by

Series: Lectures notes in Computer Science:Lecture Notes in Artifical Intelligence; 390

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):(S:72) M9.

Image from Google Jackets

Proceeding on concurrency 88 by

Series: Lecture notes in computer science; 335

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.

Image from Google Jackets

Proceeding on K-throey arithnetic and geometry by

Series: Lecture notes in mathematics; 1289

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: Bp1,N84 M7.

Image from Google Jackets

Proceeding on CSL`88 by

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

Image from Google Jackets

Advanced information systems engineering by

Series: Lecture notes in computer science; 436

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(2:55) N0.

Image from Google Jackets

Rand-und eigenwertaufgaben in sobalewschen raumen by

Stummel F

Series: Lecture notes in mathematics; 102

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: B3 113K9.

Image from Google Jackets

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.

Image from Google Jackets

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.

Image from Google Jackets

Quantum Optics by

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: C5:8N N4.

Image from Google Jackets

Categorical methods in computer science: With aspects from topology by

Series: Lecture notes in computer science; 393

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

Image from Google Jackets

CSL'87 by

Series: Lecture notes in computer science; 329

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):(R1) M8.

Image from Google Jackets

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.

Image from Amazon.com

Image from Google Jackets

Image from Coce

Ordinary differential equations by

Arnold Vladimir I

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1992

Availability: No items available.

Image from Google Jackets

Proceeding on rechnerstruckturen und betriebsprogramierung by

Series: Lecture notes in computer science; 13

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)0bB2893P 113L4.

Image from Google Jackets

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.

Image from Google Jackets

Proceeding on distributed algorithms by

Series: Lecture notes in computer science; 392

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):B288p1,N89 M9.

Image from Google Jackets

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.

Image from Google Jackets

Proceedings on optimal algorithms by

Series: Lecture notes in computer science; 401

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)p1,N89 M9.

Image from Google Jackets

Time series package (TSPACK) by

Chaghaghi Francois S

Series: Lecture notes in computer science; 187

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)0bB286 M5.

Image from Google Jackets

Natural language communication with computer by

Bolc Leonard Ed

Series: Lectures notes in computer science; 63

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(2:55) L8.

Image from Google Jackets

Proceedings on Logic at Botik'89 by

Series: Lecture notes in computer science; 363

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.

Image from Google Jackets

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.

Image from Google Jackets

Proceedings on topology by

Series: Lecture notes in mathematics; 375

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: B316p1,N73 L4.

Image from Google Jackets

Proceeding on seminaire de probabilities by

Series: Lecture Notes in Mathematics; 124

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: B281p1,N69 112L0.

Image from Google Jackets

Compositionality, concurrency and partial correctness 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.

Image from Google Jackets

Reasoning and revision in hyprid representation systems by

Nebel Bernhard

Series: Lecture notes in Artificial intelligence; 422

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

Image from Google Jackets

Proceeding on SWAT88 by

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.

Image from Google Jackets

Proceedings on graph-theoratic concepts in computer science by

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.

Image from Google Jackets

Database machine performance: modelling methodologies and evoluton strategies by

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.

Image from Google Jackets

Foundations of equational logic programming 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.

Image from Google Jackets

Proceeding on mathematical fundamentals of database systems by

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.

Image from Google Jackets

Theorie du potential et analyse harmonique by

Faraut J Ed

Series: Lecture notes in mathematics; 404

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: B394M 112L4.

Image from Google Jackets

Proceedings on software science and engineering by

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.

Image from Google Jackets

Attribute grammars by

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.

Image from Google Jackets

Analyse differentielle by

Poenaru Valentin

Series: Lecture notes in mathematics; 371

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: B35 122L4.

Image from Google Jackets

Proceeding on several complex variables I by

Series: Lecture notes in mathematics; 155

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: B38p1,N70 L0.

Image from Google Jackets

Function theory on manifold which possess a pole by

Series: Lecture notes in mathematics; 699

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1979

Availability: Items available for loan: Central Science Library (1)Collection, call number: B313 L9.

Image from Google Jackets

Structure and bonding by

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: E:21un1,N66 M31.

Image from Google Jackets

Proceeding on ordinary differential equations by

Series: Lecture notes in mathematics; 312

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: B331p1,N72 L3.

Image from Google Jackets

Seminaire pierre lelong by

Series: Lecture notes in mathematics; 116

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: B3 122L0.

Image from Google Jackets

Processes de Markov by

Mever Paul-Andre

Series: Lecture notes in mathematics; 26

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1967

Availability: Items available for loan: Central Science Library (1)Collection, call number: B281N07 112K7.

Image from Google Jackets

SIL-simulation language 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.

Image from Google Jackets

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.

Image from Google Jackets

Classical banach-lie algebras and banach-lie groups of operators in hilbert space by

Series: Lecture notes in mathematics; 285

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1972

Availability: Items available for loan: Central Science Library (1)Collection, call number: B313N L2.

Image from Google Jackets

Proceeding on local area network by

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.

Image from Google Jackets

Algorithms for parallel polygon rendering 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.

Image from Google Jackets

Proceeding on invariant imbedding by

Series: Lecture notes in oprations research and mathematical system; 52

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1971

Availability: Items available for loan: Central Science Library (1)Collection, call number: B33p1,N70 L1.

Image from Google Jackets

ANNA: A language for annotating ada programs by

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.

Image from Google Jackets

Concepts, design and performance analysis of a parallel prolog machin 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.

First
Previous
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Home libraries

Languages

Your search returned 7622 results.