Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Name: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Price: 160.95 CAD
Availability: InStock
Author: Michael Huth
ISBN: 9783540712084

Orna Grumberg Édition : Michael Huth

9 mars 2007

160,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 805 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

740

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540712084

Data Dissemination and Query in Mobile Social Networks

Jiming Chen Couverture souple
58,50 $
Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Henry Han Couverture souple
72,95 $
Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Henry Han Couverture souple
116,95 $
2 formats offerts
Nostradamus 2014: Prediction, Modeling And Analysis Of Complex Systems

Ivan Zelinka Couverture souple
248,50 $
Systems And Human Science - For Safety, Security And Dependability: Selected Papers Of The 1st International Symposium Ssr 2003, Osaka, Japan, November 2003

Shigeru Yamamoto Couverture rigide
451,50 $
Modern Data Mining Algorithms In C++ And Cuda C: Recent Developments In Feature Extraction And Selection Algorithms For Data Science

Timothy Masters Couverture souple
102,50 $
2 formats offerts
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things: 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected Papers

Michail Maniatakos Couverture rigide
124,50 $
2 formats offerts
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2

Maurice H. ter Beek Couverture souple
80,50 $
2 formats offerts
Semantic Issues In E-commerce Systems: Ifip Tc2 / Wg2.6 Ninth Working Conference On Database Semantics April 25-28, 2001, Hong Kong

Karl Aberer Couverture souple
160,95 $
2 formats offerts
Human Aspects of IT for the Aged Population. Technologies, Design and User Experience: 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Livre numérique Kobo
60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~
Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Wallace Chigona Couverture rigide
160,95 $
2 formats offerts
Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25-30, 2002, Montreal, Quebec, Canada

Jan Bosch Couverture souple
248,50 $
2 formats offerts
Asymmetric Cryptography: Primitives and Protocols

David Pointcheval Couverture rigide
198,00 $
2 formats offerts
Autonomous Intelligent Cyber Defense Agent (Aica): A Comprehensive Guide

Couverture rigide
233,95 $
2 formats offerts
Autonomous Intelligent Cyber Defense Agent (Aica): A Comprehensive Guide

Couverture souple
233,95 $
Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Wallace Chigona Couverture souple
72,95 $
Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Wallace Chigona Couverture rigide
175,50 $
2 formats offerts
Cloud To Edgeware: Wireless Grid Applications, Architecture And Security For The "Internet Of Things

Lee Warren Mcknight Couverture rigide
216,50 $
2 formats offerts
Curves and Surfaces: 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

Jean-Daniel Boissonnat Couverture souple
80,50 $
2 formats offerts
Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Wallace Chigona Couverture souple
72,95 $

Évaluation éditoriale

michael huth

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Description

Vous aimerez peut-être aussi

Data Dissemination and Query in Mobile Social Networks

Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Nostradamus 2014: Prediction, Modeling And Analysis Of Complex Systems

Systems And Human Science - For Safety, Security And Dependability: Selected Papers Of The 1st International Symposium Ssr 2003, Osaka, Japan, November 2003

Modern Data Mining Algorithms In C++ And Cuda C: Recent Developments In Feature Extraction And Selection Algorithms For Data Science

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things: 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected Papers

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2

Semantic Issues In E-commerce Systems: Ifip Tc2 / Wg2.6 Ninth Working Conference On Database Semantics April 25-28, 2001, Hong Kong

Human Aspects of IT for the Aged Population. Technologies, Design and User Experience: 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25-30, 2002, Montreal, Quebec, Canada

Asymmetric Cryptography: Primitives and Protocols

Autonomous Intelligent Cyber Defense Agent (Aica): A Comprehensive Guide

Autonomous Intelligent Cyber Defense Agent (Aica): A Comprehensive Guide

Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Cloud To Edgeware: Wireless Grid Applications, Architecture And Security For The "Internet Of Things

Curves and Surfaces: 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

Implications of Information and Digital Technologies for Development: 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I