Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Name: Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
Price: 124.50 CAD
Availability: InStock
Author: Yulia Zinova
ISBN: 9783030984786

Edited by Yulia Zinova

Mar 31, 2022

$124.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 623 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

355

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783030984786

Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff Paperback
$80.50
2 formats available
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Paperback
$94.95
2 formats available
Numerical Mathematics And Advanced Applications Enumath 2019: European Conference, Egmond Aan Zee, The Netherlands, September 30 - October 4

Fred J. Vermolen Hardcover
$554.95
2 formats available
Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Daniel Paulusma Paperback
$116.95
2 formats available
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Paperback
$87.95
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Annie Foret Paperback
$80.50
2 formats available
Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach Paperback
$80.50
Cultures Of Mathematics And Logic: Selected Papers From The Conference In Guangzhou, China, November 9-12, 2012

Shier Ju Paperback
$160.95
3 formats available
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$94.95
2 formats available
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$58.50
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Evripidis Bampis Paperback
$94.95
2 formats available
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Paperback
$72.95
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Stefan Kiefer Paperback
$72.95
Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Ivan Georgiev Paperback
$124.50
2 formats available
Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Nicholas Olenev Paperback
$102.50
2 formats available
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Michael Fisher Paperback
$80.50
Proceedings of the Third International Algebra Conference: June 16-july 1, 2002 Chang Jung Christian University, Tainan, Taiwan

Efim Yuen Fong Paperback
$160.95
2 formats available
Approximation Methods for Navier-Stokes Problems: Proceedings of the Symposium Held by the International Union of Theoretical and Applied Mechanics (IUTAM) at the University of Paderborn, Germany, September 9-15, 1979

Paperback
$76.95
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Jean-Yves Béziau Hardcover
$291.95
2 formats available
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret Paperback
$80.50
2 formats available

Editorial reviews

yulia zinova

Author

Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 - October 1, 2021, Revised Selected Papers

Riham AlTawy Paperback
$131.50
2 formats available
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Paperback
$72.95
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

Foteini Baldimtsi Paperback
$58.50
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Foteini Baldimtsi Paperback
$58.50
Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

Mark Manulis Paperback
$58.50
Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

Mark Manulis Paperback
$94.95
2 formats available
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.95
2 formats available
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Ivan Lirkov Paperback
$80.50
2 formats available
Graph-Theoretic Concepts in Computer Science: 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

Daniel Krá Paperback
$116.95
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

Foteini Baldimtsi Paperback
$109.50
2 formats available
Digital Business: First International ICST Conference, DigiBiz 2009, London, UK, June 17-19, 2009, Revised Selected Pape: First International ICST Conference, DigiBiz 2009, London, UK, June 17-19, 2009, Revised Selected Papers

Veselin Rakocevic Paperback
$80.50
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Foteini Baldimtsi Paperback
$175.50
2 formats available
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Paperback
$58.50
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Optical SuperComputing: Second International Workshop, Osc 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings

Shlomi Dolev Paperback
$80.50
Metadata and Semantic Research: 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers

Emmanouel Garoufallou Paperback
$72.95
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

Alexander Gelbukh Paperback
$80.50
2 formats available
Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers

Ittay Eyal Paperback
$175.50
2 formats available
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Paperback
$72.95
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Paperback
$72.95

Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Overview

You May Also Like

Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Numerical Mathematics And Advanced Applications Enumath 2019: European Conference, Egmond Aan Zee, The Netherlands, September 30 - October 4

Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Cultures Of Mathematics And Logic: Selected Papers From The Conference In Guangzhou, China, November 9-12, 2012

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Proceedings of the Third International Algebra Conference: June 16-july 1, 2002 Chang Jung Christian University, Tainan, Taiwan

Approximation Methods for Navier-Stokes Problems: Proceedings of the Symposium Held by the International Union of Theoretical and Applied Mechanics (IUTAM) at the University of Paderborn, Germany, September 9-15, 1979

Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 - October 1, 2021, Revised Selected Papers

Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

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

Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science: 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

Digital Business: First International ICST Conference, DigiBiz 2009, London, UK, June 17-19, 2009, Revised Selected Pape: First International ICST Conference, DigiBiz 2009, London, UK, June 17-19, 2009, Revised Selected Papers

Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, BraA, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Optical SuperComputing: Second International Workshop, Osc 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings

Metadata and Semantic Research: 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers

Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers

Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers