101. Mechanics of solids   Publication: Berlin Springer-Verlag 1973 . xiv, 745 p. , Originall published as Encyclopedia of physics VIa/1-4 25 cm. Date:1973 Availability: No items available:

Actions:
102. Foundations of logic programming / by Lloyd, J. W, Publication: Berlin : Springer-Verlag, 1984 . x, 124 p Date:1984 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
103. X-ray spectra and chemical binding / by Meisel, Armin Publication: Berlin : Springer-Verlag, 1989 . viii, 458 p : , Translation of: Röntgenspektren und chemische Bindung | Includes index 24 cm Date:1989 Availability: Copies available: IST - Biblioteca de Química (1),

Actions:
104. Differentiable manifolds by Rham, Georges de Publication: Berlin Springer-Verlag 1984 . x,166 p. 24cm Date:1984 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
105. Collected papers by Gelʹfand, Izrailʹ Moiseevich Publication: Berlin Springer-Verlag 1987 . < v. > 25 cm. Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (2),

Actions:
106. Recursive estimation and time-series analysis by Young, Peter C. Publication: Berlin Springer-Verlag 1984 . 300 p. 25 cm Date:1984 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
107. Representations of compact lie groups by Brocker, Theodor Publication: New York Springer-Verlag 1985 . x, 313 p. 25 cm. Date:1985 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
108. Semirings, automata, languages by Kuich, Werner Publication: Berlin Springer-Verlag 1986 . 374 p. 25 cm Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
109. Geodetic refraction :   Publication: Berlin : Springer-Verlag, 1984 . x, 213 p. : 25 cm Date:1984 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
110. Ω-bibliography of mathematical logic   Publication: Berlin Springer-Verlag, 1987 . <6 v. >, 29 cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
111. Ω-bibliography of mathematical logic   Publication: Berlin Springer-Verlag 1987 . 6 v. , In 6 vols 29 cm Date:1987 Availability: No items available:

Actions:
112. Ω-bibliography of mathematical logic   Publication: Berlin Springer-Verlag 1987 . 6 v. , In 6 vols 29 cm Date:1987 Availability: No items available:

Actions:
113. Systems with hysteresis / by Krasnosels̀kii, M.A. Publication: Berlin : Springer Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
114. Nonlinear control systems : by Isidori, Alberto Publication: Berlin : Springer-Verlag, 1985 . vi, 297 p Date:1985 Availability: No items available:

Actions:
115. Multiple criteria decision methods and applications   Publication: Berlin Springer-Verlag 1985 . XIV, 402 p. , Baseado na seleção de comunicações do First International Summer School on Multiple Criteria Decision Making Methods, Applications and Software. 25 cm Date:1985 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
116. Handbook of stochastic methods: by Gardiner, C.W. Publication: Berlin : Springer-Verlag, 1985 . xix, 442 p. : 24 cm Date:1985 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
117. Optimization and discrete choice in urban systems :   Publication: Berlin : Springer-Verlag, 1985 . 371p Date:1985 Availability: No items available:

Actions:
118. Structural change   Publication: Berlin Springer-Verlag 1986 . 186 p. 25 cm Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
119. Control system design based on exact model matching techniques by Ichikawa, K. Publication: Berlin Springer-Verlag 1985 . VII, 129 p. 24 cm Date:1985 Availability: Copies available: IST - Biblioteca de Civil (1),

Actions:
120. Finite element methods for Navier-Stokes equations by Girault, Vivette Publication: Berlin Springer-Verlag 1986 . x, 374 p. , Extended version of, Finite element approximation of the Navier-Stokes equations. 1979 23 cm Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
121. Singular integral operators by Mikhlin, S. G. Publication: Berlin Springer-Verlag 1986 . 528 p. 25 cm. Date:1986 Availability: No items available: Checked out (2),

Actions:
122. The analysis of concurrent systems :   Publication: Berlin : Springer-Verlag, 1985 . vii, 398 p. ; 25 cm Date:1985 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
123. Degeneracy graphs and the neighbourhood problem / by Kruse, H. J. Publication: Berlin : Springer-Verlag, 1986 . 126p Date:1986 Availability: No items available:

Actions:
124. Hydrodynamics of ocean wave-energy utilisation :   Publication: Berlin : Springer-Verlag, 1986 . xvi, 452 p Date:1986 Availability: Copies available: IST - Biblioteca de Mecânica (1),

