Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Name: Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Ricardo Pe
ISBN: 9783319141244

Gopal Gupta Édition : Ricardo Pe

22 décembre 2014

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

237

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

Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers

Mehdi Dastani Couverture rigide
80,50 $
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
Roundabouts as Safe and Modern Solutions in Transport Networks and Systems: 15th Scientific and Technical Conference "Transport Systems. Theory and Practice 2018", Katowice, Poland, September 17-19, 2018, Selected Papers

Elå¼bieta Macioszek Couverture souple
160,95 $
2 formats offerts
iNetSec 2009 - Open Research Problems in Network Security: IFIP Wg 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009, Revised Selected Papers

Jan Camenisch Couverture souple
80,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Production Research: 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I

Daniel Alejandro Rossit Couverture souple
80,50 $
2 formats offerts
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health: 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Vincent G. Duffy Couverture souple
80,50 $
2 formats offerts
Production Research: 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II

Daniel Alejandro Rossit Couverture souple
80,50 $
2 formats offerts
ICT for Health, Accessibility and Wellbeing: Second International Conference, IHAW 2022, Larnaca, Cyprus, December 5-7, 2022, Revised Selected Papers

George Angelos Papadopoulos Couverture souple
124,50 $
2 formats offerts
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Maoguo Gong Couverture souple
80,50 $
2 formats offerts
Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Lutz Maicher Couverture souple
80,50 $
Enterprise Applications, Markets and Services in the Finance Industry: 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers

Benjamin Clapham Couverture souple
80,50 $
2 formats offerts
Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Carina S. González-Gonz Couverture souple
145,95 $
2 formats offerts
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30-September 1, 2010, Revised Selected Papers

Mehdi Dastani Couverture souple
102,50 $
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service: 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Vincent G. Duffy Couverture souple
80,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 $
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Maoguo Gong Couverture souple
80,50 $
2 formats offerts
Lean Business Systems and Beyond: First IFIP TC 5 Advanced Production Management Systems Conference (APMS'2006), Wroclaw, Poland, September 18-20, 2006

Tomasz Koch Couverture souple
248,50 $
2 formats offerts
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Ricardo J. Machado Couverture souple
72,95 $
Advanced Techniques for Knowledge Engineering and Innovative Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Jeffrey Tweedale Couverture souple
80,50 $

Évaluation éditoriale

ricardo pe

Auteur

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
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Couverture souple
105,50 $
Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Maribel Fernández Couverture souple
124,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
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
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

Alexander Gelbukh 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

Josep Silva 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
Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Christian Blum Couverture souple
80,50 $
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings

Dimitra Giannakopoulou Couverture souple
80,50 $
Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

W. F. Symth Couverture souple
80,50 $
Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings

Pascal Felber Couverture souple
80,50 $
Biomedical Engineering Systems and Technologies: 9th International Joint Conference, BIOSTEC 2016, Rome, Italy, February 21-23, 2016, Revised Selected Papers

Ana Fred Couverture souple
80,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Javier Esparza Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Couverture souple
87,95 $
2 formats offerts
Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Shay Kutten Couverture souple
80,50 $
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 $
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Couverture souple
58,50 $
Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers

Gianlorenzo D'angelo Couverture souple
87,95 $
2 formats offerts

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers

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

Roundabouts as Safe and Modern Solutions in Transport Networks and Systems: 15th Scientific and Technical Conference "Transport Systems. Theory and Practice 2018", Katowice, Poland, September 17-19, 2018, Selected Papers

iNetSec 2009 - Open Research Problems in Network Security: IFIP Wg 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Production Research: 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health: 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Production Research: 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II

ICT for Health, Accessibility and Wellbeing: Second International Conference, IHAW 2022, Larnaca, Cyprus, December 5-7, 2022, Revised Selected Papers

Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Enterprise Applications, Markets and Services in the Finance Industry: 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers

Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30-September 1, 2010, Revised Selected Papers

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service: 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

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

Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Lean Business Systems and Beyond: First IFIP TC 5 Advanced Production Management Systems Conference (APMS'2006), Wroclaw, Poland, September 18-20, 2006

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Advanced Techniques for Knowledge Engineering and Innovative Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

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

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

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

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

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

Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings

Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings

Biomedical Engineering Systems and Technologies: 9th International Joint Conference, BIOSTEC 2016, Rome, Italy, February 21-23, 2016, Revised Selected Papers

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

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

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers