Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programming care » programming case, programming core, programming cable
https function » its function, sites function, ups function
function java » function jane, function jason, function james
care https » change https
programming care » programming case, programming core, programming cable
https function » its function, sites function, ups function
function java » function jane, function jason, function james
care https » change https
1
von Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Veröffentlicht 2007
Inhaltsangabe:
“...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...”Veröffentlicht 2007
Volltext
Elektronisch
E-Book
2
3
Veröffentlicht 2013
Inhaltsangabe:
“... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”Volltext
Elektronisch
E-Book
4
von Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Veröffentlicht 2006
Schlagworte:
“...Java (Computer program language)....”Veröffentlicht 2006
Volltext
Elektronisch
E-Book
5
von Deinum, Marten., Deinum, Marten., Serneels, Koen., Yates, Colin., Ladd, Seth., Vervaet, Erwin., Vanfleteren, Christophe.
Veröffentlicht 2012
Schlagworte:
“...Java (Computer program language)....”Veröffentlicht 2012
Volltext
Elektronisch
E-Book
6
Veröffentlicht 2012
Inhaltsangabe:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2010
Inhaltsangabe:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2013
Inhaltsangabe:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Volltext
Elektronisch
E-Book
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Veröffentlicht 2013
Inhaltsangabe:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2014
Inhaltsangabe:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2013
Inhaltsangabe:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2013
Inhaltsangabe:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2015
Inhaltsangabe:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2013
Inhaltsangabe:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2014
Inhaltsangabe:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2008
Inhaltsangabe:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2010
Inhaltsangabe:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2008
Inhaltsangabe:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”Volltext
Elektronisch
E-Book
19
von Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Veröffentlicht 2005
Inhaltsangabe:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Veröffentlicht 2005
Volltext
Elektronisch
E-Book
20
Veröffentlicht 2010
Inhaltsangabe:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”Volltext
Elektronisch
E-Book
- 1
- 2
- Nächster »
- [2]



