Skip to main content Skip to footer content

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Edited by Luís Soares Barbosa

Jan 19, 2020

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Theoretical Computer Science and General Issues

Publisher: Springer International Publishing

ISBN: 9783030388089

Programming Languages And Systems: 16th Asian Symposium, Aplas 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

Sukyoung Ryu Paperback
$80.50
2 formats available
Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Theodor G. Wyeld Hardcover
$80.50
Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Manuel Oriol Paperback
$80.50
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Hardcover
$160.95
Advances in Conceptual Modeling: ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Tiago Prince Sales Paperback
$109.50
2 formats available
Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012, Revised Selected Papers

Gianni A. Di Caro Paperback
$80.50
2 formats available
Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Klaus-Dieter Schewe Paperback
$80.50
2 formats available
Ambient Assisted Living: Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011, Proceedings

Jose Bravo Paperback
$80.50
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
From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Juliana Bowles Paperback
$94.95
2 formats available
Haptic and Audio Interaction Design: 5th International Workshop, Haid 2010, Copenhagen, Denmark, September 16-17, 2010, Proceedings

Rolf Nordahl Paperback
$80.50
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Kostis Sagonas Paperback
$72.95
Cross-Cultural Design. Methods, Tools and User Experience: 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

Pei-Luen Patrick Rau Paperback
$80.50
2 formats available
Human Centered Design: Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

Masaaki Kurosu Paperback
$160.95
The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings

Robert Andrei Buchmann Paperback
$80.50
2 formats available
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Paperback
$145.95
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available
Adaptive Instructional Systems: 4th International Conference, AIS 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Robert A. Sottilare Paperback
$124.50
2 formats available
Computers Helping People With Special Needs: 17th International Conference, Icchp 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part I

Klaus Miesenberger Paperback
$145.95
2 formats available
New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings

El Hassan Abdelwahed Paperback
$80.50
2 formats available

Editorial reviews

luis soares barbosa

Author

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

Manuel A. Martins Paperback
$80.50
2 formats available
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
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Paperback
$102.50
2 formats available
Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Paperback
$116.95
2 formats available
Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers

Carlos A. Coello-Coello Paperback
$80.50
Combinatorial Algorithms: 31st International Workshop, Iwoca 2020, Bordeaux, France, June 8-10, 2020, Proceedings

Leszek Gäsieniec Paperback
$80.50
2 formats available
Structural Information And Communication Complexity: 26th International Colloquium, Sirocco 2019, L'aquila, Italy, July 1-4, 2019, Proceedings

Keren Censor-hillel Paperback
$80.50
2 formats available
Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Tiziana Calamoneri Paperback
$124.50
2 formats available
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
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Paperback
$80.50
2 formats available
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Paperback
$175.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Paperback
$80.50
2 formats available
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Paperback
$80.50
2 formats available
Algorithms And Discrete Applied Mathematics: 6th International Conference, Caldam 2020, Hyderabad, India, February 13-15, 2020, Proceedings

Manoj Changat Paperback
$116.95
2 formats available
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Paperback
$80.50
2 formats available
Functional And Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

Keisuke Nakano Paperback
$80.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Paperback
$80.50
2 formats available
Language And Automata Theory And Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings

Alberto Leporati Paperback
$80.50
2 formats available
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses Paperback
$80.50