41- 60 of 1151 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
QUICK ADD
Formal Methods: 24th…
by Marieke Huisman (Editor), Corina Pasareanu (Editor), Naijun Zhan (Editor)
#13047 in Series
eBook $109.00
Title: Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings, Author: Regina Bernhaupt
QUICK ADD
Human-Centered Software…
by Regina Bernhaupt (Editor), Carmelo Ardito (Editor), Stefan Sauer (Editor)
#12481 in Series
eBook $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm, Author: Jorge A. Pérez
QUICK ADD
Formal Techniques for…
by Jorge A. Pérez (Editor), Nobuko Yoshida (Editor)
#11535 in Series
eBook $69.99
Title: Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin (Editor)
#11657 in Series
eBook $79.99
Title: Managing Iterative Software Development Projects, Author: Kurt Bittner
QUICK ADD
Managing Iterative Software…
by Kurt Bittner, Ian Spence
Explore Series
eBook $57.99
Title: Discrete-Event Modeling and Simulation: A Practitioner's Approach, Author: Gabriel A. Wainer
QUICK ADD
Discrete-Event Modeling and…
by Gabriel A. Wainer
Explore Series
eBook $210.00
Title: Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers, Author: Ajantha Dahanayake
QUICK ADD
Modelling to Program: Second…
by Ajantha Dahanayake (Editor), Oscar Pastor (Editor), Bernhard Thalheim (Editor)
#1401 in Series
eBook $54.99
Title: Advances in Simulation and Process Modelling: Proceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020), Author: Yupeng Li
QUICK ADD
Advances in Simulation and…
by Yupeng Li (Editor), Quanmin Zhu (Editor), Feng Qiao (Editor), Zhiping Fan (Editor), Yinong Chen (Editor)
#1305 in Series
eBook $54.99
Title: Automotive Software Architectures: An Introduction, Author: Miroslaw Staron
QUICK ADD
Automotive Software…
by Miroslaw Staron
eBook $59.99
Title: Oracle Fusion Developer Guide: Building Rich Internet Applications with Oracle ADF Business Components and Oracle ADF Faces, Author: Frank Nimphius
QUICK ADD
Oracle Fusion Developer Guide:…
by Frank Nimphius, Lynn Munsinger
Explore Series
eBook $72.00
Title: Multi-Agent Systems: Simulation and Applications, Author: Adelinde M. Uhrmacher
QUICK ADD
Multi-Agent Systems:…
by Adelinde M. Uhrmacher (Editor), Danny Weyns (Editor)
Explore Series
eBook $240.00
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
QUICK ADD
Structured Object-Oriented…
by Huaikou Miao (Editor), Cong Tian (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)
#12028 in Series
eBook $54.99
Title: Enterprise Cloud Computing for Non-Engineers, Author: Frank M. Groom
QUICK ADD
Enterprise Cloud Computing for…
by Frank M. Groom (Editor), Stephan S. Jones (Editor)
Explore Series
eBook $56.99
Title: Quality Assurance of Agent-Based and Self-Managed Systems, Author: Reiner Dumke
QUICK ADD
Quality Assurance of…
by Reiner Dumke, Steffen Mencke, Cornelius Wille
eBook $160.00
Title: DSP for Embedded and Real-Time Systems, Author: Robert Oshana
QUICK ADD
DSP for Embedded and Real-Time…
by Robert Oshana
eBook $79.95
Title: A Software Development Approach for Driving Competitiveness in Small Firms, Author: Delroy Chevers
QUICK ADD
A Software Development…
by Delroy Chevers
eBook $59.99
Title: Microsimulation and Population Dynamics: An Introduction to Modgen 12, Author: Alain Bélanger
QUICK ADD
Microsimulation and Population…
by Alain Bélanger, Patrick Sabourin
#43 in Series
eBook $99.00
Title: Advanced Backend Code Optimization, Author: Sid Touati
QUICK ADD
Advanced Backend Code…
by Sid Touati, Benoit Dupont de Dinechin
Explore Series
eBook $142.00
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
#10215 in Series
eBook $54.99
Title: Computer-based Modelling and Optimization in Transportation, Author: Jorge Freire Sousa
QUICK ADD
Computer-based Modelling and…
by Jorge Freire Sousa (Editor), Riccardo Rossi (Editor)
#262 in Series
eBook $99.00

Pagination Links