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

Name: Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Manuel A. Martins
ISBN: 9783030658403

Édition : Manuel A. Martins

23 décembre 2020

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030658403

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

manuel a martins

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, DaLí 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