An edition of Theoretical Aspects of Computing -- ICTAC 2013 (2013)

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

by , , and

Cover of: Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu, Jim Woodcock, Huibiao Zhu, Zhiming Liu, Jim Woodcock, Huibiao Zhu
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
September 21, 2024 | History
Edit
An edition of Theoretical Aspects of Computing -- ICTAC 2013 (2013)

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

by , , and

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Publish Date
Publisher
Springer
Pages
457

Check nearby libraries

Buy this book

Subjects

Electronic data processing, Congresses, Information theory, Computer science, mathematics, Computer programming, Artificial Intelligence (incl. Robotics), Software engineering, Computer science, Logic design, Artificial intelligence, Logics and Meanings of Programs
Edition Availability
Cover of: Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Jul 15, 2013, Springer
paperback
Cover of: Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
2013, Springer London, Limited
in English
Cover of: Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Nov 27, 2013, Springer
paperback

Add another edition?

Book Details

Edition Notes

Source title: Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science (8049))

Classifications

Library of Congress
QA75.5 .I135 2013, QA75.5-76.95, QA76.9.L63, QA76.5913, QA76.63

The Physical Object

Format
paperback
Number of pages
457

Edition Identifiers

Open Library
OL27992336M
ISBN 10
3642397174
ISBN 13
9783642397172
LCCN
2013943263

Work Identifiers

Work ID
OL20701842W

Source records

amazon.com record
Library of Congress MARC record
Better World Books record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 21, 2024 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
November 12, 2020 Edited by MARC Bot import existing book
May 3, 2020 Created by ImportBot Imported from amazon.com record