|
|
|
201. |
Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] /
Publication:
Berlin : Springer Verlag, 1991
. VI, 485 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
202. |
Vol. 4: Ontology II : a world of systems /
by Bunge, Mario
Publication:
Dordrecht : Reidel Publishing Company, 1979
. XI, 314 p. :
23 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
203. |
Studies on natural logic and categorical grammar : Academisch proefschrift /
by Sanchez Valencia, Victor Manuel
Publication:
[Amsterdam : s. l. : 199?]
. VI, 197 p. ;
, Acadmisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P. W. M. de Meijer in het openbaar te verdedigen in de Aula der Universiteit
22 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
204. |
Vol. 1
Publication:
Norwood : Ablex publishing corporation, 1990
. VI, 297 p. ;
24 cm
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
205. |
Ecole d'ete' de probabilites de Saint-Flour XIX, 1989 /
Publication:
New York : Springer-Verlag, 1991
. VI, 259 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
206. |
Ecole d'ete' de probabilites de Saint Flour X 1980 /
Publication:
Berlin : Springer, 1982
. VI, 313 p. ;
25 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
207. |
Proceedings of a meeting on electrical impedance tomography : Copenhagen 14th - 16th July 1991
Publication:
[S.l. : s.n.],
. VI, 284 p. ;
25 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
208. |
Ecole d'ete' de probabilites de Saint-Flour VI, 1976 /
Publication:
Berlin : Springer-Verlag, 1977
. XII, 447 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
209. |
Visualisation in human-computer interaction : 7th Interdisciplinary workshop on informatics and psychology : Scharding, Austria, May 1988 : selected contributions /
Publication:
Berlin : Springer, 1990
. VI, 274 p. ;
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
210. |
Sublanguage : studies of language in restricted semantic domains /
Publication:
Berlin ; New York : de Gruyter, 1982
. VI, 240 p. ;
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
211. |
Geometry and robotics /
by Boissonnat, Jean Daniel
Publication:
Belin : Springer-Verlag, 1989
. VI, 413 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
212. |
Theoretical aspects of reasoning about knowledge : proceedings of the third conference ; March 4-7, 1990, Pacific Grove, California /
by TARK
Publication:
[S.l. : s.n.],
. VI, 305 p. ;
23 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
213. |
Mathematical foudations of programming semantics : proceedings of the 5th International conference, Tulane University, New Orleans, Lousiana, USA, March 29-April 1, 1989 /
Publication:
Berlin : Springer-Verlag, 1990
. VI, 439 p. ;
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
214. |
Optimal periodic control /
by Colonius, Fritz
Publication:
Berlin : Springer-Verlag, 1988
. VI, 177 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
215. |
Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /
Publication:
Berlin : Springer Verlag, 1990
. VI, 338 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
216. |
Quantum probability and applications II: proceedings of a workshop held in Heildelberg, West Germany, October 1-5, 1984 /
Publication:
Berlin : Springer Verlag, 1985
. VI, 534 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
217. |
CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 399 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
218. |
Category theory and computer science : proceedings, Manchester, UK, September 5-8, 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 365 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
219. |
Three decades of mathematical system theory : a collection of surveys at the occasin of the 50th birthday of Jan C. Willems /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 562 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
220. |
Stacs 89 : 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, february 16-18, 1989 /
Publication:
Berlin : Springer Verlag, 1989
. VI, 543 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
