Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
program https » programs https, program has, program help
program test » programs test, program text, program crest
test program » test programs, tvet program, testing program
1
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
von Brainerd, Walter S., Brainerd, Walter S.
Veröffentlicht 2015
Inhaltsangabe: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Inhaltsangabe: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
von Gries, David., Gries, David., Gries, Paul.
Veröffentlicht 2005
Inhaltsangabe: “... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
von Simon, Axel., Simon, Axel.
Veröffentlicht 2008
Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
von Horváth, Zoltán., Horváth, Zoltán.
Veröffentlicht 2006
Inhaltsangabe: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2012
Schlagworte: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
von McArthur, Kevin., McArthur, Kevin.
Veröffentlicht 2008
Inhaltsangabe: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
von Hunt, John., Hunt, John.
Veröffentlicht 2014
Inhaltsangabe: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Inhaltsangabe: “... and suffix arrays -- Analysis of the Burrows-Wheeler Transform -- Variants of the Burrows-Wheeler Transform...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
von Parsons, David., Parsons, David.
Veröffentlicht 2012
Inhaltsangabe: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern