Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings, Author: John Fitch
Title: Mathematica Graphics: Techniques & Applications, Author: Tom Wickham-Jones
Title: Alternating Sequential-Parallel Processing, Author: Y. Wallach
Title: Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems, Author: Heinrich Rust
Title: Computer Aided Proofs in Analysis, Author: Kenneth R. Meyer
Title: Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings, Author: Sten F. Andler
Title: Automatic Programming and Numerical Methods of Analysis, Author: V. N. Faddeeva
Title: Autonomy Oriented Computing: From Problem Solving to Complex Systems Modeling, Author: Jiming Liu
Title: Numerical Computation 2: Methods, Software, and Analysis, Author: Christoph W. Ueberhuber
Title: Compact Representations for the Design of Quantum Logic, Author: Philipp Niemann
Title: Modeling Performance Measurement: Applications and Implementation Issues in DEA, Author: Wade D. Cook
Title: Scalable Big Data Architecture: A practitioners guide to choosing relevant Big Data architecture, Author: Bahaaldine Azarmi
Title: Online Collective Action: Dynamics of the Crowd in Social Media, Author: Nitin Agarwal
Title: Finite Elements Using Maple: A Symbolic Programming Approach, Author: Artur Portela
Title: Empirical Foundations of Information and Software Science III, Author: Jens Rasmussen
Title: Laboratory Manual for Nonlinear Physics with Maple for Scientists and Engineers, Author: Richard H. Enns
Title: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings, Author: Jost-Pieter Katoen
Title: Provenance and Annotation of Data and Processes: Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008, Author: Juliana Freire
Title: Impirical Foundations of Information and Software Science, Author: Jagdish C. Agrawal
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk

Pagination Links