Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Name: Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings
Price: 80.50 CAD
Availability: In_Stock
Author: Mahsa Shirmohammadi
ISBN: 9783030850364

Catalin Dima Édition : Mahsa Shirmohammadi

9 août 2021

80,50 $

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 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

155

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030850364

Smart Card Research and Advanced Applications: 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers

Pierre-yvan Liardet Couverture souple
80,50 $
2 formats offerts
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings

Thomas Stützle Couverture souple
80,50 $
Citizen in Sensor Networks: Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers

Jordi Nin Couverture souple
80,50 $
2 formats offerts
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings

Thomas Stützle Couverture souple
80,50 $
Data Analytics For Renewable Energy Integration. Technologies, Systems And Society: 6th Ecml Pkdd Workshop, Dare 2018, Dublin, Ireland, September 10, 2018, Revised Selected Papers

Wei Lee Woon Couverture souple
80,50 $
2 formats offerts
Advances in Chance Discovery: Extended Selection from International Workshops

Yukio Ohsawa Couverture souple
160,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
109,50 $
2 formats offerts
Algorithms and Architectures for Parallel Processing, Part I: 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I

Yang Xiang Couverture souple
80,50 $
Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings

Viktoria Stray Couverture souple
72,95 $
2 formats offerts
VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers

Victor Grimblatt Couverture souple
80,50 $
VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers

Victor Grimblatt Couverture rigide
80,50 $
2 formats offerts
Collaborative Networks in Digitalization and Society 5.0: 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Luis M. Camarinha-Matos Couverture souple
248,50 $
Computer and Communication Engineering: 2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022, Revised Selected Papers

Filippo Neri Couverture souple
80,50 $
2 formats offerts
Advances in Building Information Modeling: Second Eurasian BIM Forum, EBF 2021, Istanbul, Turkey, November 11-12, 2021, Revised Selected Papers

Ozan Önder Özener Couverture souple
80,50 $
2 formats offerts
Advances in Communication Networking: 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Yvon Kermarrec Couverture souple
80,50 $
2 formats offerts
Multi-agent Systems: 18th European Conference, Eumas 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

Ariel Rosenfeld Couverture souple
80,50 $
2 formats offerts
Modelling and Development of Intelligent Systems: 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers

Dana Simian Couverture souple
131,50 $
2 formats offerts
Bioinspired Optimization Methods and Their Applications: 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, 2022, Proceedings

Marjan Mernik Couverture souple
102,50 $
2 formats offerts
Future Access Enablers For Ubiquitous And Intelligent Infrastructures: 5th Eai International Conference, Fabulous 2021, Virtual Event, May 6-7, 2021, Proceedings

Dragan Perakovic Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $

Évaluation éditoriale

mahsa shirmohammadi

Auteur

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Couverture souple
80,50 $
2 formats offerts
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Couverture souple
80,50 $
2 formats offerts
Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Mohamed Faouzi Atig Couverture souple
80,50 $
2 formats offerts
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies: Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings

Nitin Agarwal Couverture souple
124,50 $
2 formats offerts
Integration Of Constraint Programming, Artificial Intelligence, And Operations Research: 18th International Conference, Cpaior 2021, Vienna, Austria, July 5-8, 2021, Proceedings

Peter J. Stuckey Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Marco Gribaudo Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Couverture souple
175,50 $
2 formats offerts
Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Galina Jiráskov Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
Integration Of Constraint Programming, Artificial Intelligence, And Operations Research: 17th International Conference, Cpaior 2020, Vienna, Austria, September 21-24, 2020, Proceedings

Emmanuel Hebrard Couverture souple
80,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Steven Derrien Couverture souple
80,50 $
2 formats offerts
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts
Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Alexandra Bac Couverture souple
80,50 $
2 formats offerts
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Couverture souple
160,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Couverture souple
80,50 $
Mathematical Optimization Theory And Operations Research: 18th International Conference, Motor 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

Michael Khachay Couverture souple
145,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Description

Vous aimerez peut-être aussi

Smart Card Research and Advanced Applications: 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings

Citizen in Sensor Networks: Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings

Data Analytics For Renewable Energy Integration. Technologies, Systems And Society: 6th Ecml Pkdd Workshop, Dare 2018, Dublin, Ireland, September 10, 2018, Revised Selected Papers

Advances in Chance Discovery: Extended Selection from International Workshops

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Algorithms and Architectures for Parallel Processing, Part I: 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I

Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings

VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers

VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers

Collaborative Networks in Digitalization and Society 5.0: 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Computer and Communication Engineering: 2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022, Revised Selected Papers

Advances in Building Information Modeling: Second Eurasian BIM Forum, EBF 2021, Istanbul, Turkey, November 11-12, 2021, Revised Selected Papers

Advances in Communication Networking: 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Multi-agent Systems: 18th European Conference, Eumas 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

Modelling and Development of Intelligent Systems: 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers

Bioinspired Optimization Methods and Their Applications: 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, 2022, Proceedings

Future Access Enablers For Ubiquitous And Intelligent Infrastructures: 5th Eai International Conference, Fabulous 2021, Virtual Event, May 6-7, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies: Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings

Integration Of Constraint Programming, Artificial Intelligence, And Operations Research: 18th International Conference, Cpaior 2021, Vienna, Austria, July 5-8, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Integration Of Constraint Programming, Artificial Intelligence, And Operations Research: 17th International Conference, Cpaior 2020, Vienna, Austria, September 21-24, 2020, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Mathematical Optimization Theory And Operations Research: 18th International Conference, Motor 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings