Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3722)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ICTAC 2005.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (40 papers)
-
Concurrency and Refinement
Other volumes
-
Theoretical Aspects of Computing – ICTAC 2005
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Theoretical Aspects of Computing - ICTAC 2005
Book Subtitle: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Editors: Dang Hung, Martin Wirsing
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11560647
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-29107-7Published: 04 October 2005
eBook ISBN: 978-3-540-32072-2Published: 21 October 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 618
Topics: Theory of Computation, Computation by Abstract Devices, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications