„programming languages“

Suchergebnisse

7.502 Treffer

• Automata Theory and Logic
  Hofmann, Martin ; Lange, Martin 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Well-Formed and Scalable Invasive Software Composition
  Karol, Sven ; Aßmann, Uwe ; Löwe, Welf 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Formalisierung gestischer Eingabe für Multitouch-Systeme
  Kammer, Dietrich ; Groh, Rainer ; Signer, Beat 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Component-based mechanisation of programming languages in embedded settings
  Haeri, Seyed Hossein ; Schupp, Sybille 2015 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• A mechanized verification environment for real-time process algebras and low-level programming languages
  Bartels, Björn ; Glesner, Sabine ; Olderog, Ernst-Rüdiger ; Jähnichen, Stefan 2014 Technische Universität Berlin
• Free Theorems in Languages with Real-World Programming Features
  Seidel, Daniel 2013 Universitäts- und Landesbibliothek Bonn
• Extensible Languages for Flexible and Principled Domain Abstraction
  Erdweg, Sebastian Thore ; Ostermann, Klaus 2013 Philipps-Universität Marburg
• Implementing Functional Logic Programs – by Translation into Purely Functional Programs
  Braßel, Bernd 2012 Südwestdeutscher Verlag für Hochschulschriften
• A rule-based programming model for wireless sensor networks
  Terfloth, Kirsten 2009 Freie Universität Berlin
• Virtual Machine Support for Aspect-Oriented Programming Languages
  Haupt, Michael 2010 VDM Verlag Dr. Müller
• Beyond Synthesis: Mastering VHDL for Efficient System Design
  Nami 2024 tredition
• Constraint Handling Rules - Compilation, Execution, and Analysis – Large Print Edition
  Frühwirth, Thom ; Raiser, Frank 2018 Books on Demand
• Database programming languages – 12th international symposium ; proceedings
  Gardner, Philippa 2009 Springer
• Polymorphic type inference for object-oriented programming languages
  Hense, Andreas V.
• Virtual machine support for aspect-oriented programming languages
  Haupt, Michael
• Analyzing demand in non-strict functional programming languages
  Schütz, Marko
• The pragmatics of programming languages
  Connolly, J. H. ; Cooke, D. J.
• 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