|
|
|
101. |
Foundations of object-oriented languages : proceedings of the REX School /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 442 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
102. |
An introduction to functional programming /
by Bird, Richard J.
Publication:
New York : Prentice, 1988
. XV, 293 p. ;
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
103. |
Programming language concepts and paradigms /
by Watt, David A.
Publication:
New York : Prentice Hall, 1990
. XVI, 322 p. :
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
104. |
Natural language and logic : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1990
. 252 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
105. |
Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1991
. IX, 561 p. :
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
106. |
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:
|
|
|
107. |
Robot motion planning /
by Latombe, Jean-Claude
Publication:
Boston : Kluwer Academic Publischers, 1991
. XX, 652 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
108. |
Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 386 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
109. |
Database systems of the 90s : International symposium, Muggelsee, Berlin, FRG, November 5-7, 1990, proceedings /
by Blaser, A.
Publication:
Berlin : Springer-Verlag, 1990
. VIII, 334 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
110. |
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:
|
|
|
111. |
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:
|
|
|
112. |
Mathematical foundations of computer science 1990, Banska Bystrica, Czechoslovakia, August 27-31, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VIII, 544 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
113. |
Topics in expert system design : methodologies and tools /
by Guida, Giovanni
Publication:
Amsterdam : North Holland, 1989
. VIII, 441 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
114. |
Intelligent systems : state of the art and future directions /
by Ras, Zbigniew
Publication:
New York : E. Horwood, 1990
. VII, 529 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
115. |
Knowledge engineering toolkits /
by Price, Chris J.
Publication:
New York : E. Horwood, 1990
. IX, 261 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
116. |
Constrained global optimization : algorithms and applications /
by Pardalos, Panos M.
Publication:
Berlin : Springer-Verlag, 1987
. VII, 143 p. ;
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
117. |
Artificial intelligence : a knowledge-based approach /
by Firebaugh, Morris W.
Publication:
Boston : PWS-KENT Publishing Company, 1989
. XXIV, 740 p. :
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
118. |
Natural language understanding /
by Allen, James
Publication:
Menlo Park : Benjamin/Cummings Pub. Co., 1987
. XV, 574 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
119. |
Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings /
Publication:
New York : Springer-Verlag, 1990
. VII, 466 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
120. |
Parallel lisp: languages and systems : proceedings of the US /
Publication:
Berlin : Springer Verlag, 1990
. 214 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
