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: 80.50 CAD
Availability: In_Stock
Author: Josep Silva
ISBN: 9783030162016

Josep Silva

16 mars 2019

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

179

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030162016

Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012, Proceedings

Kurt J. Engemann Couverture souple
102,50 $
Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

Nirmit Desai Couverture souple
80,50 $
Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009

Lei Chen Couverture souple
80,50 $
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wei Dong Couverture souple
102,50 $
2 formats offerts
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
Human-Computer Interaction: Interaction Techniques and Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Julie A. Jacko Couverture souple
160,95 $
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
Science, Engineering Management and Information Technology: First International Conference, SEMIT 2022, Ankara, Turkey, September 8-9, 2022, Revised Selected Papers, Part II

Abolfazl Mirzazadeh Couverture souple
94,95 $
2 formats offerts
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings

Tassadit Bouadi Couverture souple
124,50 $
2 formats offerts
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Couverture souple
80,50 $
Advances In Signal Processing And Intelligent Recognition Systems: 6th International Symposium, Sirs 2020, Chennai, India, October 14-17, 2020, Revised Selected Papers

Sabu M. Thampi Couverture souple
80,50 $
2 formats offerts
Scalable Uncertainty Management: 14th International Conference, Sum 2020, Bozen-bolzano, Italy, September 23-25, 2020, Proceedings

Jesse Davis Couverture souple
80,50 $
2 formats offerts
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

Couverture souple
71,50 $
Human-Computer Interaction. Design and User Experience Case Studies: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Masaaki Kurosu Couverture souple
80,50 $
2 formats offerts
Systems and Virtualization Management: Standards and the Cloud: Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

Latifa Boursas Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Couverture souple
80,50 $
Human-Computer Interaction: Towards Mobile and Intelligent Interaction Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III

Julie A. Jacko Couverture souple
160,95 $
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings

Ladjel Bellatreche Couverture souple
131,50 $
2 formats offerts

Évaluation éditoriale

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
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: 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
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
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
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
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
Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar 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
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
Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Marek Cygan Couverture souple
80,50 $
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
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
Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Roman Wyrzykowski 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
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Roman Wyrzykowski Couverture souple
80,50 $
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
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

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

Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012, Proceedings

Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, 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

Human-Computer Interaction: Interaction Techniques and Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

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

Science, Engineering Management and Information Technology: First International Conference, SEMIT 2022, Ankara, Turkey, September 8-9, 2022, Revised Selected Papers, Part II

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Advances In Signal Processing And Intelligent Recognition Systems: 6th International Symposium, Sirs 2020, Chennai, India, October 14-17, 2020, Revised Selected Papers

Scalable Uncertainty Management: 14th International Conference, Sum 2020, Bozen-bolzano, Italy, September 23-25, 2020, Proceedings

Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

Human-Computer Interaction. Design and User Experience Case Studies: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Systems and Virtualization Management: Standards and the Cloud: Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Human-Computer Interaction: Towards Mobile and Intelligent Interaction Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III

Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, 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

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: 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

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

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

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

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

Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

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

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

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 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

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

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

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

Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

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

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