Title: A Guide to VHDL, Author: Stanley Mazor
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings, Author: Manuel Hermenegildo
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser
Title: Practical MATLAB: With Modeling, Simulation, and Processing Projects, Author: Irfan Turk
Title: Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings, Author: Sridutt Bhalachandra
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: The Elements of UMLT 2.0 Style, Author: Scott W. Ambler
Title: Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings, Author: John Hughes
Title: Automated Music Composition, Author: Phil Winsor
Title: Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings, Author: Martin Gebser
Title: The Unified Modeling Language. <<UML>>'98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers, Author: Jean Bezivin
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
Title: C Programming Professional Made Easy & Ruby Programming Professional Made Easy, Author: Sam Key
Title: Building Expert Systems in Prolog, Author: Dennis Merritt
Title: Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings, Author: David Sands
Title: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener
Title: An Analytical Description of CHILL, the CCITT High Level Language, Author: P. Branquart
Title: Programming in Dylan, Author: Iain D. Craig
Title: Program Proofs, Author: K. Rustan M. Leino

Pagination Links