Order Total (1 Item Items):
Shipping Destination:
Eric Badouel (53 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (53)
- 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 (47)
- As New, Fine or Near Fine (5)
- Very Good or Good (1)
- 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 (21)
- Not Print on Demand (37)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Problmes d'informatique fondamentale (Paperback)
Language: French
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 3540423419 ISBN 13: 9783540423416
Paperback. Condition: new. Paperback. Ce recueil de problemes corriges vise a proposer des voyages initiatiques a quelques domaines de la science informatique. Ces problemes ont tous ete poses au concours d'entree en troisieme annee de l'ENS de Cachan, section informatique, ou a feu l'option mathematiques de l'informatique de l'Agregation de mathematiques. Ils ont ete concus par des enseignants chercheurs en informatique du CNRS ou de l'Universite, et ont pour but principal de tester la capacite des etudiants a comprendre des concepts nouveaux pour eux et a raisonner sur ces concepts. Il s'agit par la de tenter de les mettre dans la situation d'un chercheur et d'evaleur ainsi leur aptitude. Ce recueil de problemes corriges vise a proposer des voyages initiatiques a quelques domaines de la science informatique. Ces problemes ont tous ete poses au concours d'entree en troisieme annee de l'ENS de Cachan, section informatique, ou a feu l'option mathematiques de l'informatique de l'Agregation de mathematiques. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
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.
-
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
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.07
£ 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
£ 58.30
£ 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
£ 59.30
£ 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 (Paperback)
Book 40 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2016
ISBN 10: 3662516217 ISBN 13: 9783662516218
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
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, Springer Berlin Heidelberg Nov 2015, 2015
ISBN 10: 3662479664 ISBN 13: 9783662479667
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
-
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 Berlin Heidelberg, 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.
-
Problèmes d informatique fondamentale
Language: French
Published by Springer Berlin Heidelberg, 2001
ISBN 10: 3540423419 ISBN 13: 9783540423416
Condition: New.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: As New. Unread book in perfect condition.
-
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
£ 112.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.
