共 86 件
東南亞史書籍特展
東南亞史書籍特展
展示上架起迄時間*: 2020-03-03 ~ 2020-04-30
暫停外借截止時間*: 2020-03-03 ~ 2020-03-03
共85 件。
41
Functional and logic programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
作者:edited by Matthias Blume, Naoki Kobayashi, German Vidal.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Functional programming (Computer science) ; Logic programming ; Computer Science. ; Software Engineering. ; Logics and Meanings of Programs. ; Programming Languages, Compilers, Interpreters. ; Mathematical Logic and Formal Languages. ; Artificial Intelligence (incl. Robotics) ; Programming Techniques.
作者:Blume, Matthias. ; Kobayashi, Naoki. ; Vidal, German.
電子資源:
42
Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings /
作者:Vasant Honavar, Giora Slutzki (eds.).
出版社:Springer
出版年:c1998.
出版地:Berlin ; New York :
主題:Formal languages|Congresses. ; Logic, Symbolic and mathematical|Congresses.
作者:Honavar, Vasant. ; Slutzki, Giora.
電子資源: ;
46
Information Processing and Management of Uncertainty in Knowledge-Based Systems theory and methods : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings.
作者:edited by Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann.
出版社:Springer-Verlag Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Expert systems (Computer science) ; Uncertainty (Information theory) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Database Management. ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages.
作者:Hoffmann, Frank. ; Hullermeier, Eyke. ; Kruse, Rudolf.
電子資源: ;
47
Information Processing and Management of Uncertainty in Knowledge-Based Systems applications : 13th international conference, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings.
作者:edited by Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Expert systems (Computer science) ; Uncertainty (Information theory) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Database Management. ; Information Storage and Retrieval. ; Information Systems Applications (incl.Internet) ; Mathematical Logic and Formal Languages.
作者:Hoffmann, Frank. ; Hullermeier, Eyke. ; Kruse, Rudolf.
電子資源: ;
48
Interactive theorem proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
作者:edited by Matt Kaufmann, Lawrence C. Paulson.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Automatic theorem proving ; Computer logic ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Artificial Intelligence (incl. Robotics) ; Antibodies.
作者:Kaufmann, Matt. ; Paulson, Lawrence C.
電子資源:
49
Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
作者:edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martin-Vide.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Machine theory ; Formal languages ; Mathematical linguistics. ; Computer Science. ; Computation by Abstract Devices. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Pattern Recognition. ; Logics and Meanings of Programs.
作者:Dediu, Adrian-Horia. ; Fernau, Henning. ; Martin-Vide, Carlos.
電子資源:
50
Logic and the foundations of game and decision theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
作者:edited by Giacomo Bonanno, Benedikt Lowe, Wiebe van der Hoek.
出版社:Springer-Verlag Berlin Heidelberg
出版年:2010.
出版地:Berlin, Heidelberg :
主題:Logic, Symbolic and mathematical ; Game theory ; Computer Science. ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs. ; Discrete Mathematics in Computer Science. ; Computation by Abstract Devices. ; Theory of Computation. ; Mathematics of Computing.
作者:Bonanno, Giacomo. ; Lowe, Benedikt. ; Hoek, Wiebe van der.
電子資源: