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 Édition : Igor Sedl

22 décembre 2020

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

295

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030658397

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 Couverture souple
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 Couverture souple
145,95 $
2 formats offerts
Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Nils Bulling Couverture souple
80,50 $
2 formats offerts
Advances in Bias and Fairness in Information Retrieval: 4th International Workshop, BIAS 2023, Dublin, Ireland, April 2, 2023, Revised Selected Papers

Ludovico Boratto Couverture souple
102,50 $
2 formats offerts
Model Design and Simulation Analysis: 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Syng Yup Ohn Couverture souple
76,50 $
2 formats offerts
Advances in Quantitative Ethnography: 6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II

YJ Kim Couverture souple
116,95 $
2 formats offerts
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Couverture souple
72,95 $
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Couverture souple
109,50 $
2 formats offerts
Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975

Couverture souple
51,95 $
Research and Practical Issues of Enterprise Information Systems: 10th IFIP WG 8.9 Working Conference, CONFENIS 2016, Vienna, Austria, December 13-14, 2016, Proceedings

A Min Tjoa Couverture souple
80,50 $
2 formats offerts
Emerging Technologies In Computing: Third Eai International Conference, Icetic 2020, London, Uk, August 19-20, 2020, Proceedings

Mahdi H. Miraz Couverture souple
80,50 $
2 formats offerts
Advances in Data Mining - Theoretical Aspects and Applications: 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings

Petra Perner Couverture souple
80,50 $
Sequences and Their Applications - SETA 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Tor Helleseth Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
58,50 $
Global Perspectives on Design Science Research: 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings

Robert Winter Couverture souple
175,50 $
Energy Minimization Methods in Computer Vision and Pattern Recognition: 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009, Proceedings

Daniel Cremers Couverture souple
80,50 $
Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings

Anastasia Ailamaki Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
94,95 $
2 formats offerts
Computational Science And Its Applications - Iccsa 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II

Beniamino Murgante Couverture souple
80,50 $
Location and Context Awareness: 4th International Symposium, Loca 2009 Tokyo, Japan, May 7-8, 2009 Proceedings

Tanzeem Choudhury Couverture souple
80,50 $

Évaluation éditoriale

igor sedl

Auteur

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

Nina Gierasimczuk Couverture souple
58,50 $
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Carlos Areces Couverture souple
87,95 $
2 formats offerts
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Penousal Machado Couverture souple
72,95 $
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
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
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
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Eitan Frachtenberg Couverture souple
80,50 $
Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lu Soares Barbosa Couverture souple
80,50 $
2 formats offerts
Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers

Carlos A. Coello-Coello Couverture souple
80,50 $
Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Ivona Brandic Couverture souple
87,95 $
2 formats offerts
Deep Learning Theory and Applications: Third International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022, Revised Selected Papers

Ana Fred Couverture souple
102,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
User Centric Media: Second International Conference, UCMedia 2010, Palma, Mallorca, Spain, September 1-3, 2010, Revised Selected Papers

Federico Alvarez Couverture souple
102,50 $
Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

Giuseppe Persiano Couverture souple
80,50 $
Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Ana Fred Couverture souple
102,50 $
2 formats offerts
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers

Ana Fred Couverture souple
160,95 $
2 formats offerts
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
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 $
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Couverture souple
80,50 $

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

Description

Vous aimerez peut-être aussi

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

Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Advances in Bias and Fairness in Information Retrieval: 4th International Workshop, BIAS 2023, Dublin, Ireland, April 2, 2023, Revised Selected Papers

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

Advances in Quantitative Ethnography: 6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975

Research and Practical Issues of Enterprise Information Systems: 10th IFIP WG 8.9 Working Conference, CONFENIS 2016, Vienna, Austria, December 13-14, 2016, Proceedings

Emerging Technologies In Computing: Third Eai International Conference, Icetic 2020, London, Uk, August 19-20, 2020, Proceedings

Advances in Data Mining - Theoretical Aspects and Applications: 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings

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

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

Global Perspectives on Design Science Research: 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings

Energy Minimization Methods in Computer Vision and Pattern Recognition: 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009, Proceedings

Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings

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

Computational Science And Its Applications - Iccsa 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II

Location and Context Awareness: 4th International Symposium, Loca 2009 Tokyo, Japan, May 7-8, 2009 Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, 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: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

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

Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers

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

Deep Learning Theory and Applications: Third International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022, Revised Selected Papers

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

User Centric Media: Second International Conference, UCMedia 2010, Palma, Mallorca, Spain, September 1-3, 2010, Revised Selected Papers

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

Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, 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

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

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

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