- 5 Ergebnisse
Kleinster Preis: € 85,59, größter Preis: € 98,37, Mittelwert: € 95,05
1
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - L. Stoica
Bestellen
bei hive.co.uk
£ 84,58
(ca. € 98,31)
Bestellen
Details und Versand
gesponserter Link
L. Stoica:

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - neues Buch

2008, ISBN: 9783540705833

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik,… Mehr…

No. 9783540705833. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Automata, Languages and Programming
Bestellen
bei Springer.com
€ 85,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automata, Languages and Programming - neues Buch

2008, ISBN: 9783540705833

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik,… Mehr…

Nr. 978-3-540-70583-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
3
Automata Languages and Programming
Bestellen
bei Hugendubel.de
€ 96,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automata Languages and Programming - neues Buch

2008

ISBN: 9783540705833

*Automata Languages and Programming* - 35th International Colloquium ICALP 2008 Reykjavik Iceland July 7-11 2008 Proceedings Part II. Auflage 2008 / pdf eBook für 96.49 € / Aus dem Bereic… Mehr…

Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Automata Languages and Programming
Bestellen
bei eBook.de
€ 96,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Automata Languages and Programming - neues Buch

2008, ISBN: 9783540705833

Automata Languages and Programming - 35th International Colloquium ICALP 2008 Reykjavik Iceland July 7-11 2008 Proceedings Part II. Auflage 2008: ab 96.49 € eBooks > Sachthemen & Ratgeber… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
5
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - J.-C. Givel
Bestellen
bei hive.co.uk
£ 84,15
(ca. € 98,37)
Bestellen
Details und Versand
gesponserter Link
J.-C. Givel:
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - neues Buch

2008, ISBN: 9783540705833

; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Berlin Heidelberg

No. 9783540705833. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
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
Automata Languages and Programming
Autor:
Titel:
ISBN-Nummer:

9783540705833

Detailangaben zum Buch - Automata Languages and Programming


EAN (ISBN-13): 9783540705833
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH

Buch in der Datenbank seit 2017-01-29T17:51:20+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-06T05:59:52+01:00 (Zurich)
ISBN/EAN: 9783540705833

ISBN - alternative Schreibweisen:
978-3-540-70583-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jim goldberg, ivan gold
Titel des Buches: automata, reykjavik, colloquium international, reykjavík

Daten vom Verlag:

Autor/in: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Magnus M. Halldorsson; Anna Ingolfsdottir; Igor Walukiewicz
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Verlag: Springer; Springer Berlin
734 Seiten
Erscheinungsjahr: 2008-07-05
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XXII, 734 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Hashing; algorithms; complexity; computational mathematics; cryptography; cryptology; formal methods; game theory; logic; logical foundations; mathematical logic; program semantics; programming; proof complexity; verification; data structures; C; Software Engineering; Programming Techniques; Theory of Computation; Discrete Mathematics in Computer Science; Numerical Analysis; Data Science; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; Numerische Mathematik; Datenbanken; BC

Invited Lectures.- Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.- Newton’s Method for ?-Continuous Semirings.- Track B: Logic, Semantics, and Theory of Programming.- The Tractability Frontier for NFA Minimization.- Finite Automata, Digraph Connectivity, and Regular Expression Size.- Leftist Grammars Are Non-primitive Recursive.- On the Computational Completeness of Equations over Sets of Natural Numbers.- Placement Inference for a Client-Server Calculus.- Extended pi-Calculi.- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.- On Expressiveness and Complexity in Real-Time Model Checking.- STORMED Hybrid Systems.- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.- On Datalog vs. LFP.- Directed st-Connectivity Is Not Expressible in Symmetric Datalog.- Non-dichotomies in Constraint Satisfaction Complexity.- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.- When Does Partial Commutative Closure Preserve Regularity?.- Weighted Logics for Nested Words and Algebraic Formal Power Series.- Tree Languages Defined in First-Order Logic with One Quantifier Alternation.- Duality and Equational Theory of Regular Languages.- Reversible Flowchart Languages and the Structured Reversible Program Theorem.- Attribute Grammars and Categorical Semantics.- A Domain Theoretic Model of Qubit Channels.- Interacting Quantum Observables.- Perpetuality for Full and Safe Composition (in a Constructive Setting).- A System F with Call-by-Name Exceptions.- Linear Logical Algorithms.- A Simple Model of Separation Logic for Higher-Order Store.- OpenImplication.- ATL* Satisfiability Is 2EXPTIME-Complete.- Visibly Pushdown Transducers.- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata.- Analyzing Context-Free Grammars Using an Incremental SAT Solver.- Track C: Security and Cryptography Foundations.- Weak Pseudorandom Functions in Minicrypt.- On Black-Box Ring Extraction and Integer Factorization.- Extractable Perfectly One-Way Functions.- Error-Tolerant Combiners for Oblivious Primitives.- Asynchronous Multi-Party Computation with Quadratic Communication.- Improved Garbled Circuit: Free XOR Gates and Applications.- Improving the Round Complexity of VSS in Point-to-Point Networks.- How to Protect Yourself without Perfect Shredding.- Universally Composable Undeniable Signature.- Interactive PCP.- Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model.- Delegating Capabilities in Predicate Encryption Systems.- Bounded Ciphertext Policy Attribute Based Encryption.- Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks.- Composable Security in the Bounded-Quantum-Storage Model.- On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak.- History-Independent Cuckoo Hashing.- Building a Collision-Resistant Compression Function from Non-compressing Primitives.- Robust Multi-property Combiners for Hash Functions Revisited.- Homomorphic Encryption with CCA Security.- How to Encrypt with the LPN Problem.- Could SFLASH be Repaired?.- Password Mistyping in Two-Factor-Authenticated Key Exchange.- Affiliation-Hiding Envelope and Authentication Schemes with Efficient Support for Multiple Credentials.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387088600 Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17-21, 1978 (G. Ausiello)

< zum Archiv...