2006, ISBN: 9783540488156
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwa… Mehr…
Springer.com Nr. 978-3-540-48815-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - neues Buch
2006, ISBN: 3540488154
2006 Kartoniert / Broschiert Automatentheorie, Informatik, Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretisc… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in Computer Science, 4281, Band 4281) - Taschenbuch
2008, ISBN: 9783540488156
Springer, Taschenbuch, Auflage: 2006, 384 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.23 kg, Hardware & Technik, Computer & Internet, K… Mehr…
amazon.de rebuy recommerce GmbH Gebraucht, wie neu. Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Theoretical Computer Science and General Issues, 4281, Band 4281) - Taschenbuch
2008, ISBN: 9783540488156
Springer, Taschenbuch, Auflage: 2006, 384 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.23 kg, Hardware & Technik, Computer & Internet, K… Mehr…
amazon.de preigu Versandkosten:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2006, ISBN: 9783540488156
Taschenbuch
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2006
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2006, ISBN: 9783540488156
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwa… Mehr…
Barkaoui, Kamel (Herausgeber); Cerone, Antonio (Herausgeber); Cavalcanti, Ana (Herausgeber):
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - neues Buch2006, ISBN: 3540488154
2006 Kartoniert / Broschiert Automatentheorie, Informatik, Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretisc… Mehr…
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in Computer Science, 4281, Band 4281) - Taschenbuch
2008
ISBN: 9783540488156
Springer, Taschenbuch, Auflage: 2006, 384 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.23 kg, Hardware & Technik, Computer & Internet, K… Mehr…
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Theoretical Computer Science and General Issues, 4281, Band 4281) - Taschenbuch
2008, ISBN: 9783540488156
Springer, Taschenbuch, Auflage: 2006, 384 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.23 kg, Hardware & Technik, Computer & Internet, K… Mehr…
2006, ISBN: 9783540488156
Taschenbuch
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2006
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theoretical Aspects of Computing - ICTAC 2006
EAN (ISBN-13): 9783540488156
ISBN (ISBN-10): 3540488154
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin
396 Seiten
Gewicht: 0,596 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-28T22:54:24+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-07T17:06:21+01:00 (Zurich)
ISBN/EAN: 9783540488156
ISBN - alternative Schreibweisen:
3-540-48815-4, 978-3-540-48815-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: cavalcanti, kamel, anton bär
Titel des Buches: theoretical computer science, ict, tunisia, theoretical aspects computing ictac 2004, tunis, theoretical aspects computing ictac 2006, general aspects, tunisias, aspects the novel, international colloquium, lecture notes computer science, november 1923 1933
Daten vom Verlag:
Autor/in: Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Verlag: Springer; Springer Berlin
376 Seiten
Erscheinungsjahr: 2006-10-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 376 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Isabelle; automata theory; concurrent systems; cooperative systems; formal language; formal languages; formal method; formal methods; logic; logical foundations; mobility; model checking; probabilistic methods; real-time; verification; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Software Engineering; Compiler und Übersetzer; Software Engineering; EA
Invited Papers.- Verifying a Hotel Key Card System.- Z/Eves and the Mondex Electronic Purse.- Verification Constraint Problems with Strengthening.- Semantics.- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks.- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.- A Topological Approach of the Web Classification.- Concurrency.- Bisimulation Congruences in the Calculus of Looping Sequences.- Stronger Reduction Criteria for Local First Search.- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.- A Petri Net Translation of ?-Calculus Terms.- Model Checking.- Handling Algebraic Properties in Automatic Analysis of Security Protocols.- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.- Thread-Modular Verification Is Cartesian Abstract Interpretation.- Formal Languages.- Capture-Avoiding Substitution as a Nominal Algebra.- Prime Decomposition Problem for Several Kinds of Regular Codes.- A New Approach to Determinisation Using Bit-Parallelism.- Logic and Type Theory.- Proving ATL* Properties of Infinite-State Systems.- Type Safety for FJ and FGJ.- Partizan Games in Isabelle/HOLZF.- Proof-Producing Program Analysis.- Real-Time and Mobility.- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.- Interesting Properties of the Real-Time Conformance Relation tioco.- Model Checking Duration Calculus: A Practical Approach.- Spatio-temporal Model Checking for Mobile Real-Time Systems.- Tutorials: Extended Abstracts.- Tutorial on Formal Methods for Distributed and Cooperative Systems.- Decision Procedures for the Formal Analysis of Software.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783030325060 Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
- 9783030642754 Theoretical Aspects of Computing ? ICTAC 2020: 17th International Colloquium, Macau, China, November 30 ? December 4, 2020, Proceedings: 12545 (Theoretical Computer Science and General Issues, 12545) (Violet Ka I Pun; Volker Stolz; Adenilso Simao)
- 9783030325046 Theoretical Aspects of Computing ? ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 ? November 4, 2019, Proceedings: 11884 (Lecture Notes in Computer Science, 11884) (Robert Mark Hierons; Mohamed Mosbah)
- 9783540488163 Theoretical Aspects of Computing - ICTAC 2006 (Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone)
- Theoretical Aspects of Computing ? ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27?29, 2022, Proceedings (Lecture Notes in Computer Science Book 13572) (English Edition) (Hayes (auth.), Ian J. Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock (eds.), Jim)
- Group Theoretical Methods in Physics. Proceedings of the VIII International Colloquium on Group-Theoretical Methods in Physics, held at Kiryat Anavim, March 1979. (= Annals of the Israel Physical Society, 3). (Horowitz, L.P; Ne'eman, Y. (Hrsg.))
< zum Archiv...