Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program https » programs https, program has, program help
program talk » program task, program talos, program tbk
talk program » talks program, park program, milk program
program https » programs https, program has, program help
program talk » program task, program talos, program tbk
talk program » talks program, park program, milk program
1
Published 2013
Table of Contents:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”View full text
Electronic
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Invited Talks -- Witness Runs for Counter Machines (Abstract) -- On the Duality of Proofs...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary...”View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
by Salbi, Syairil Adzrin, Abdullah, Muhammad Alif Redzuan, Husain, Salina, Hussin, Sanimah
Published 2022
“... of an array of CS when interacting during the talk show which includes nine prominent communication strategies...”Published 2022
Article
20
Published 2007
Table of Contents:
“... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”View full text
Electronic
eBook