961- 980 of 2875 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, Author: Jonathan P. Bowen
QUICK ADD
ZUM '98: The Z Formal…
by Jonathan P. Bowen (Editor), Andreas Fett (Editor), Michael G. Hinchey (Editor)
#1493 in Series
Paperback $54.99
Title: Advanced Parallel Processing Technologies: 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings, Author: Chao Li
QUICK ADD
Advanced Parallel Processing…
by Chao Li (Editor), Zhenhua Li (Editor), Li Shen (Editor), Fan Wu (Editor), Xiaoli Gong (Editor)
#14103 in Series
Paperback $89.99
Title: From the Retina to the Neocortex: Selected Papers of David Marr, Author: VAINA
QUICK ADD
From the Retina to the…
by VAINA
Paperback $54.99
Title: Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, Author: John Derrick
QUICK ADD
Integrated Formal Methods: 9th…
by John Derrick (Editor), Stefania Gnesi (Editor), Diego Latella (Editor), Helen Treharne (Editor)
#7321 in Series
Paperback $54.99
Title: Microsoft Mapping Second Edition: Geospatial Development in Windows 10 with Bing Maps and C#, Author: Carmen Au
QUICK ADD
Microsoft Mapping Second…
by Carmen Au, Ray Rischpater
Paperback $59.99
Title: Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings, Author: Eric Dubois
QUICK ADD
Advanced Information Systems…
by Eric Dubois (Editor), Klaus Pohl (Editor)
#4001 in Series
Paperback $109.99
Title: Refinement in Z and Object-Z: Foundations and Advanced Applications, Author: John Derrick
QUICK ADD
Refinement in Z and Object-Z:…
by John Derrick, Eerke A. Boiten
Paperback $109.99
Title: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings, Author: Ezio Bartocci
QUICK ADD
Model Checking Software: 20th…
by Ezio Bartocci (Editor), C. R. Ramakrishnan (Editor)
#7976 in Series
Paperback $54.99
Title: Beyond Software Architecture: Creating and Sustaining Winning Solutions, Author: Luke Hohmann
QUICK ADD
Beyond Software Architecture:…
by Luke Hohmann, John Fuller (Editor), Paul Becker
Explore Series
Paperback $79.79
Title: Studies of Software Design: ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers, Author: David Alex Lamb
QUICK ADD
Studies of Software Design:…
by David Alex Lamb (Editor)
#1078 in Series
Paperback $54.99
Title: Software Tools: Automatisierung im Software Engineering: Eine umfassende Darstellung der Einsatzm�glichkeiten von Software-Entwicklungswerkzeugen, Author: Knut Hildebrand
QUICK ADD
Software Tools:…
by Knut Hildebrand
#42 in Series
Paperback $69.99
Title: React Quickly, Second Edition, Author: Morten Barklund
QUICK ADD
React Quickly, Second Edition
by Morten Barklund, Azat Mardan
Paperback $59.99
Title: Simulation and Model-Based Methodologies: An Integrative View, Author: Tuncer I. Ören
QUICK ADD
Simulation and Model-Based…
by Tuncer I. Ören (Editor), B.P. Zeigler (Editor), M.S. Elzas (Editor)
#10 in Series
Paperback $109.99
Title: Understanding Human Activities Through 3D Sensors: Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers, Author: Hazem Wannous
QUICK ADD
Understanding Human Activities…
by Hazem Wannous (Editor), Pietro Pala (Editor), Mohamed Daoudi (Editor), Francisco Flórez-Revuelta (Editor)
#10188 in Series
Paperback $54.99
Title: Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, Author: Cong-Vinh Phan
QUICK ADD
Transactions on Computational…
by Cong-Vinh Phan (Editor)
#7050 in Series
Paperback $54.99
Title: Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, Author: Kyriakos Kritikos
QUICK ADD
Service-Oriented and Cloud…
by Kyriakos Kritikos (Editor), Pierluigi Plebani (Editor), Flavio de Paoli (Editor)
#11116 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings, Author: Sergio de Cesare
QUICK ADD
Advances in Conceptual…
by Sergio de Cesare (Editor), Ulrich Frank (Editor)
#10651 in Series
Paperback $54.99
Title: Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers, Author: Rogério de Lemos
QUICK ADD
Software Engineering for…
by Rogério de Lemos (Editor), Holger Giese (Editor), Hausi A. Müller (Editor), Mary Shaw (Editor)
#7475 in Series
Paperback $54.99
Title: High Performance Computing: 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings, Author: Michïle Weiland
QUICK ADD
High Performance Computing:…
by Michïle Weiland (Editor), Guido Juckeland (Editor), Carsten Trinitis (Editor), Ponnuswamy Sadayappan (Editor)
#11501 in Series
Paperback $74.99
Title: Solid-State-Drives (SSDs) Modeling: Simulation Tools & Strategies, Author: Rino Micheloni
QUICK ADD
Solid-State-Drives (SSDs)…
by Rino Micheloni (Editor)
#58 in Series
Paperback $169.99

Pagination Links