Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
talks programs » talks program, talk program, states programs
program talks » program talos, program task, program teks
https » http
talks programs » talks program, talk program, states programs
program talks » program talos, program task, program teks
https » http
1
Publicado 2013
Tabla de Contenidos:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”Enlace del recurso
Electrónico
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado 2008
Tabla de Contenidos:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”Enlace del recurso
Electrónico
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Tabla de Contenidos:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Enlace del recurso
Electrónico
eBook
4
Publicado 2008
Tabla de Contenidos:
“... for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State...”Enlace del recurso
Electrónico
eBook
5
Publicado 2015
Tabla de Contenidos:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”Enlace del recurso
Electrónico
eBook
7
Publicado 2015
Tabla de Contenidos:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”Enlace del recurso
Electrónico
eBook
8
Publicado 2013
Tabla de Contenidos:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”Enlace del recurso
Electrónico
eBook
10
Publicado 2006
Tabla de Contenidos:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Enlace del recurso
Electrónico
eBook
11
Publicado 2006
Tabla de Contenidos:
“...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”Enlace del recurso
Electrónico
eBook
12
Publicado 2014
Tabla de Contenidos:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”Enlace del recurso
Electrónico
eBook
14
Publicado 2013
Tabla de Contenidos:
“...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”Enlace del recurso
Electrónico
eBook
15
Publicado 2013
Tabla de Contenidos:
“...Invited Talks -- Witness Runs for Counter Machines (Abstract) -- On the Duality of Proofs...”Enlace del recurso
Electrónico
eBook
16
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”Enlace del recurso
Electrónico
eBook
17
Publicado 2005
Tabla de Contenidos:
“...Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary...”Enlace del recurso
Electrónico
eBook
18
Materias:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
19
Publicado 2008
Tabla de Contenidos:
“...: Relevance in Data Mining -- Keynote Talks -- Utility-Based Data-Gathering in Wireless Sensor Networks...”Enlace del recurso
Electrónico
eBook
20
Publicado 2007
Tabla de Contenidos:
“... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]