Navet nicolas (32 risultati)
- Brossura
Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 2,54
EUR 6,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
LA SCIENCE JURIDIQUE ENTRE POLIITIQUE ET SCIENCES HUMAINES (XIXe-XXe siècles)
Fredéric Audren, Jean-Louis Halpérin, Nicolas Marmin, Marc Milet, Georges Navet, Guillaume Sacriste
Lingua: Francese
Editore: Presses Universitaires du Septentrion, 2001
- Brossura
Da: Librairie Rouchaleou, Saint-André-de-Sangonis, FR, FranciaLibrairie Rouchaleou
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 20,00
EUR 54,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Broché. Condizione: Très bon. 1 volume broché, 205 pages [6}. Revue d'Histoire des Sciences Humaines RHSH, N°4. Bel exemplaire.
Lingua: Inglese
Editore: CRC Press LLC, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
- Prima edizione
Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 137,66
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Very Good. 1st Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 200,14
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 9 disponibili
Condizione: New.
- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 202,52
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: LibSan, Athis Mons, FranciaLibSan
Contatta il venditoreVenditore con 1 stelleCondizione: Nuovo
EUR 75,00
EUR 9,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Neuf.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 233,83
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 9 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 236,67
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 241,51
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
- Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 260,20
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time syste…ms and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 259,24
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: CRC Press 2008-12-20, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 261,63
EUR 18,21 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 5 disponibili
Hardcover. Condizione: New.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 264,64
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 286,41
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
- Rilegato
Da: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 291,26
EUR 2,62 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand new! Please provide a physical shipping address.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 292,31
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
- Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 278,73
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: IST…E. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . .
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 289,21
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 323,51
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 266,24
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 317,69
EUR 6,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 312,67
EUR 14,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Taylor & Francis Group, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 327,04
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 490 Index.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 350,64
EUR 9,18 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: IST…E. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Taylor & Francis Group, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 346,20
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 490.
Altre immaginiLingua: Inglese
Editore: CRC Press, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 312,00
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Automotive Embedded Systems Handbook | Nicolas Navet (u. a.) | Buch | Einband - fest (Hardcover) | Englisch | 2008 | CRC Press | EAN 9780849380266 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Lingua: Inglese
Editore: CRC Pr I Llc, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 403,87
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 488 pages. 9.25x6.25x1.00 inches. In Stock.
- Rilegato
- Prima edizione
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 398,84
EUR 32,34 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time syste…ms and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Lingua: Inglese
Editore: CRC Press Dez 2008, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 400,00
EUR 64,48 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Highlighting requirements, technologies, and business models, this handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner developmen…t processes, software engineering methods, embedded communications, and safety and dependability assessment. Offering balanced viewpoints from industry and academic experts, car manufacturers, and suppliers, the book outlines the features and functioning schemes of CAN, LIN, FlexRay, and TTCAN protocols. It also addresses the main problems in the design of automotive embedded systems.
Lingua: Inglese
Editore: CRC Press Dez 2008, 2008
Serie: Industrial Information Technology, Libro 1 di 7. Libro 1 di 7 - Industrial Information Technology
- Rilegato
Da: Books-by-Floh, Paderborn, GermaniaBooks-by-Floh
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 370,01
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware -A Clear Outline of Current Methods for Designing and Implementing Automotive SystemsHighlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-th…e-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment.Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues.Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems. 490 pp. Englisch.
