SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

Name: SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Herodotos Herodotou
ISBN: 9783030389185

Alexander Chatzigeorgiou Edited by Riccardo Dondi , Herodotos Herodotou

Jan 17, 2020

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

Overview

Language

English

No. of Pages

723

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030389185

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Paul G. Spirakis Paperback
$80.50
WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

Sheung-hung Poon Paperback
$80.50
2 formats available
Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Donald Ferguson Paperback
$80.50
2 formats available
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Paperback
$72.95
2 formats available
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Paperback
$72.95
2 formats available
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Paperback
$58.50
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Paperback
$72.95
2 formats available
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Andrew Pitts Paperback
$80.50
Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments: 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Margherita Antona Paperback
$80.50
2 formats available
Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Don Harris Paperback
$80.50
2 formats available
Augmented Cognition. Theoretical and Technological Approaches: 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Dylan D. Schmorrow Paperback
$109.50
2 formats available
Computer-Human Interaction Research and Applications: 5th International Conference, CHIRA 2021, Virtual Event, October 28-29, 2021, and 6th International Conference, CHIRA 2022, Valletta, Malta, October 27-28, 2022, Revised Selected Papers

Andreas Holzinger Paperback
$94.95
2 formats available
Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

J Durand-Lose Paperback
$262.95
2 formats available
WALCOM: Algorithms and Computation: 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings

M. Sohel Rahman Paperback
$109.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
Application And Theory Of Petri Nets And Concurrency: 41st International Conference, Petri Nets 2020, Paris, France, June 24-25, 2020, Proceedings

Ryszard Janicki Paperback
$80.50
2 formats available
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Bart Jacobs Paperback
$80.50
2 formats available
Universal Access in Human-Computer Interaction. Applications and Practice: 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Margherita Antona Paperback
$80.50
2 formats available
Human-Computer Interaction. Theoretical Approaches and Design Methods: Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings, Part I

Masaaki Kurosu Paperback
$160.95
2 formats available
Gift Card

Indigo

Editorial reviews

riccardo dondi

Author

SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings

Tomá Bure Paperback
$160.95
2 formats available
SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Rå Freivalds Paperback
$80.50
2 formats available
SOFSEM 2024: Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Henning Fernau Paperback
$116.95
2 formats available
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina 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
Theory And Practice Of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings

Carlos Martín-Vide Paperback
$94.95
2 formats available
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Novy Smokovec, Slovakia, January 15-18, 2023, Proceedings

Leszek Gäsieniec Paperback
$124.50
2 formats available
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Claus Aranha Paperback
$87.95
2 formats available
Theory And Practice Of Natural Computing: 9th International Conference, Tpnc 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings

Carlos Martín-Vide Paperback
$80.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Paperback
$80.50
2 formats available
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Christel Baier Paperback
$87.95
2 formats available
SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, Proceedings

Viliam Geffert Paperback
$80.50
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Paperback
$80.50
2 formats available
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Nikolaj Bjorner Paperback
$80.50
2 formats available
Computer Science - Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings

Ren Van Bevern Paperback
$80.50
2 formats available
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Javier Esparza Paperback
$80.50
2 formats available
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman Paperback
$80.50
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings

Jir Wiedermann Paperback
$80.50
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

SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

Overview

You May Also Like

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments: 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Augmented Cognition. Theoretical and Technological Approaches: 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Computer-Human Interaction Research and Applications: 5th International Conference, CHIRA 2021, Virtual Event, October 28-29, 2021, and 6th International Conference, CHIRA 2022, Valletta, Malta, October 27-28, 2022, Revised Selected Papers

Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

WALCOM: Algorithms and Computation: 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings

Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Application And Theory Of Petri Nets And Concurrency: 41st International Conference, Petri Nets 2020, Paris, France, June 24-25, 2020, Proceedings

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Universal Access in Human-Computer Interaction. Applications and Practice: 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Human-Computer Interaction. Theoretical Approaches and Design Methods: Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings, Part I

Gift Card

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings

SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

SOFSEM 2024: Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Theory And Practice Of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings

SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Novy Smokovec, Slovakia, January 15-18, 2023, Proceedings

Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Theory And Practice Of Natural Computing: 9th International Conference, Tpnc 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings

Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, Proceedings

Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Computer Science - Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings