|
|
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:
|
|