Title: Program Development by Refinement: Case Studies Using the B Method, Author: Emil Sekerinski
Title: Software Engineering with OBJ: Algebraic Specification in Action, Author: Joseph A. Goguen
Title: Software Engineering with OBJ: Algebraic Specification in Action, Author: Joseph A. Goguen
Title: Modeling Languages in Mathematical Optimization, Author: Josef Kallrath
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Java Illuminated: ., Author: Julie Anderson
Title: Introduction to Recursive Programming, Author: Manuel Rubio-Sanchez
Title: Software for Data Analysis: Programming with R, Author: John Chambers
Title: Call-By-Push-Value: A Functional/Imperative Synthesis, Author: P.B. Levy
Title: Programming Language Concepts, Author: Carlo Ghezzi
Title: Principles of Computer Organization and Assembly Language, Author: Patrick Juola
Title: Rationale for the Design of the Ada Programming Language, Author: J. Ichbiah
Title: VHDL, 1992: The New Features of the VHDL Hardware Description Language, Author: Jean-Michel Bergé
Title: Smart Computing with Open Source Platforms, Author: Amartya Mukherjee
Title: Applied Spatial Statistics and Econometrics: Data Analysis in R, Author: Katarzyna Kopczewska
Title: R for Programmers: Advanced Techniques, Author: Dan Zhang
Title: Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®, Author: Ismail H. Altas
Title: Regression Modeling: Methods, Theory, and Computation with SAS, Author: Michael Panik
Title: Advanced Logo: A Language for Learning, Author: Michael Friendly

Pagination Links