Total 86 items
東南亞史書籍特展
Display Start and End Time: 2020-03-03 ~ 2020-04-30
Stop Borrow Time: 2020-03-03 ~ 2020-03-03
Total85 items。
Automata, languages and programming 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
Author/Creator：Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).
Publishers：Springer
pubyear：c2001.
Place of Publication：Berlin ; New York :
Subject：Computer programming ; Formal languages ; Machine theory
Author/Creator：Leeuwen, Jan van. ; Orejas, Fernando. ; Spirakis, Paul G.
Electronic resouces：
Automata, languages, and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
Author/Creator：Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.)
Publishers：Springer
pubyear：c1998.
Place of Publication：Berlin ; New York :
Subject：Computer programming ; Formal languages ; Machine theory
Author/Creator：Larsen, Kim G. ; Skyum, Sven. ; Winskel, Glynn.
Electronic resouces：
Compiler construction 19th international conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
Author/Creator：edited by Rajiv Gupta.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Compilers (Computer programs) ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
Author/Creator：Gupta, Rajiv.
Electronic resouces：
Computational intelligence for knowledge-based systems design 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings /
Author/Creator：edited by Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann.
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Computational intelligence ; 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.
Author/Creator：Hoffmann, Frank. ; Hullermeier, Eyke. ; Kruse, Rudolf.
Electronic resouces：
Computational logic in multi-agent systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
Author/Creator：edited by Jurgen Dix ... [et al.].
Publishers：Springer-Verlag Berlin Heidelberg
pubyear：2010.
Place of Publication：Berlin, Heidelberg :
Subject：Multiagent systems ; Computer logic ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Software Engineering. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Computer Communication Networks. ; Programming Languages, Compilers, Interpreters.
Author/Creator：Dix, Jurgen.
Electronic resouces：
Total 86 items
