Importo totale (1 articolo articoli):
Destinazione ordine:
petrucci laure (91 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (91)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (75)
- Come nuovo, Ottimo o Quasi ottimo (12)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (6)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (36)
- Non Print on Demand (74)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Application and Theory of Petri Nets : 32nd International Conference, Petri Nets 2011, Newcastle, Uk, June 20-24, 2011, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Application and Theory of Petri Nets (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642218334 ISBN 13: 9783642218330
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011.The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,93
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,32
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,12
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Application and Theory of Petri Nets : 32nd International Conference, Petri Nets 2011, Newcastle, Uk, June 20-24, 2011, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, Petri Nets 2022, Bergen, Norway, June 19?24, 2022, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,34
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Application and Theory of Petri Nets and Concurrency
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Application and Theory of Petri Nets and Concurrency
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,07
Spedizione EUR 5,86
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,09
Spedizione EUR 13,99
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,45
Spedizione EUR 18,09
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,44
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, Petri Nets 2022, Bergen, Norway, June 19?24, 2022, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 76,01
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Critical Systems Formal Methods And Au
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,15
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,28
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Application and Theory of Petri Nets and Concurrency
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2022
ISBN 10: 3031066529 ISBN 13: 9783031066528
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,36
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2022.
-
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, Petri Nets 2022, Bergen, Norway, June 19?24, 2022, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,06
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 1924, 2022, Proceedings: 13288 (Lecture Notes in Computer Science, 13288)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,00
Spedizione EUR 18,09
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19?21, 2023, Proceedings: 14138 (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 196.
-
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,73
Spedizione EUR 13,99
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Critical Systems Formal Methods And Au
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, Petri Nets 2022, Bergen, Norway, June 19?24, 2022, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,70
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Application and Theory of Petri Nets: 32nd International Conference, Petri Nets 2011, Newcastle, Uk, June 20-24, 2011, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642218334 ISBN 13: 9783642218330
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,75
Spedizione EUR 14,60
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 349 pages. 9.25x6.00x1.00 inches. In Stock.
-
Formal Modeling and Analysis of Timed Systems: 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,50
Spedizione EUR 11,68
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 195 pages. 9.25x6.10x0.42 inches. In Stock.
-
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,64
Spedizione EUR 18,09
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
APPLICATION AND THEORY OF PETRI NETS AND
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,43
Spedizione EUR 47,88
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
-
Critical Systems - Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Criti
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 331967112X ISBN 13: 9783319671123
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,56
Spedizione EUR 35,03
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 252 pages. 9.25x6.10x0.57 inches. In Stock.
-
Application and Theory of Petri Nets (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642218334 ISBN 13: 9783642218330
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 83,94
Spedizione EUR 32,39
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011.The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18¿20, 2017, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 331967112X ISBN 13: 9783319671123
EUR 53,49
Spedizione EUR 61,94
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
-
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19?24, 2022, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
