Normal view MARC view ISBD view

Programs, proofs, processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /

Programs, proofs, processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / [electronic resource] : CiE 2010 edited by Fernando Ferreira ... [et al.]. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - xvi, 450 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 6158 0302-9743 ; .

ISBN: 9783642139628 (electronic bk.) 9783642139611 (paper)

Subjects--Topical Terms:
Computable functions--Congresses.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Discrete Mathematics in Computer Science.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.

LC Class. No.: QA9.59 / .C66 2010

Dewey Class. No.: 511.352

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Programs, proofs, processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /

Contact Us

Copyright ©The National University of Malaysia Library