Actions:
125. Cohomology of sheaves by Iversen, Birger Publication: Berlin Springer-Verlag 1986 . xi, 464 p. : 25 cm Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
126. Process modelling for metal forming and thermomechanical treatment /   Publication: Berlin : Springer-Verlag, 1986 Date:1986 Availability: Copies available: IST - Biblioteca de Mecânica (1),

Actions:
127. LUCAS : by Fernstrom, Christer Publication: Berlin : Springer-Verlag, 1986 . xii, 323 p. : il. ; 24 cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
128. Partial differential equations by Dezin, Alekseĭ Alekseevich Publication: Berlin Springer-Verlag 1987 . xii, 163 p. 24 cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
129. Introduction to laser physics / by Shimoda, Koichi Publication: Berlin : Springer-Verlag, 1986 . xi, 233 p , Revised translation of, Rēzā butsuri nyūmon Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
130. Finite rotations in structural mechanics :   Publication: Berlin : Springer-Verlag, 1986 . xii, 379, p. ; 25 cm Date:1986 Availability: Copies available: IST - Biblioteca de Civil (1),

Actions:
131. Applied algebra, algorithmics and error-correcting codes :   Publication: Berlin : Springer-Verlag, 1986 . vi,265p. Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
132. Algebraic algorithms and error-correcting codes :   Publication: Berlin : Springer-Verlag, 1986 . vii,416p Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
133. CONPAR 86 :   Publication: Berlin : Springer-Verlag, 1986 . ix, 418 p. : 24 cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
134. Advances in computer graphics II /   Publication: Berlin : Springer-Verlag, 1986 . 186p , Papers presented in the tutorial programme of the Eurographics'86 Conference, held in Lisbon, Portugal, in August 1986 Date:1986 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
135. Dynamical systems III   Publication: Berlin Springer-Verlag 1993 . xiv, 291 p. , Translation of Dinamicheskie sistemy, published Moscow: VINITI, 1985 23 cm Date:1993 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
136. Geometry II by Berger, Marcel Publication: Berlin Springer-Verlag 1987 . x,406 p. 25cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
137. Temporal logic of programs / by Kröger, Fred Publication: Berlin : Springer-Verlag, 1987 . viii, 148 p Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
138. Stability and perfection of Nash equilibria / by Damme , Eric van Publication: Berlin : Springer-Verlag , 1987 . xvii,318p Date:1987 Availability: No items available:

Actions:
139. Introduction to the theory of traffic flow / by Leutzbach, Wilhelm Publication: Berlin : Springer-Verlag, 1988 . xi, 204 p , Extended and totally rev. Eng. language version of Einführund in die Theorie des Verkehrsflusses, published Berlin: Springer-Verlag, 1972 Date:1988 Availability: No items available:

Actions:
140. Physics of the galaxy and interstellar matter / by Scheffler, Helmut Publication: New York : Springer-Verlag, 1988 . xi, 492 p. : 25 cm Date:1988 Availability: No items available:

Actions:
141. Homogenization techniques for composite media :   Publication: Berlin : Springer-Verlag, 1987 . ix, 397 p. : 25 cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1), IST - Biblioteca de Mecânica (1),

Actions:
142. Singularities in linear wave propagation / by Garding, Lars, Publication: Berlin : Springer-Verlag, 1987 . p. cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
143. The homotopy index and partial differential equations by Rybakowski, Krzysztof P. Publication: Berlin Springer-Verlag 1987 . xii, 208 p. 25cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
144. Automata, languages and programming :   Publication: Berlin : Springer-Verlag, 1987 . x, 565 p ; , Sponsored by the European Association for Theoreticl Computer Science 25cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
145. Dynamical systems VII :   Publication: Berlin : Springer-Verlag, 1993 . 341pm. Date:1993 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
146. Equivariant K-theory and freeness of group actions on C*-algebras / by Phillips, N. Christopher, Publication: Berlin : Springer-Verlag, 1987 . viii, 371 P. ; 24 cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
147. Variety in coordination modes of ligands in metal complexes by Kawaguchi, Shinichi Publication: Berlin Springer-Verlag 1988 . ix, 123 p. 25 cm Date:1988 Availability: Copies available: IST - Biblioteca de Química (1),

Actions:
148. System development and Ada :   Publication: Berlin : Springer-Verlag, 1987 Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
149. Jordan triple systems by the grid approach by Neher, Erhard Publication: Berlin Springer-Verlag 1987 . xii, 192 p. 24 cm Date:1987 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
150. User models in dialog systems /   Publication: New York : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: