„functional programming“

Suchergebnisse

608 Treffer

• FLIP: functional plus logic programming on an integrated platform
  Sintek, Michael 1996 DFKI
• Trends in functional programming – 14th international symposium ; revised selected papers
  McCarthy, Jay 2014 Springer
• A framework for programming interactive graphics in a functional programming language
  Scholz, Enno 2003 E. Scholz
• Multi-quality auto-tuning by contract negotiation
  Götz, Sebastian
• Functional and logic programming – 6th international symposium ; proceedings
  Hu, Zhenjiang 2002 Springer
• Probabilistic and truth-functional many-valued logic programming
  Lukasiewicz, Thomas 1998 IFIG
• Models of Computation
  Bruni, Roberto ; Montanari, Ugo 2017 Springer International Publishing
• Counterexample generation for higher-order logic using functional and logic programming
  Bulwahn, Lukas
• Bridging the gap between requirements engineering and software architecture – a problem-oriented and quality-driven method
  Alebrahim, Azadeh 2017 Springer Vieweg
• Functional and logic programming – 5th international symposium ; proceedings
  Kuchen, Herbert 2001 Springer
• Programming Logics – Essays in Memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer Berlin Heidelberg
• Programming logics – essays in memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer
• A new approach to generic functional programming
  Hinze, Ralf 1999 Sekretariat für Forschungsberichte, Inst. für Informatik III
• A unified approach for different concepts of robustness and stochastic programming via nonlinear scalarizing functionals
  Klamroth, Kathrin 2012 Inst. für Mathematik
• Advanced functional programming – third international school ; revised lectures
  Swierstra, S. Doaitse 1999 Springer
• 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
  Danielsson, Nils Anders ; Nordström, Bengt 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Building A Virtual Graded Foam – An FEM Approach
  Kiernan, Stephen 2012 LAP LAMBERT Academic Publishing
• On the development life cycle of distributed functional applications – A case study
  Castro Souto, Laura M. 2011 LAP LAMBERT Academic Publishing
• Engineering Genetic Logic Gates – Design and Functional Assembly of Synthetic Biological Circuits
  Wang, Baojun 2012 LAP LAMBERT Academic Publishing
• Implementation and application of functional languages – 23rd international symposium ; revised selected papers
  Gill, Andy ; Hage, Jurriaan 2012 Springer