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
145,95 $
2 formats offerts
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 $
Advances in Bias and Fairness in Information Retrieval: 5th International Workshop, BIAS 2024, Washington, DC, USA, July 18, 2024, Revised Selected Papers

Alejandro Bellogin Couverture souple
94,95 $
2 formats offerts
Smart and Secure Embedded and Mobile Systems: Selected Papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25th November 2022, Arusha, Tanzania

Jorge Marx Gómez Couverture rigide
291,95 $
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
Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

Ville Kolehmainen Couverture souple
160,95 $
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Couverture souple
109,50 $
2 formats offerts
Human Activity Recognition and Anomaly Detection: 4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3-9, 2024, Revised Selected Papers

Kuan-Chuan Peng Couverture souple
94,95 $
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Couverture souple
72,95 $
Communicating With Data: Making Your Case With Data

Carl Allchin Couverture souple
99,99 $
2 formats offerts
Sustained Simulation Performance 2019 and 2020: Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019 and 2020

Michael M. Resch Couverture rigide
291,95 $
2 formats offerts
Computer-Aided Architectural Design: The Next City - New Technologies and the Future of the Built Environment: 16th International Conference, CAAD Futures 2015, Sao Paulo, Brazil, July 8-10, 2015. Selected Papers

Gabriela Celani Couverture souple
80,50 $
2 formats offerts
Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

Peter Sp Couverture souple
58,50 $
Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

Peter Sp Couverture souple
72,95 $
2 formats offerts
Sequences and Their Applications - SETA 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Tor Helleseth Couverture souple
80,50 $
Information Technology for Management: Solving Social and Business Problems through IT: ITBS 2023 Main Track and ISM 2023 Thematic Track, Held as Part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023, Extended and Revised Selected Papers

Ewa Ziemba Couverture souple
72,95 $
Information Technology for Management: Solving Social and Business Problems through IT: ITBS 2023 Main Track and ISM 2023 Thematic Track, Held as Part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023, Extended and Revised Selected Papers

Ewa Ziemba Couverture souple
94,95 $
2 formats offerts
Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Henry Han Couverture souple
72,95 $
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
AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

Rajendra Akerkar Couverture souple
58,50 $

Évaluation éditoriale

igor sedl

Auteur

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
Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Barbara Chapman Couverture souple
102,50 $
2 formats offerts
Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers

Angelo Sifaleras Couverture souple
102,50 $
2 formats offerts
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Couverture souple
80,50 $
2 formats offerts
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
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
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
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
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
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Jan Holub Couverture rigide
80,50 $
Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers

Edmund Burke Couverture rigide
80,50 $
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: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
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
Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

Katrin Amunts Couverture souple
72,95 $
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
Logic, Language, Information, And Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5-8, 2021, Proceedings

Alexandra Silva Couverture souple
116,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: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Francisco Dur Couverture souple
72,95 $
Job Scheduling Strategies For Parallel Processing: 23rd International Workshop, Jsspp 2020, New Orleans, La, Usa, May 22, 2020, Revised Selected Papers

Dalibor Klus 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

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

Advances in Bias and Fairness in Information Retrieval: 5th International Workshop, BIAS 2024, Washington, DC, USA, July 18, 2024, Revised Selected Papers

Smart and Secure Embedded and Mobile Systems: Selected Papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25th November 2022, Arusha, Tanzania

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

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

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

Human Activity Recognition and Anomaly Detection: 4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3-9, 2024, Revised Selected Papers

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

Communicating With Data: Making Your Case With Data

Sustained Simulation Performance 2019 and 2020: Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019 and 2020

Computer-Aided Architectural Design: The Next City - New Technologies and the Future of the Built Environment: 16th International Conference, CAAD Futures 2015, Sao Paulo, Brazil, July 8-10, 2015. Selected Papers

Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

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

Information Technology for Management: Solving Social and Business Problems through IT: ITBS 2023 Main Track and ISM 2023 Thematic Track, Held as Part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023, Extended and Revised Selected Papers

Information Technology for Management: Solving Social and Business Problems through IT: ITBS 2023 Main Track and ISM 2023 Thematic Track, Held as Part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023, Extended and Revised Selected Papers

Recent Advances in Next-Generation Data Science: Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

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

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

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

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

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

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

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

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

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

Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

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

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

Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

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

Logic, Language, Information, And Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5-8, 2021, Proceedings

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

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Job Scheduling Strategies For Parallel Processing: 23rd International Workshop, Jsspp 2020, New Orleans, La, Usa, May 22, 2020, Revised Selected Papers