Title: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori
Title: Modern Fortran: Building efficient parallel applications / Edition 1, Author: Milan Curcic
Title: Scala for the Impatient / Edition 2, Author: Cay Horstmann
Title: Biostatistics with R: An Introduction to Statistics Through Biological Data / Edition 1, Author: Babak Shahbaba
Title: Introduction to Programming with Fortran / Edition 4, Author: Ian Chivers
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
Title: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang
Title: Programming Language Concepts / Edition 2, Author: Peter Sestoft
Title: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
Title: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Author: Atsushi Igarashi
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
Title: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Edition 1, Author: Joao Leite
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics / Edition 1, Author: Gheorghe Paun
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Edition 1, Author: Patrick Cousot
Title: Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers, Author: José-Luis Sierra-Rodríguez
Title: Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / Edition 1, Author: Matteo Baldoni
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / Edition 1, Author: Mads Dam

Pagination Links