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: Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings / Edition 1, Author: Jïrg Gutknecht
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics / Edition 1, Author: Gheorghe Paun
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Chris Hankin
Title: Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Edition 1, Author: Atsushi Ohori
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
Title: Programming Language Design Concepts / Edition 1, Author: David A. Watt
Title: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Author: Atsushi Igarashi
Title: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Edition 1, Author: Wei-Ngan Chin
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: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
Title: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang

Pagination Links