„Programmierung“

Suchergebnisse

10.000+ Treffer

• Logic based program synthesis and transformation – 14th international symposium ; revised selected papers
  Etalle, Sandro 2005 Springer
• [Genetic programming] – [European conference ; proceedings]
  Poli, Riccardo 2004 [Springer]
• [Principles and practice of constraint programming] – [5th international conference ; proceedings]
  Jaffar, Joxan 1999 [Springer]
• [Object oriented technology] – [ECOOP 2003 workshop reader ; final reports]
  Buschmann, Frank 2004 [Springer]
• [Software reuse: methods, techniques, and tools] – [8th international conference ; proceedings]
  Bosch, Jan 2004 [Springer]
• [Types for proofs and programs] – [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003]
  Berardi, Stefano 2004 [Springer]
• [Object oriented programming] – [18th European conference ; proceedings]
  Odersky, Martin 2004 [Springer]
• [Metainformatics] – [international symposium ; revised papers]
  Hicks, David L. 2004 [Springer]
• [Integration of AI and OR techniques in constraint programming for combinatorial optimization problems] – [first international conference ; proceedings]
  Régin, Jean-Charles 2004 [Springer]
• Logic for programming, artificial intelligence, and reasoning – 10th international conference ; proceedings
  Vardi, Moshe Y. 2003 Springer
• Distributed computing – 17th international conference
  Fich, Faith Ellen 2003 Springer
• Principles and practice of constraint programming – 9th international conference ; proceedings
  Rossi, Francesca 2003 Springer
• Inductive logic programming – 13th international conference ; proceedings
  Horváth, Tamás 2003 Springer
• Generative programming and component engineering – second international conference ; proceedings
  Pfenning, Frank 2003 Springer
• Logic programming – 19th international conference ; proceedings
  Palamidessi, Catuscia 2003 Springer
• Modular programming languages – proceedings
  Böszörmenyi, Laszlo 2003 Springer
• Recent advances in constraints – selected papers
  Apt, Krzysztof R. 2004 Springer
• Functional and logic programming – 7th international symposium ; proceedings
  Kameyama, Yukiyoshi 2004 Springer
• Programming languages and systems – proceedings
  Schmidt, David 2004 Springer
• Applications of evolutionary computing – proceedings
  Raidl, Günther 2004 Springer