Refine your search

Your search returned 6421 results.

Sort
Results
101.
Unobstructed shortest paths in polyhedral environments by Akman Varol by Series: Lecture noter in computer science; 251
Material type: Text 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):(B257) M7.

102.
Einfuhrungskursus in die dynamische programierung by Kunzi H P; Muller O; Nievergelt E by Series: Lecture notes in operations research and mathematical economics; 6
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893P,2 113K8.

103.
Sensitivitatsanalyse bei diskreten linearen optimierungs problemen by Noltemeier H by Series: Lecture notes in operations research and mathematical systems; 30
Material type: Text 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: B2893 113L0.

104.
Hardy classes on riemann surfaces by Heins M by Series: Lecture notes in mathematics; 98
Material type: Text 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: B398 K9.

105.
Proceeding on differnetial equtions and dynamical systems by Jones G S by Series: Lecture Notes in Mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B33z7 K8.

106.
Compactification des espaces harmoniques by Meghea Constantin by Series: Lecture notes in mathematics; 222
Material type: Text 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: B83 122L1.

107.
Proceeding on supercomputing by Houstis E N Ed.; Papatheodrou T S Ed. by Series: Lecture notes in computer science; 297
Material type: Text 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.

108.
Proceeding on electronic dictionaries and automata in computational linguistics by Gross M Ed.; Perrin D Ed. by Series: Lecture notes in computer science; 377
Material type: Text 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.

109.
Moyennes invariantes et representations unitaires by Eymard Pierre by Series: Lecture notes in mathematics; 300
Material type: Text 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: B27 122L2.

110.
Einfuhrung in die mathmatischen grundlangen der informations theorie by Schultze Ernst by Series: Lecturs notes in operation research and mathematical economics; 9
Material type: Text 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: B281N48 113K9.

111.
Graphentheorie in planungsund tourenproblemen by Liebling Thomas M by Series: Lecture notes in operations research and mathematical systems; 21
Material type: Text 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: B2893 113L0.

112.
Relation of cobordism to K-theories by Conner P E; Floyd E E by Series: Lecture notes in mathematics; 28
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1966
Availability: Items available for loan: Central Science Library (1)Collection, call number: B29N6 K6.

113.
Structures de fredhalm sur les varietes hilbertiennes by Moulis Nicole by Series: Lecture notes in mathematics; 259
Material type: Text 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 122L2.

114.
Tomito's theory of modular hilbert algebras and its applications by Takesaki M by Series: Lecture notes in mathematics; 128
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B313N L01.

115.
Proceeding on automata networks by Choffrut C Ed. by Series: Lecture notes in computer science; 316
Material type: Text 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.

116.
From logic design to logic programming by Snyers Dominique; Thayse Andre by Series: Lecture Notes in Computer Science; 271
Material type: Text 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.

117.
Direct methods for sparse matrices by Zlatev Zahari by Series: Lecture notes in computer science; 157
Material type: Text 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.

118.
Concepts, design and performance analysis of a parallel prolog machin by Beer Joachim by Series: Lecture notes in computer science; 404
Material type: Text 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.

119.
Seminaire pierrelolong (Analyse), Annee 1971-1972 by Series: Lecture notes in mathematics; 332
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Veralg 1973
Availability: Items available for loan: Central Science Library (1)Collection, call number: B3 122L3.

120.
Proceeding on modular function of one variable by Birch B J Ed.; Kuyk W Ed. by Series: Lecture notes in mathematics; 476
Material type: Text 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: B38p1,N72 L5.

121.
Modified branching programs and their computational power by Meinel Christoph by Series: Lecture notes in computer science; 370
Material type: Text 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.

122.
Eifficient structures for geometric data management by Gunther Oliver by Series: Lecture notes in computer science; 337
Material type: Text 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.

123.
Proceedings on enduser systems and their human factors by Blaser A Ed.; Zoeppritz M Ed. by Series: Lecture notes in computer science; 150
Material type: Text 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.

124.
Reports of the midwest category seminar IV by Applegate H; Barr M; Day B by Series: Lecture Notes in Mathematics; 137
Material type: Text 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: B313p73,N69 L0.

125.
Review of ada tasking by Burns Alan; Lister Andrew M; Wellinos Andrewn J by Series: Lecture notes in computer science; 262
Material type: Text 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.

