41- 60 of 919 results
Grid View Grid
List View List
Grid View Grid
List View List
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
Title: Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, Author: Ralf Klasing
QUICK ADD
Fundamentals of Computation…
by Ralf Klasing (Editor), Marc Zeitoun (Editor)
#10472 in Series
eBook $54.99
Title: Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, Author: Adam Day
QUICK ADD
Computability and Complexity:…
by Adam Day (Editor), Michael Fellows (Editor), Noam Greenberg (Editor), Bakhadyr Khoussainov (Editor), Alexander Melnikov (Editor)
#10010 in Series
eBook $54.99
Title: Transactions on Computational Science XXVII, Author: Marina L. Gavrilova
QUICK ADD
Transactions on Computational…
by Marina L. Gavrilova (Editor), C.J. Kenneth Tan (Editor)
#9570 in Series
eBook $54.99
Title: Getting Started with Visual Studio 2022: Learning and Implementing New Features, Author: Dirk Strauss
QUICK ADD
Getting Started with Visual…
by Dirk Strauss
eBook $54.99
Title: Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, Author: Stefano Tonetta
QUICK ADD
Computer Safety, Reliability,…
by Stefano Tonetta (Editor), Erwin Schoitsch (Editor), Friedemann Bitsch (Editor)
#10488 in Series
eBook $54.99
Title: Pro .NET Best Practices, Author: Stephen Ritchie
QUICK ADD
Pro .NET Best Practices
by Stephen Ritchie
eBook $54.99
Title: Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, Author: Claude-Guy Quimper
QUICK ADD
Integration of AI and OR…
by Claude-Guy Quimper (Editor)
#9676 in Series
eBook $54.99
Title: Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, Author: Alessandro Abate
QUICK ADD
Hybrid Systems Biology: Fourth…
by Alessandro Abate (Editor), David Safranek (Editor)
#9271 in Series
eBook $54.99
Title: Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, Author: Javier Campos
QUICK ADD
Quantitative Evaluation of…
by Javier Campos (Editor), Boudewijn R. Haverkort (Editor)
#9259 in Series
eBook $54.99
Title: Understand, Manage, and Prevent Algorithmic Bias: A Guide for Business Users and Data Scientists, Author: Tobias Baer
QUICK ADD
Understand, Manage, and…
by Tobias Baer
eBook $54.99
Title: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, Author: Markus Roggenbach
QUICK ADD
Recent Trends in Algebraic…
by Markus Roggenbach (Editor)
#12669 in Series
eBook $54.99
Title: Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings, Author: Giovanni Pighizzini
QUICK ADD
Descriptional Complexity of…
by Giovanni Pighizzini (Editor), Cezar Câmpeanu (Editor)
#10316 in Series
eBook $54.99

Pagination Links