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

Name: Dynamic Logic. New Trends and Applications: Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Igor Sedl
ISBN: 9783030658397

Manuel A. Martins Edited by Igor Sedl

Dec 22, 2020

$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

295

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030658397

VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers

Mihai Dugulean Paperback
$87.95
2 formats available
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Paperback
$109.50
2 formats available
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Paperback
$72.95
Gaming, Simulation and Innovations: Challenges and Opportunities: 52nd International Simulation and Gaming Association Conference, ISAGA 2021, Indore, India, September 6-10, 2021, Revised Selected Papers

Upinder Dhar Paperback
$131.50
2 formats available
Sequences and Their Applications - SETA 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Tor Helleseth Paperback
$80.50
Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers

Casper Harteveld Paperback
$102.50
2 formats available
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Joaquim Filipe Paperback
$72.95
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Joaquim Filipe Paperback
$94.95
2 formats available
Model Design and Simulation Analysis: 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Syng Yup Ohn Paperback
$76.50
2 formats available
Applied Machine Learning and Data Analytics: 6th International Conference, AMLDA 2023, Lubeck, Germany, November 9-10, 2023, Revised Selected Papers

M. A. Jabbar Paperback
$58.50
Metadata And Semantic Research: 14th International Conference, Mtsr 2020, Madrid, Spain, December 2-4, 2020, Revised Selected Papers

Emmanouel Garoufallou Paperback
$80.50
2 formats available
Information Technology for Management: Emerging Research and Applications: 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9-12, 2018, Revised and Extended Selected Papers

Ewa Ziemba Paperback
$80.50
2 formats available
Green Communication and Networking: First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers

Joel Jos Rodrigues Paperback
$80.50
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone Paperback
$80.50
2 formats available
AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

Rajendra Akerkar Paperback
$58.50
VLSI Design and Test: 26th International Symposium, VDAT 2022, Jammu, India, July 17-19, 2022, Revised Selected Papers

Ambika Prasad Shah Paperback
$160.95
2 formats available
Human-Computer Interaction: Users and Contexts: 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part III

Masaaki Kurosu Paperback
$80.50
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
Advancements in Smart Computing and Information Security: Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part III

Sridaran Rajagopal Paperback
$204.50
2 formats available

Editorial reviews

igor sedl

Author

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

Josep Silva Paperback
$80.50
2 formats available
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

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

Santiago Escobar Paperback
$80.50
2 formats available
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Carlos Areces Paperback
$87.95
2 formats available
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers

Ana Fred Paperback
$160.95
2 formats available
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Penousal Machado Paperback
$72.95
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Paperback
$58.50
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

Ana Fred Paperback
$80.50
2 formats available
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

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

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

Leah Epstein Paperback
$80.50
2 formats available
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9-11, 2016, Revised Selected Papers

Ana Fred Paperback
$80.50
2 formats available
Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Ivona Brandic Paperback
$87.95
2 formats available
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

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

Gianlorenzo D'angelo Paperback
$87.95
2 formats available
Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

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

Maurizio Gabbrielli Paperback
$80.50
2 formats available
Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Anna I. Esparcia-alc Paperback
$160.95
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

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

Michael Hanus Paperback
$80.50
2 formats available

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

Overview

You May Also Like

VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers

Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Gaming, Simulation and Innovations: Challenges and Opportunities: 52nd International Simulation and Gaming Association Conference, ISAGA 2021, Indore, India, September 6-10, 2021, Revised Selected Papers

Sequences and Their Applications - SETA 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers

Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Model Design and Simulation Analysis: 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Applied Machine Learning and Data Analytics: 6th International Conference, AMLDA 2023, Lubeck, Germany, November 9-10, 2023, Revised Selected Papers

Metadata And Semantic Research: 14th International Conference, Mtsr 2020, Madrid, Spain, December 2-4, 2020, Revised Selected Papers

Information Technology for Management: Emerging Research and Applications: 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9-12, 2018, Revised and Extended Selected Papers

Green Communication and Networking: First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers

Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

VLSI Design and Test: 26th International Symposium, VDAT 2022, Jammu, India, July 17-19, 2022, Revised Selected Papers

Human-Computer Interaction: Users and Contexts: 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part III

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

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

Advancements in Smart Computing and Information Security: Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part III

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

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

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

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers

Evolutionary and Biologically Inspired Music, Sound, Art and Design: Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

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

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

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9-11, 2016, Revised Selected Papers

Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

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

Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

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

Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

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