„Programs“

Suchergebnisse

10.000+ Treffer

• Elements of Computational Statistics
  2002 Springer International Publishing
• Current Organization of General Dental Programs for Hemophiliacs
  Lewis, B.
• Stroke Programs in Bahrain: Two Years' Experience and Expectations
  Mohamed, Elmahdy Ibrahim
• Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
  Grahl, Daniel ; Beckert, B. 2015 KIT-Bibliothek
• Tools for Reasoning about Effectful Declarative Programs
  Mehner, Stefan 2015 Universitäts- und Landesbibliothek Bonn
• Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores
  Gerdes, Mike ; Ungerer, Theo 2013 Universität Augsburg
• Environmental Metrics for WEEE Collection and Recycling Programs
  Oswald, Irina ; Reller, Armin 2013 Universität Augsburg
• Verifying Java Programs – A Graph Grammar Approach
  Heinen, Jonathan 2015 Verlag Dr. Hut
• Simplified Integration of External Sensors in Industrial Robot Programs
  Deiterding, Jan 2011 Shaker
• Model Transformation Languages with Modular Information Hiding
  Rentschler, Andreas 2015 KIT Scientific Publishing
• Implementation of genome-wide prediction methods in applied plant breeding programs
  Hofheinz, Nina 2014 Universitätsbibliothek
• Action Logic Programs – How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules
  Drescher, Conrad ; Thielscher, Michael ; Meyer, Thomas 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Termination analysis for imperative programs operating on the heap
  Brockschmidt, Marc 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Temporal assertions for sequential and concurrent programs
  Stolz, Volker 2007 RWTH Aachen
• Modelling genomic selection schemes in Bavarian pig breeding programs using ZPLAN+
  Li, Kai ; Fries, Hans-Rudolf ; Simianer, Henner 2014 Universitätsbibliothek der TU München
• An algorithm for the global resolution of linear stochastic bilevel programs
  Henkel, Charlotte ; Schultz, Rüdiger ; Henrion, René 2014 Universitätsbibliothek Duisburg-Essen
• Measuring and predicting non-functional properties of customizable programs
  Siegmund, Norbert ; Saake, Gunter 2012 Universitätsbibliothek
• Synthesis of Synchronous Programs to Parallel Software Architectures
  Baudisch, Daniel ; Schneider, Klaus 2014 Technische Universität Kaiserslautern
• On development, feasibility, and limits of highly efficient CPU and GPU programs in several fields
  Rohr, David ; Lindenstruth, Volker ; Kebschull, Udo 2014 Univ.-Bibliothek Frankfurt am Main
• Studierbarkeit, Studienzufriedenheit und Studienabbruch – Analysen von Einflussfaktoren in den Bachelorstudiengängen
  Blüthmann, Irmela 2014 Freie Universität Berlin