Springer 2013 07 19

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . Papers (Lecture Notes in Computer Science)

Armin Biere, Amir Nahir, Tanja Vos

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

3642396100 / 9783642396106

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 51,12

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Interoperable Electronic Safety Equipment: Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders (SpringerBriefs in Fire)

Casey C Grant

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

1461482763 / 9781461482765

Serie: Libro 9 di 29 - SpringerBriefs in Fire

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,03

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

The Armed Forces: Towards a Post-Interventionist Era?: Towards a Post-Interventionist Era? (Schriftenreihe des Zentrums fï¿½r Militï¿½rgeschichte und Sozialwissenschaften der Bundeswehr)

Gerhard Kï¿½mmel, Bastian Giegerich

Lingua: Inglese

Editore: Springer VS 2013-07-19, 2013

3658012854 / 9783658012854

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,47

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Search Based Software Engineering: 5th International Symposium, Ssbse 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings (Lecture Notes in Computer Science)

Gunther Ruhe, Yuanyuan Zhang

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

3642397417 / 9783642397417

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,53

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Ad-hoc, Mobile, and Wireless Networks: 12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 8-10, 2013Proceedings (Lecture Notes in Computer Science)

Jacek Cichon, Marek Klonowski, Maciej Gebala

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

3642392466 / 9783642392467

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,53

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Lecture Notes in Computer Science)

Ezio Bartocci, C. R. Ramakrishnan

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

3642391753 / 9783642391750

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,53

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings (Lecture Notes in Computer Science)

Alexander Dudin, Koen De Turck

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

3642394078 / 9783642394072

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,62

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Sandrine Blazy, David Pichardie, Christine Paulin-Mohring

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

364239633X / 9783642396335

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,68

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Techniques and Concepts of High-Energy Physics V (Nato Science Series B: (Closed))

Thomas Ferbel

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

146158003X / 9781461580034

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,90

EUR 18,10 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Springer 2013 07 19 (9 risultati)

Perfeziona la tua ricerca

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . Papers (Lecture Notes in Computer Science)

Interoperable Electronic Safety Equipment: Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders (SpringerBriefs in Fire)

The Armed Forces: Towards a Post-Interventionist Era?: Towards a Post-Interventionist Era? (Schriftenreihe des Zentrums fï¿½r Militï¿½rgeschichte und Sozialwissenschaften der Bundeswehr)

Search Based Software Engineering: 5th International Symposium, Ssbse 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings (Lecture Notes in Computer Science)

Ad-hoc, Mobile, and Wireless Networks: 12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 8-10, 2013Proceedings (Lecture Notes in Computer Science)

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Lecture Notes in Computer Science)

Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings (Lecture Notes in Computer Science)

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Techniques and Concepts of High-Energy Physics V (Nato Science Series B: (Closed))