126.
Intorduction to the theory of analytic spaces by Narasimhan Raghavan by Series: Lecture notes in mathematics; 25
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1966
Availability: Items available for loan: Central Science Library (1)Collection, call number: B313 K6.

127.
ANNA: A language for annotating ada programs by Luckham David C; Von Henke Friedrich W; Krieg-Bruckner Bernd by Series: Lecture notes in computer science; 260
Material type: Text 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.

128.
Papers on empirical distributions and processes by Gaenssler P. Ed.; Revesz P. Ed. by Series: Lecture notes in mathematics; 566
Material type: Text 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: B281p1,N76 L6.

129.
Disconjugacy by Coppel W.A. by Series: Lecture notes in mathematics; 220
Material type: Text 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: B33 L11.

130.
Proceeding on invariant imbedding by Bellman R E Ed.; Denman E D Ed. by Series: Lecture notes in oprations research and mathematical system; 52
Material type: Text 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.

131.
Algorithms for parallel polygon rendering by Theoharis T by Series: Lecture notes in computer science; 373
Material type: Text 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.

132.
Proceeding on local area network by Berson T A Ed.; Beth T Ed. by Series: Lecture Notes in Computer Science; 396
Material type: Text 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.

133.
Proceedings on operating systems: Specification and design of software systems by Knuth E Ed.; Neuhold EJ Ed. by Series: Lecture notes in computer science; 152
Material type: Text 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.

134.
Besov spaces and applications to difference methods for initial value problems by Bernner Philip; Thomee Vidar; Wahibin Lars B by Series: Lecture notes in mathematics; 434
Material type: Text 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: B334 L52.

135.
Classical banach-lie algebras and banach-lie groups of operators in hilbert space by De La Harpe Pierre; Harpe Pierre De La by Series: Lecture notes in mathematics; 285
Material type: Text 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.

136.
Compact semitopalogical semigroups and weakly almost periodic functions by Berglund J F; Hofmann K H by Series: Lecture notes in mathematics; 42
Material type: Text 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: B316 K72.

137.
Proceedings on software engineering education by Deimel Lionel E Ed. by Series: Lecture notes in computer science; 423
Material type: Text 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.

138.
Current topics in microbiology and immunology by Arber W Ed.; Falkow S Ed.; Henkle W Ed. by
Material type: Text 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: G91:4:56 L9.

139.
Finite representations of CCS and TCSP programs by Automata and petri nets by Taubner Dirk by Series: Lecture notes in computer science; 369
Material type: Text 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.

140.
Etale homotopy by Artin M; Nazur B by Series: Lecture notes in mathematics; 100
Material type: Text 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: B316 K91.

141.
Current topics in microbiology and immunology by Arber W Ed.; Falkow S Ed.; Henkle W Ed. by
Material type: Text 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: G91:4:56 L91.

142.
Lecture on algebric and differential topology by Bott R; Gitler S; James I M by Series: Lecture notes in mathematics; 279
Material type: Text 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: B316z7 L2.

143.
Harmonische raume und ihre potentialtheorie by Bauer Heinz by Series: Lecture notes in mathematics; 22
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1966
Availability: Items available for loan: Central Science Library (1)Collection, call number: B83 113K6.

144.
Attribute grammer inversion and source to source translation by Yellin Daniel M by Series: Lecture notes in computer science; 302
Material type: Text 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.

145.
New advances in virtual humans:artificial intelligence environment by Magnenat-Thalmann Nadia Ed.; Jain Lakhmi C Ed.; Ichalkaranje Nikhil Ed. by Series: Studies in computational inetlligence, 140
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 2008
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72) P8 TD.

146.
Proceedings on logic programming'86 by Wada Eiiti Ed. by Series: Lecture notes in computer science; 264
Material type: Text 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.

147.
Seminar uber potentialtheorie by Bauer Herausgegben Ed. by Series: Lecture notes in mathematics; 69
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B83 113K8.

148.
Connotational theory of program structure by Royer James S by Series: Lecture notes in computer science; 273
Material type: Text 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.

149.
Finely harmonic functions by Fuglede B by Series: Lecture notes in mathematics; 289
Material type: Text 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: B394M L2.

150.
SIL-simulation language by Houbak Niels by Series: Lecture notes in computer science; 426
Material type: Text 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.