Finkel alain (56 risultati)

Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Condizione: New.

Paperback. Condizione: New.

Condizione: Neuf.

Condizione: New.

Condizione: New. In English.

Condizione: New. pp. 164.

Paperback. Condizione: Brand New. 2012 edition. 164 pages. 9.25x6.10x0.50 inches. In Stock.

Condizione: New. [ak 0185].

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.…

Paperback. Condizione: Used: Very Good.

Taschenbuch. Condizione: Neu. Reachability Problems | 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings | Alain Finkel (u. a.) | Taschenbuch | xii | Englisch | 2012 | Springer | EAN 9783642335112 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condizione: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7935 3540552103 Sprache: Englisch Gewicht in Gramm: 900.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Couverture souple. Condizione: bon. RO40053825: 2022. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 316 pages. Ex dono en page de titre. . . . Classification Dewey : 155.2-Psychologie individuelle.

Condizione: New. In English.

Condizione: New. In English.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the ninth Symposium onTheoretical Aspects of Computer Science (STACS). Thisannual symposium is held alternately in France and Germanyand is organized jointly by the Special Interest Group forFundamental Computer Science of the Association Francaisedes Sciences et Technologies de l'Information et desSyst mes (AFCET) and the Special Interest Group forTheoretical Computer Science of the Gesellschaft f}rInformatik (GI).The volume includes three invited lectures and sections onparallel algorithms, logic and semantics, computationalgeometry, automata and languages, structural complexitycomputational geometry and learning theory, complexity andcommunication, distributed systems, complexity, algorithmscryptography, VLSI, words and rewriting, and systems.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The CAV conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and algorithms and techniques needed for their implemen- tion. ProgramCommitteeofCAV 2001 Rajeev Alur (Penn. &Bell labs) Bengt Jonsson (Uppsala) Henrik Reif Andersen (Copenhagen) Robert Kurshan (LucentBellLabs) G erard Berry (EsterelT. ,co-chair) Kim G. Larsen (Aalborg) Randy Bryant (CMU) Ken Mc Millan(Cadence) Jerry Burch (Cadence) Kedar Namjoshi (Belllabs) Ching-Tsun Chou (Intel) Christine Paulin-Mohring (Orsay) Edmund Clarke (CMU) Carl Pixley (Motorola) Hubert Comon (LSV& Stanford, co-chair) Kavita Ravi (Cadence) David Dill (Stanford) Natarajan Shankar (SRI) E. Allen Emerson (Austin) Mary Sheeran (Chalmers &Prover T. ) Alain Finkel (LSV,co-chair) Tom Shiple (Synopsys) Patrice Godefroid (Belllabs) A.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the tenth annualSymposium on Theoretical Aspects of Computer Science (STACS'93), held in W}rzburg, February 25-27, 1993.The STACS symposia are held alternately in Germany andFrance, and organized jointly by the Special Interest Groupfor Theoretical Computer Science of the Gesellschaft f}rInformatik (GI) and theSpecial Interest Group for AppliedMathematics of the Association Francaise des Sciences etTechnologies de l'Information et des Syst mes (afcet).The volume includes the three invited talks which opened thethree days of the symposium: 'Causal and distributedsemantics for concurrent processes' (I. Castellani)'Parallel architectures: design and efficient use' (B.Monien et al.), and 'Transparent proofs' (L. Babai). Theselection of contributed papers is organized into parts on:computational complexity, logic in computer scienceefficient algorithms, parallel and distributed computationlanguage theory, computational geometry, automata theorysemantics and logic of programming languages, automatatheory and logic, circuit complexity, omega-automatanon-classical complexity, learning theory and cryptographyand systems.…

Condizione: New. pp. 540.