Soggetti all'interno della tua ricerca.
Cerca anche:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computer programming » computer program, computer programs
services computer » sciences computer
constructs loops » constructs lists, constructs coders, constructs core
1
Copertina
Pubblicazione 2013
Sommario: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2014
Sommario: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
3
Copertina
Pubblicazione 2013
Sommario: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
4
Copertina
Pubblicazione 2007
Sommario: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
5
Copertina
Pubblicazione 2006
Sommario: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
6
Copertina
Pubblicazione 2005
Sommario: “... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
7
Copertina
di Gries, David., Gries, David., Gries, Paul.
Pubblicazione 2005
Sommario: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
8
Copertina
Pubblicazione 2013
Sommario: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
9
Copertina
Pubblicazione 2006
Sommario: “... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
10
Copertina
Pubblicazione 2013
Sommario: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
11
Copertina
Pubblicazione 2014
Sommario: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
12
Copertina
Pubblicazione 2007
Sommario: “... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
13
Copertina
Pubblicazione 2005
Sommario: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
14
Copertina
Pubblicazione 2008
Sommario: “... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
15
Copertina
Pubblicazione 2008
Sommario: “... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
16
Copertina
Soggetti: “...Computer programming....”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
17
Copertina
Pubblicazione 2008
Sommario: “... Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
18
Copertina
Pubblicazione 2010
Sommario: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
19
Copertina
di Seibel, Peter., Seibel, Peter.
Pubblicazione 2005
Sommario: “... and Restarts -- The Special Operators -- Programming in the Large: Packages and Symbols -- LOOP for Black Belts...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
20
Copertina
Pubblicazione 2012
Sommario: “... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca