41- 60 of 944 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Author: Manuel V Hermenegildo
QUICK ADD
Logic-Based Program Synthesis…
by Manuel V Hermenegildo (Editor), Pedro Lopez-Garcia (Editor)
#10184 in Series
eBook $54.99
Title: Reuse in the Big Data Era: 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings, Author: Xin Peng
QUICK ADD
Reuse in the Big Data Era:…
by Xin Peng (Editor), Apostolos Ampatzoglou (Editor), Tanmay Bhowmik (Editor)
#11602 in Series
eBook $54.99
Title: Building Better PowerShell Code: Applying Proven Practices One Tip at a Time, Author: Adam Bertram
QUICK ADD
Building Better PowerShell…
by Adam Bertram
eBook $54.99
Title: Algebraic Informatics: 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019, Proceedings, Author: Miroslav Ciric
QUICK ADD
Algebraic Informatics: 8th…
by Miroslav Ciric (Editor), Manfred Droste (Editor), Jean-Éric Pin (Editor)
#11545 in Series
eBook $54.99
Title: Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Nathalie Bertrand
QUICK ADD
Quantitative Evaluation of…
by Nathalie Bertrand (Editor), Luca Bortolussi (Editor)
#10503 in Series
eBook $54.99
Title: Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015, Proceedings, Author: Adrian Kosowski
QUICK ADD
Fundamentals of Computation…
by Adrian Kosowski (Editor), Igor Walukiewicz (Editor)
#9210 in Series
eBook $54.99
Title: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Luís Soares Barbosa
QUICK ADD
Dynamic Logic. New Trends and…
by Luís Soares Barbosa (Editor), Alexandru Baltag (Editor)
#12005 in Series
eBook $54.99
Title: Algorithms and Discrete Applied Mathematics: Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings, Author: Sathish Govindarajan
QUICK ADD
Algorithms and Discrete…
by Sathish Govindarajan (Editor), Anil Maheshwari (Editor)
#9602 in Series
eBook $54.99
Title: Structural Information and Communication Complexity: 28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28 - July 1, 2021, Proceedings, Author: Tomasz Jurdzinski
QUICK ADD
Structural Information and…
by Tomasz Jurdzinski (Editor), Stefan Schmid (Editor)
#12810 in Series
eBook $54.99
Title: Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings, Author: Ding-Zhu Du
QUICK ADD
Computing and Combinatorics:…
by Ding-Zhu Du (Editor), Zhenhua Duan (Editor), Cong Tian (Editor)
#11653 in Series
eBook $54.99
Title: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Author: Mohamed Faouzi Atig
QUICK ADD
Verification and Evaluation of…
by Mohamed Faouzi Atig (Editor), Saddek Bensalem (Editor), Simon Bliudze (Editor), Bruno Monsuez (Editor)
#11181 in Series
eBook $54.99
Title: Beginning Microsoft Power BI: A Practical Guide to Self-Service Data Analytics, Author: Dan Clark
QUICK ADD
Beginning Microsoft Power BI:…
by Dan Clark
eBook $54.99
Title: Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, Author: Cyrille Artho
QUICK ADD
Formal Techniques for…
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
#1008 in Series
eBook $54.99
Title: Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers, Author: Ivan Lirkov
QUICK ADD
Large-Scale Scientific…
by Ivan Lirkov (Editor), Svetozar Margenov (Editor)
#11958 in Series
eBook $54.99
Title: Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Author: Sergiy Bogomolov
QUICK ADD
Numerical Software…
by Sergiy Bogomolov (Editor), Matthieu Martel (Editor), Pavithra Prabhakar (Editor)
#10152 in Series
eBook $54.99
Title: Algorithmic Aspects of Cloud Computing: 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised Selected Papers, Author: Yann Disser
QUICK ADD
Algorithmic Aspects of Cloud…
by Yann Disser (Editor), Vassilios S. Verykios (Editor)
#11409 in Series
eBook $54.99
Title: Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, Author: Andreas Podelski
QUICK ADD
Static Analysis: 25th…
by Andreas Podelski (Editor)
#11002 in Series
eBook $54.99
Title: Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings, Author: Jerome Durand-Lose
QUICK ADD
Machines, Computations, and…
by Jerome Durand-Lose (Editor), Benedek Nagy (Editor)
#9288 in Series
eBook $54.99
Title: Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wroclaw, Poland, September 11-12, 2014, Revised Selected Papers, Author: Evripidis Bampis
QUICK ADD
Approximation and Online…
by Evripidis Bampis (Editor), Ola Svensson (Editor)
#8952 in Series
eBook $54.99
Title: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers, Author: Ivan Dimov
QUICK ADD
Finite Difference…
by Ivan Dimov (Editor), István Faragó (Editor), Lubin Vulkov (Editor)
#9045 in Series
eBook $54.99

Pagination Links