בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming expression » reprogramming expression, programming expressive, programming extension
expression programming » expression profiling
programming generating » programming generative, programming integrating, programming genetic
generating java » generating data, generating a, generating fast
java http » java https
programming expression » reprogramming expression, programming expressive, programming extension
expression programming » expression profiling
programming generating » programming generative, programming integrating, programming genetic
generating java » generating data, generating a, generating fast
java http » java https
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
יצא לאור 2010
תוכן הענינים:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
3
יצא לאור 2005
תוכן הענינים:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים:
“... Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2015
תוכן הענינים:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2012
תוכן הענינים:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... for the Generation of Communication Adapters Integrating SW and FW Components from Simulink -- A UML Model-Driven...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים:
“... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים:
“... of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים:
“... Applications -- A Distributed, Parallel System for Large-Scale Structure Recognition in Gene Expression Data...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Experiences with PDG-Based IFC -- Idea: Java vs. PHP: Security Implications of Language Choice for Web...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2008
תוכן הענינים:
“... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני