|
|
|
41. |
Symposium on optimization, held in Nice, June 29th - July 5th, 1969 : proceedings /
Publication:
Berlin, 1970
. 350 p. ill. ;
26 cm.
Date:1970
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
42. |
Artificial and human thinking /
Publication:
Amsterdam : Elsevier Scientific Pub. Com., 1973
. XV, 385 p. :
, Proceedings of a Nato symposium entitled Human thinking : computer techniques for its evaluation
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
43. |
Stochastic point processes : statistcial analysis, theory, and applications /
by Lewis, Peter A. W.
Publication:
New York : Wiley-Interscience, 1972
. XXII, 894 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
44. |
Principles of knowledge representation and reasoning : 4. International conference, Bonn, Germany, May 24-27, 1994 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1994
. XII, 655 p. ;
28 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
45. |
Spatial information theory : a theoretical basis for GIS : European Conference, COSIT '93, Marciana Marina, Elba Island, Italy, September 19-22, 199, proceedings /
Publication:
Berlin : Springer-Verlag, 1993
. XI, 477 p. ;
25 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
46. |
CONCUR '91 : 2nd International conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings /
Publication:
Berlin : Springer-Verlag, 1991
. IX, 540 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
47. |
Advances in artificial intelligence : proceedings of the 3. congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 /
Publication:
Berlin : Springer-Verlag, 1993
. XI, 336 p. ;
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
48. |
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 723 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
49. |
Trends in Artificial Intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991 : proceedings /
Publication:
Springer-Verlag : Berlin, 1991
. XIV, 479 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
50. |
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:
|
|
|
51. |
CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 536 p. :
, "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started onSeptember 1, 1989 ... The conference CONCUR '90, hosted byCWI with the help of the University of Amsterdam, marksthe end of the first year of CONCUR"--Pref.
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
52. |
Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 372 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
53. |
Artificial intelligence, culture and language: on education and work /
Publication:
London ; New York : Springer-Verlag, 1990
. XXV, 226 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
54. |
Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /
Publication:
New York : Springer-Verlag, 1989
. XI, 493 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
55. |
Algebraic and geometric methods in linear systems theory : summer seminar, Harvard University, 1979 /
Publication:
Providence : American Mathematical Society, 1980
. VIII, 327 p. ;
23 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
56. |
Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VII, 457 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
57. |
Vol. 2: Semantic issues
Publication:
Dordrecht : Kluwer, 1989
. VII, 307 p. ;
22 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
58. |
Hierarchical structures : proceedings of the Symposium held november 18-19, 1968 at Douglas Advanced Research Laboratoires, Huntington Beach, California /
Publication:
New York : American Elsevier Pub. Co., 1969
. XII, 322 p. :
24 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
59. |
Proceedings of the 3rd International symposium on methodologies for intelligent systems held October 12-15, 1988, in Turin, Italy /
Publication:
New York : North-Holland, 1988
. XII, 496 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
60. |
Theoretical aspects of reasoning about knowledge : proceedings of the second conference, March 7-9, 1988, Pacific Grove, California /
by TARK
Publication:
Los Altos : Morgan Kaufmann Publishers, 1988
. VIII, 401 p. :
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
