Title: Forensische Informatik, Author: Andreas Dewald
Title: Axiomatic Domain Theory in Categories of Partial Maps, Author: Marcelo P. Fiore
Title: Mastering Visual Basic, Author: Diane Saxon
Title: Optimierung und Performancesteigerung bei der Generierung von VHDL-Modellen analoger Schaltungen, Author: Christoph Holzbaur
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: COBOL Programming Interview Questions CO, Author: Terry Sanchez-Clark
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / Edition 1, Author: Naoki Kobayashi
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, Author: Pierre-François Dutot
Title: Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers, Author: Xipeng Shen
Title: Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings, Author: Manuel Hermenegildo
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Link�ping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
Title: Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers, Author: Sandhya Dwarkadas
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, Author: Mads Dam
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings, Author: Radhia Cousot
Title: Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings, Author: Sophia Drossopoulou
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: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Vïïnïnen
Title: Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings, Author: Pierre Cointe

Pagination Links