Skip to main content Skip to footer content

Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Edited by Dominic Orchard

Jan 16, 2021

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

179

Programming and Software Engineering

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030674373

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$94.95
2 formats available
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$58.50
Human Centered Computing: 7th International Conference, HCC 2021, Virtual Event, December 9-11, 2021, Revised Selected Papers

Qiaohong Zu Paperback
$124.50
2 formats available
Human Centered Computing: 6th International Conference, Hcc 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers

Qiaohong Zu Paperback
$160.95
2 formats available
Distributed Computer and Communication Networks: 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$131.50
2 formats available
Distributed Computer and Communication Networks: 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$160.95
2 formats available
Distributed Computer and Communication Networks: 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$160.95
2 formats available
Information Management: 10th International Conference, ICIM 2024, Cambridge, UK, March 8-10, 2024, Revised Selected Pape: 10th International Conference, ICIM 2024, Cambridge, UK, March 8-10, 2024, Revised Selected Papers

Shuliang Li Paperback
$72.95
Information Management: 10th International Conference, ICIM 2024, Cambridge, UK, March 8-10, 2024, Revised Selected Pape: 10th International Conference, ICIM 2024, Cambridge, UK, March 8-10, 2024, Revised Selected Papers

Shuliang Li Paperback
$145.95
2 formats available
Distributed Computer and Communication Networks: 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$94.95
2 formats available
Performance Evaluation Methodologies And Tools: 14th Eai International Conference, Valuetools 2021, Virtual Event, October 30-31, 2021, Proceedings

Qianchuan Zhao Paperback
$80.50
2 formats available
Challenging the Future with Lean: 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

Ton van Kollenburg Paperback
$72.95
Space Information Networks: First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers

Quan Yu Paperback
$80.50
2 formats available
Distributed Computer and Communication Networks: 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$72.95
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Paperback
$109.50
2 formats available
Distributed Computer and Communication Networks: 22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$80.50
2 formats available
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Paperback
$72.95
Artificial Intelligence and Machine Learning: 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8-10, 2023, Revised Selected Papers

Frans A. Oliehoek Paperback
$116.95
Distributed Computer and Communication Networks: 22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, Revised Selected Papers

Vladimir M. Vishnevskiy Paperback
$80.50
2 formats available
Serious Games Development and Applications: Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012, Proceedings

Minhua Ma Paperback
$105.50

Editorial reviews

dominic orchard

Author

Practical Aspects Of Declarative Languages: 24th International Symposium, Padl 2022, Philadelphia, Pa, Usa, January 17-18, 2022, Proceedings

James Cheney Paperback
$102.50
2 formats available
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Paperback
$80.50
2 formats available
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Paperback
$80.50
2 formats available
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Kostis Sagonas Paperback
$72.95
Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Ekaterina Komendantskaya Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
Fundamentals Of Computation Theory: 22nd International Symposium, Fct 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

Leszek Antoni Gäsieniec Paperback
$80.50
2 formats available
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Frank de Boer Paperback
$87.95
2 formats available
Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings

Martijn Mes Paperback
$189.95
2 formats available
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Esther Guerra Paperback
$80.50
2 formats available
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Wolfgang Ahrendt Paperback
$80.50
2 formats available
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Paperback
$72.95
2 formats available
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Thomas Wies Paperback
$72.95
2 formats available
Model-based Safety And Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Paperback
$102.50
2 formats available
Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

Sotiris Moschoyiannis Paperback
$102.50
2 formats available
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Paperback
$145.95
2 formats available
Integration Of Constraint Programming, Artificial Intelligence, And Operations Research: 17th International Conference, Cpaior 2020, Vienna, Austria, September 21-24, 2020, Proceedings

Emmanuel Hebrard Paperback
$80.50
2 formats available
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Ilya Sergey Paperback
$72.95
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Ricardo Rocha Paperback
$80.50