Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming session » programming series, programming service, programs session
session practices » design practices, creation practices, revision practice
practices tools » practice tools, practical tools, practical tool
1
Buchumschlag
Inhaltsangabe: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
von Gilmore, W Jason., Gilmore, W Jason.
Veröffentlicht 2010
Inhaltsangabe: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... for Requirements Engineering in System Family Context for Software Process Improvement Using CMMI -- Functional...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Inhaltsangabe: “... of the Negotiation Process -- Emotional Competence in International Negotiation and Mediation Practice -- Addressing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... for Auditing SQL Queries -- A New Approach to Secure Logging -- Keynote -- Security, Functionality and Scale...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Combinatorial Optimization Problems Using Evolutionary Algorithms -- Regular Sessions: Computational Linguistics...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern