Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation process » transformation protocol, formation process, transition process
programming constructs » programming concepts, programming contest
process programming » processes programming, processing programming, processors programming
constructs https » construction https, constructs loops, constructs arti
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation process » transformation protocol, formation process, transition process
programming constructs » programming concepts, programming contest
process programming » processes programming, processing programming, processors programming
constructs https » construction https, constructs loops, constructs arti
1
Pubblicazione 2013
Soggetti:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testo
Elettronico
eBook
2
Pubblicazione 2013
Sommario:
“... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”Testo
Elettronico
eBook
4
Pubblicazione 2006
Sommario:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Testo
Elettronico
eBook
7
Sommario:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Testo
Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”Testo
Elettronico
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Pubblicazione 2013
Sommario:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Testo
Elettronico
eBook
10
Pubblicazione 2010
Sommario:
“... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”Testo
Elettronico
eBook
12
Pubblicazione 2014
Sommario:
“...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...”Testo
Elettronico
eBook
13
Pubblicazione 2006
Sommario:
“... Up -- Refinement of Software Architectures by Recursive Model Transformations -- A UML-Based Process...”Testo
Elettronico
eBook
14
Pubblicazione 2014
Sommario:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Testo
Elettronico
eBook
15
Natural Language Processing and Information Systems 10th International Conference on Applications...
Pubblicazione 2005
Sommario:
“... Bootstrapping Thesaurus and a Machine Learning Approach -- On the Transformation of Sentences with Genitive...”Testo
Elettronico
eBook
16
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
17
Pubblicazione 2012
Sommario:
“...Accelerating the Dynamic Programming for the Optimal Polygon Triangulation on the -- Security...”Testo
Elettronico
eBook
18
Pubblicazione 2006
Sommario:
“... Framework for JPEG2000 Image Code-Streams in Broadcasting Applications -- Euclidean Distance Transform...”Testo
Elettronico
eBook
19
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Pubblicazione 2005
Sommario:
“... Transformation and Modular Arithmetic Operation -- Selective Video Encryption Based on Advanced Video Coding...”Testo
Elettronico
eBook
20
Pubblicazione 2006
Sommario:
“... Construction of Integer Wavelet Transforms for Embedded Image Coding -- Reinforcement Learning with Raw Image...”Testo
Elettronico
eBook
- 1
- 2
- 3
- 4
- Successivo »
- [4]