Order Total (1 Item Items):
Shipping Destination:
Badouel Eric (45 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (45)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (39)
- As New, Fine or Near Fine (6)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (22)
- Not Print on Demand (29)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Problèmes D'informatique Fondamentale: Voyages au Pays de L'informatique Fondamentale au Gré de Problèmes de Concours (SCOPOS) (French Editi
Language: French
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10: 3540423419 ISBN 13: 9783540423416
£ 3.12 10% off£ 2.81
£ 14.37 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback or Softback. Condition: New. Probl�mes d'Informatique Fondamentale: Voyages Au Pays de l'Informatique Fondamentale Au Gr� de Probl�mes de Concours. Book.
-
-
Condition: New. pp. 180.
-
Problèmes d'informatique fondamentale: Voyages au pays de l'informatique fondamentale au gré de problèmes de concours (SCOPOS, 13) (French Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 20.73
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 59.57
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 60.59
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
-
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Hardcover. Condition: Brand New. 340 pages. 9.25x6.25x1.00 inches. In Stock.
-
Paperback. Condition: Brand New. reprint edition. 339 pages. 9.25x6.10x0.63 inches. In Stock.
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662516217 ISBN 13: 9783662516218
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications.In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter inPart III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits.Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer, Springer Gabler, 2015
ISBN 10: 3662479664 ISBN 13: 9783662479667
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications.In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter inPart III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits.Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.
-
Taschenbuch. Condition: Neu. Petri Net Synthesis | Eric Badouel (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xiii | Englisch | 2016 | Springer | EAN 9783662516218 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Problèmes d informatique fondamentale
Language: French
Published by Springer Berlin Heidelberg, 2001
ISBN 10: 3540423419 ISBN 13: 9783540423416
Kartoniert / Broschiert. Condition: New.
-
Petri Net Synthesis
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 111.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: As New. Unread book in perfect condition.
-
Vers une démarche de développement logiciel à base de langages dédiés: Application à l'édition de documents structurés (Omn.Univ.Europ.) (French Edition)
Language: French
Published by Editions universitaires europeennes, 2011
ISBN 10: 6131573956 ISBN 13: 9786131573958
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 58.57
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Vers une d�marche de d�veloppement logiciel � base de langages d�di�s: Application � l'�dition de documents structur�s (Omn.Univ.Europ.)
Language: French
Published by Editions universitaires europeennes 2011-05-06, 2011
ISBN 10: 6131573956 ISBN 13: 9786131573958
Paperback. Condition: New.
-
Problèmes d'informatique fondamentale : Voyages au pays de l'informatique fondamentale au gré de problèmes de concours
Language: French
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2001
ISBN 10: 3540423419 ISBN 13: 9783540423416
Taschenbuch. Condition: Neu. Neuware - Ce recueil de problèmes corrigés vise à proposer des voyages initiatiques à quelques domaines de la science informatique. Ces problèmes ont tous été posés au concours d'entrée en troisième année de l'ENS de Cachan, section informatique, ou à feu l'option mathématiques de l'informatique de l'Agrégation de mathématiques. Ils ont été conçus par des enseignants chercheurs en informatique du CNRS ou de l'Université, et ont pour but principal de tester la capacité des étudiants à comprendre des concepts nouveaux pour eux et à raisonner sur ces concepts. Il s'agit par là de tenter de les mettre dans la situation d'un chercheur et d'évaleur ainsi leur aptitude.
-
Vers une démarche de développement logiciel à base de langages dédiés
Language: French
Published by Éditions universitaires européennes, 2011
ISBN 10: 6131573956 ISBN 13: 9786131573958
Condition: New.
-
Modélisation grammaticale d\ un workflow d\ édition coopérative
Language: French
Published by Éditions universitaires européennes, 2021
ISBN 10: 6202550732 ISBN 13: 9786202550734
Condition: New.
-
Condition: New. Print on Demand pp. 180 20 Figures, 1:B&W 5.5 x 8.5 in or 216 x 140 mm (Demy 8vo) Perfect Bound on Creme w/Gloss Lam.
