981- 1000 of 3984 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Author: Shuvendu Lahiri
QUICK ADD
Runtime Verification: 17th…
by Shuvendu Lahiri, Giles Reger
#10548 in Series
Paperback $54.99
Title: Computer Science - Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings, Author: Pascal Weil
QUICK ADD
Computer Science - Theory and…
by Pascal Weil
#10304 in Series
Paperback $54.99
Title: Interactive Modeling and Simulation in Business System Design, Author: Ella Roubtsova
QUICK ADD
Interactive Modeling and…
by Ella Roubtsova
Explore Series
Paperback $54.99
Title: Algorithmic Game Theory: 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings, Author: Martin Gairing
QUICK ADD
Algorithmic Game Theory: 9th…
by Martin Gairing, Rahul Savani
#9928 in Series
Paperback $54.99
Title: Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers / Edition 1, Author: Frank van der Linden
QUICK ADD
Software Product-Family…
by Frank van der Linden
#2290 in Series
Paperback $54.99
Title: Core Python Applications Programming / Edition 3, Author: Wesley J Chun
QUICK ADD
Core Python Applications…
by Wesley J Chun
Explore Series
Paperback $54.99
Title: Concise Guide to Software Testing, Author: Gerard O'Regan
QUICK ADD
Concise Guide to Software…
by Gerard O'Regan
Explore Series
Paperback $54.99
Title: Emergence of Communication in Socio-Biological Networks, Author: Anamaria Berea
QUICK ADD
Emergence of Communication in…
by Anamaria Berea
Explore Series
Paperback $54.99
Title: Sudoku Programming with C / Edition 1, Author: Giulio Zambon
QUICK ADD
Sudoku Programming with C /…
by Giulio Zambon
Paperback $54.99
Title: Guide to Brain-Computer Music Interfacing, Author: Eduardo Reck Miranda
QUICK ADD
Guide to Brain-Computer Music…
by Eduardo Reck Miranda, Julien Castet
Paperback $54.99
Title: Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, Author: Carlos Canal
QUICK ADD
Software Engineering and…
by Carlos Canal, Akram Idani
#8938 in Series
Paperback $54.99
Title: Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / Edition 1, Author: Frank S.de Boer
QUICK ADD
Formal Methods for Components…
by Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
#2852 in Series
Paperback $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf, Laurent Mounier
#2989 in Series
Paperback $54.99
Title: Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Author: Bin Hu
QUICK ADD
Evolutionary Computation in…
by Bin Hu, Manuel López-Ibáñez
#10197 in Series
Paperback $54.99
Title: Linear-Quadratic Controls in Risk-Averse Decision Making: Performance-Measure Statistics and Control Decision Optimization / Edition 1, Author: Khanh D. Pham
QUICK ADD
Linear-Quadratic Controls in…
by Khanh D. Pham
Explore Series
Paperback $54.99
Title: Spatially Structured Evolutionary Algorithms: Artificial Evolution in Space and Time / Edition 1, Author: Marco Tomassini
QUICK ADD
Spatially Structured…
by Marco Tomassini
Explore Series
Paperback $54.99
Title: Image Analysis and Recognition: 14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5-7, 2017, Proceedings, Author: Fakhri Karray
QUICK ADD
Image Analysis and Recognition…
by Fakhri Karray, Aurélio Campilho, Farida Cheriet
#10317 in Series
Paperback $54.99
Title: Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation: International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedi, Author: Danail Stoyanov
QUICK ADD
Simulation, Image Processing,…
by Danail Stoyanov, Zeike Taylor, Stephen Aylward, João Manuel R.S. Tavares, Yiming Xiao
#11042 in Series
Paperback $54.99
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
QUICK ADD
A Tight, Practical Integration…
by Harold Boley
#1712 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings / Edition 1, Author: Keshav Pingali
QUICK ADD
Languages and Compilers for…
by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
#892 in Series
Paperback $54.99

Pagination Links