Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Name: Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Josep Silva
ISBN: 9783030162023

Édition : Josep Silva

22 mai 2019

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030162023

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Distributed, Ambient, and Pervasive Interactions: Third International Conference, DAPI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Norbert Streitz Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Andreas Holzinger Couverture souple
102,50 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Don Harris Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
High Performance Computing for Computational Science - VECPAR 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Michel Dayde Couverture souple
80,50 $
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Couverture souple
102,50 $
2 formats offerts
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part I

Hugo Plácido da Silva Couverture souple
124,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
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part I

Hugo Plácido da Silva Couverture souple
58,50 $
Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Norbert Streitz Couverture souple
80,50 $
2 formats offerts
System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Pau Fonseca i Casas Couverture souple
80,50 $
2 formats offerts
Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part II

Hugo Plácido da Silva Couverture souple
58,50 $
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen Couverture souple
80,50 $
Haptic and Audio Interaction Design: 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012, Proceedings

Charlotte Magnusson Couverture souple
105,50 $

Évaluation éditoriale

josep silva

Auteur

Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus Couverture souple
80,50 $
2 formats offerts
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Aleksander Byrski Couverture souple
80,50 $
2 formats offerts
High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Couverture souple
80,50 $
2 formats offerts
Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Couverture souple
65,95 $
2 formats offerts
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Couverture souple
80,50 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fabio Fioravanti Couverture souple
80,50 $
2 formats offerts
Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

William J. Bowman 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
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli Couverture souple
80,50 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Couverture souple
65,95 $
2 formats offerts
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Marco Nehmeier Couverture souple
80,50 $
2 formats offerts
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Couverture souple
129,73 $ ~~Réduction sur le prix courant 145,95 $ à~~
2 formats offerts
Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Leah Epstein Couverture souple
80,50 $
2 formats offerts
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
Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

Katrin Amunts Couverture souple
72,95 $
2 formats offerts
Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Couverture souple
80,50 $
2 formats offerts
Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Markidis Couverture souple
65,95 $
2 formats offerts
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

Manuel A. Martins Couverture souple
80,50 $
2 formats offerts

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Distributed, Ambient, and Pervasive Interactions: Third International Conference, DAPI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

High Performance Computing for Computational Science - VECPAR 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part I

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Haptic and Audio Interaction Design: 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

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

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

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

Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Dynamic Logic. New Trends and Applications: Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers