Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers
Angelo Sifaleras, Said Salhi, Jack Brimberg
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
by Dirk Beyer, Marieke Huisman
- Language
- English
- Published
- 2018
- Publisher
- Springer International Publishing
- Pages
- 465
- ISBN
- 9783319899626
Subjects
- Programming
- Mathematics
- Computer Science
- Language Arts & Disciplines
- Computers
- Information Theory
- Library & Information Science
- Discrete Mathematics
- Hardware
- Artificial Intelligence
- Database Administration & Management
- Software Development & Engineering
- Human-Computer Interaction (HCI)
- Algorithms
- Information Technology
- Systems Analysis & Design
- Computer Architecture
- Cell Phones & Devices
Original edition
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IOriginally published in 2018 English Springer
Other editions (4)
- Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
- Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
- Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
- Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...
No reviews yet. Be the first.
Readers also liked
Code Book, The: The Secret History of Codes and Code-breaking
Simon Singh
Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy
Cathy O'Neil
The Information A History, a Theory, a Flood
James Gleick
Free to read
Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings
Burkhard Stiller, Robert Koch, Daphne Tuncer, Rémi Badonnel
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Lijun Zhang, Tomás Vojnar
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, Ugo Dal Lago
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Isil Dillig, Serdar Tasiran