„Programming Language.“

Suchergebnisse

8.545 Treffer

• Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
  Weigelt, Sebastian 2022 KIT Scientific Publishing
• Constraint Handling Rules - Compilation, Execution, and Analysis – Large Print Edition
  Frühwirth, Thom ; Raiser, Frank 2018 Books on Demand
• Zhi# [Zhi_374] - programming language inherent support for ontologies
  Paar, Alexander
• Database programming languages – 12th international symposium ; proceedings
  Gardner, Philippa 2009 Springer
• A Logic Programming Approach to Repairing SHACL Constraint Violations
  Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas
• Polymorphic type inference for object-oriented programming languages
  Hense, Andreas V.
• Virtual machine support for aspect-oriented programming languages
  Haupt, Michael
• Verification of JavaCard programs
  Stenzel, Kurt 2005 Universität Augsburg
• Compiling a domain specific language for dynamic programming
  Steffen, Peter
• Design and implementation of a database programming language for XML-based applications
  Schuhart, Henrike
• Analyzing demand in non-strict functional programming languages
  Schütz, Marko
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• ULTRA - a logic transaction programming language
  Wichert, Carl-Alexander
• The pragmatics of programming languages
  Connolly, J. H. ; Cooke, D. J.
• Editorial: Inductive Logic Programming is Coming of Age
  Flach, Peter ; Džeroski, Sašo
• Implementation and analysis of DES algorithm
  Sharma, Gaurav 2014 LAP LAMBERT Academic Publishing
• Hybrid learning scenario path selection and abstraction framework for smart verification of complex SoCs
  Sharma, Gaurav ; Bhargava, Lava ; Kumar, Vinod
• Editorial
  Gaston, Christophe ; Kosmatov, Nikolai ; Gall, Pascale Le
• Foreword to the Special Issue on Configurable Systems
  Duchien, Laurence ; Grünbacher, Paul ; Thüm, Thomas
• Guest Editorial: Special issue on quality of adaptive software systems
  Peischl, Bernhard ; Eberhardinger, Benedikt