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: CUDA Fortran for Scientists and Engineers: Best Practices for Efficient CUDA Fortran Programming, Author: Gregory Ruetsch
Title: Data Structure Using C: Theory and Program, Author: Ahmad Talha Siddiqui
Title: Data Types and Persistence, Author: Malcolm P. Atkinson
Title: Database Programming Languages: 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers, Author: Gavin Bierman
Title: Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, Author: Marcelo Arenas
Title: Database Programming Languages: 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Author: Sophie Cluet
Title: Database Programming Languages: 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers, Author: Gosta Grahne
Title: Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers, Author: Georg Lausen
Title: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, Author: João Leite
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, Author: Matteo Baldoni
Title: Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, Author: Matteo Baldoni
Title: Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, Author: Matteo Baldoni
Title: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, Author: Joao Leite
Title: Die �konomische Bedeutung von Electronic Commerce f�r Unternehmen im Business-to-Business-Bereich, Author: Andreas Riethig
Title: Domain-Specific Modeling: Enabling Full Code Generation, Author: Steven Kelly
Title: Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, Author: Christian Lengauer
Title: EDV-System zur dynamischen Abbildung von Kunden-Lieferanten-Beziehungen, Author: Thomas Hoffmann PhD
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming, Author: Rebecca Skinner

Pagination Links