- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 96,45, Mittelwert: € 70,69
1
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Zohra Bellahsene
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 66,38)
Bestellengesponserter Link
Zohra Bellahsene:

Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - neues Buch

2009, ISBN: 9783642034664

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti … Mehr…

No. 9783642034664. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Theoretical Aspects of Computing - ICTAC 2009 - Springer
Bestellen
bei Orellfuessli.ch
CHF 106,90
(ca. € 96,45)
Versand: € 0,001
Bestellengesponserter Link

Springer:

Theoretical Aspects of Computing - ICTAC 2009 - neues Buch

2009, ISBN: 9783642034664

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti … Mehr…

Nr. 44258534. Versandkosten:, Sofort per Download lieferbar, CH. (EUR 0.00)
3
Theoretical Aspects of Computing - ICTAC 2009
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
ICTAC 2009:
Theoretical Aspects of Computing - neues Buch

2009

ISBN: 9783642034664

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti … Mehr…

Nr. 978-3-642-03466-4. Versandkosten:Worldwide free shipping, , zzgl. Versandkosten. (EUR 0.00)
4
Theoretical Aspects of Computing - ICTAC 2009
Bestellen
bei eBook.de
€ 79,99
Versand: € 0,001
Bestellengesponserter Link
Theoretical Aspects of Computing - ICTAC 2009 - neues Buch

2009, ISBN: 9783642034664

Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium Kuala Lumpur Malaysia August 16-20 2009 Proceedings: ab 79.99 € eBooks > Sachthemen & Ratgeber > Computer & In… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
5
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Kamal H. Batanouny
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 67,83)
Bestellengesponserter Link
Kamal H. Batanouny:
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - neues Buch

2009, ISBN: 9783642034664

; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg

No. 9783642034664. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Theoretical Aspects of Computing - ICTAC 2009


EAN (ISBN-13): 9783642034664
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
12 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-10-25T14:11:19+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-13T19:39:58+01:00 (Zurich)
ISBN/EAN: 9783642034664

ISBN - alternative Schreibweisen:
978-3-642-03466-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: charles martin, charles morgan
Titel des Buches: kuala lumpur, aspects the novel, colloquium international


Daten vom Verlag:

Autor/in: Martin Leucker; Charles Carroll Morgan
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Verlag: Springer; Springer Berlin
357 Seiten
Erscheinungsjahr: 2009-08-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 357 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Action; automata; automata theory; computer; computer science; formal language; formal languages; model checking; modeling; software architecture; testing; verification; algorithm analysis and problem complexity; C; Programming Techniques; Software Engineering; Theory of Computation; Algorithms; Computer Science; Software Engineering; Theoretische Informatik; Algorithmen und Datenstrukturen; BC

Invited Papers.- Static Analysis of Concurrent Programs Using Ordinary Differential Equations.- The PlusCal Algorithm Language.- The Secret Art of Computer Programming.- Verification, Testing and Statistics.- Full Research Papers.- ?-Types for Effects and Freshness Analysis.- A First-Order Policy Language for History-Based Transaction Monitoring.- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.- Transmission Protocols for Instruction Streams.- A Deadlock-Free Semantics for Shared Memory Concurrency.- On the Expressiveness of Forwarding in Higher-Order Communication.- On the Hairpin Completion of Regular Languages.- Context-Free Languages of Countable Words.- Automatic Conflict Detection on Contracts.- A Sound Observational Semantics for Modal Transition Systems.- Regular Expressions with Numerical Constraints and Automata with Counters.- On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations.- Integration Testing from Structured First-Order Specifications via Deduction Modulo.- A Minimized Assumption Generation Method for Component-Based Software Verification.- A Formal Approach to Heuristically Test Restorable Systems.- Constrained Reachability of Process Rewrite Systems.- Input-Output Model Programs.- Tool Papers.- IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.- GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems.- Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.

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)


< zum Archiv...