1- 10 of 10 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Compositional Verification of Concurrent and Real-Time Systems / Edition 1, Author: Eric Y.T. Juan
QUICK ADD
Compositional Verification of…
by Eric Y.T. Juan, Jeffrey J.P. Tsai
#676 in Series
Hardcover $109.99
Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
QUICK ADD
Design and Implementation of…
by Alfonso Miola
#429 in Series
Paperback $54.99
Title: Interdisciplinary Computing in Java Programming / Edition 1, Author: Sun-Chong Wang
QUICK ADD
Interdisciplinary Computing in…
by Sun-Chong Wang
#743 in Series
Hardcover $169.99
Title: Knowledge Acquisition from a Collaboratively Generated Encyclopedia - Vol. 327 Dissertations in Artificial Intelligence, Author: S.P. Ponzetto
QUICK ADD
Knowledge Acquisition from a…
by S.P. Ponzetto
Paperback $73.00
Title: Logic And Language Models For Computer Science (Third Edition), Author: Dana Richards
QUICK ADD
Logic And Language Models For…
by Dana Richards, Henry Hamburger
Hardcover $98.00
Title: Logic And Language Models For Computer Science (Third Edition), Author: Dana Richards
QUICK ADD
Logic And Language Models For…
by Dana Richards, Henry Hamburger
Paperback $58.00
Title: Qualitative Research in IS: Issues and Trends / Edition 1, Author: Eileen Moore Trauth
QUICK ADD
Qualitative Research in IS:…
by Eileen Moore Trauth
Hardcover $129.95
Title: Real-Time Software Design for Embedded Systems, Author: Hassan Gomaa
QUICK ADD
Real-Time Software Design for…
by Hassan Gomaa
Hardcover $106.00
Title: Technology Commercialization: DEA and Related Analytical Methods for Evaluating the Use and Implementation of Technical Innovation / Edition 1, Author: Sten A. Thore
QUICK ADD
Technology Commercialization:…
by Sten A. Thore
Hardcover $219.99
Title: Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Edition 1, Author: Miquel Bertran
QUICK ADD
Transformation-Based Reactive…
by Miquel Bertran, Teodor Rus
#1231 in Series
Paperback $54.99