





- 9783642148088 Theoretical Aspects of Computing (Sp…
- 9783540857617 Theoretical Aspects of Computing - I…
- 9783540752905 Theoretical Aspects of Computing - I…
- 9783642034657 Theoretical Aspects of Computing - I…
- 9783540488156 Theoretical Aspects of Computing - I…
- 9783319251493 Theoretical Aspects of Computing - I…
- 9783319677286 Theoretical Aspects of Computing --…
- 9783540291077 Theoretical Aspects of Computing - I…
- 9783642034664 Theoretical Aspects of Computing - I…
- Theoretical Aspects of Computing
- Theoretical Aspects of Computing - ICTAC 2009 - 6t…
- Theoretical Aspects of Computing - ICTAC 2009
- Theoretical Aspects of Computing - ICTAC 2008 (Joh…
- Theoretical Aspects of Computing - ICTAC 2006
- Theoretical Aspects of Computing - ICTAC 2007








Detailseite wird geladen...

Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

2010, ISBN: 3642148077
ID: 9495221004
[EAN: 9783642148071], Neubuch, [SC: 0.0], [PU: Springer-Verlag Gmbh Aug 2010], EDV / THEORIE ALLGEMEINES, Neuware - The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1 3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on F- mal Aspects of Software Testing , and six on the Grand Challenge in Veri ed Software. ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit e de Paris-Sud, and Jim Woodcock, from the University of York. 397 pp. Englisch
![]() |
ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |


2010, ISBN: 9783642148071
ID: 978364214807
This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types. Books, Computers, Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin Books>Computers, Springer Berlin Heidelberg
![]() |
Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details... |


2010, ISBN: 9783642148071
ID: 988699399
Springer. Used - Acceptable. A book with obvious wear. May have some damage to the cover or binding but integrity is still intact. There might be writing in the margins, possibly underlining and highlighting of text, but no missing pages or anything that would compromise the legibility or understanding of the text., Springer
![]() |
Biblio.com |

ISBN: 9783642148071
ID: 9783642148071
Computer Science; Theory of Computation; Computation by Abstract Devices CSP, LA, XML, algorithms, ants, arithmetic operations, category theory, coalgebra, component based system, concurrency, fault tolerance, formal desc, high level petri nets, logic, testing Books Book, Springer Science+Business Media
![]() |
Springer.com
Versandkosten: EUR 0.00
Details... |

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

2010, ISBN: 3642148077
ID: A10036151
Kartoniert / Broschiert EDV / Theorie / Allgemeines, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]
![]() |
Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00) Details... |



Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theoretical Aspects of Computing
EAN (ISBN-13): 9783642148071
ISBN (ISBN-10): 3642148077
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
397 Seiten
Gewicht: 0,623 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 16.06.2007 08:08:26
Buch zuletzt gefunden am 14.03.2018 08:29:51
ISBN/EAN: 9783642148071
ISBN - alternative Schreibweisen:
3-642-14807-7, 978-3-642-14807-1
< zum Archiv...
Benachbarte Bücher
- "Theoretical Aspects of Computing", von "Springer Berlin Heidelberg" (9783642148088)
- "The Moon in Close-up", von "Wilkinson, John" (9783642148057)
- "The Moon in Close-up", von "Wilkinson, John" (9783642148040)
- "Fallsammlung zum BGB Allgemeiner Teil", von "Säcker, Franz Jürgen; Mohr, Jochen" (9783642148101)
- "Fallsammlung zum BGB Allgemeiner Teil", von "Franz Jürgen Säcker;Jochen Mohr" (9783642148118)
- "Carbon Nanotubes for Biomedical Applications", von "Rüdiger Klingeler;Robert B. Sim" (9783642148026)