61- 80 of 826 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,, Author: Maurice H. ter Beek
QUICK ADD
Critical Systems: Formal…
by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
#9933 in Series
Paperback $54.99
Title: Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, Author: Christoph Benzmüller
QUICK ADD
Rules and Reasoning: Second…
by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
#11092 in Series
Paperback $54.99
Title: Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, Author: David N. Jansen
QUICK ADD
Formal Modeling and Analysis…
by David N. Jansen, Pavithra Prabhakar
#11022 in Series
Paperback $54.99
Title: Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings, Author: Vlad Rusu
QUICK ADD
Rewriting Logic and Its…
by Vlad Rusu
#11152 in Series
Paperback $54.99
Title: Creating Components: Object Oriented, Concurrent, and Distributed Computing in Java / Edition 1, Author: Charles W. Kann
QUICK ADD
Creating Components: Object…
by Charles W. Kann
Paperback $130.00
Title: Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / Edition 1, Author: Vincent van Oostrom
QUICK ADD
Rewriting Techniques and…
by Vincent van Oostrom
#3091 in Series
Paperback $54.99
Title: Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1, Author: Nada Lavrac
QUICK ADD
Inductive Logic Programming:…
by Nada Lavrac, Saso Dzeroski
#1297 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings, Author: Amund Skavhaug
QUICK ADD
Computer Safety, Reliability,…
by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
#9923 in Series
Paperback $54.99
Title: Algorithm Design / Edition 1, Author: Jon Kleinberg
QUICK ADD
Algorithm Design / Edition 1
by Jon Kleinberg, Eva Tardos
Explore Series
Paperback $283.72
Title: Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers / Edition 1, Author: Paolo Ciancarini
QUICK ADD
Object-Based Models and…
by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
#924 in Series
Paperback $54.99
Title: Scientific Computing in Object-Oriented Parallel Environments: First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings / Edition 1, Author: Yutaka Ishikawa
QUICK ADD
Scientific Computing in Object…
by Yutaka Ishikawa, Rodney R. Oldehoeft, John V.W. Reynders, Marydell Tholburn
#1343 in Series
Paperback $54.99
Title: Learn to Program with C / Edition 1, Author: Noel Kalicharan
QUICK ADD
Learn to Program with C /…
by Noel Kalicharan
Paperback $54.99
Title: Frontiers in Algorithmics: 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings, Author: Mingyu Xiao
QUICK ADD
Frontiers in Algorithmics:…
by Mingyu Xiao, Frances Rosamond
#10336 in Series
Paperback $54.99
Title: Integrated Methods for Optimization / Edition 1, Author: John N. Hooker
QUICK ADD
Integrated Methods for…
by John N. Hooker
#100 in Series
Paperback $124.00
Title: Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers, Author: Leah Epstein
QUICK ADD
Approximation and Online…
by Leah Epstein, Thomas Erlebach
#11312 in Series
Paperback $54.99
Title: Simulated Evolution and Learning: First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / Edition 1, Author: Xin Yao
QUICK ADD
Simulated Evolution and…
by Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi
#1285 in Series
Paperback $54.99
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
QUICK ADD
Functional and Logic…
by Aart Middeldorp, Taisuke Sato
#1722 in Series
Paperback $54.99
Title: Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, Author: Graham Hutton
QUICK ADD
Mathematics of Program…
by Graham Hutton
#11825 in Series
Paperback $54.99
Title: Algorithms - ESA '96: Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings / Edition 1, Author: Joseph Diaz
QUICK ADD
Algorithms - ESA '96: Fourth…
by Joseph Diaz, Maria Serna
#1136 in Series
Paperback $54.99
Title: Computer Programming with C++, Author: Kunal Pimparkhede
QUICK ADD
Computer Programming with C++
by Kunal Pimparkhede
Paperback $103.99

Pagination Links