Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
intersections computing » interaction computing, interneurons computing, intersections rotating
computing processing » computing proceeding, computing proceedings, computer processing
processing program » processing programs, processing programmed, proceedings program
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
intersections computing » interaction computing, interneurons computing, intersections rotating
computing processing » computing proceeding, computing proceedings, computer processing
processing program » processing programs, processing programmed, proceedings program
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
1
Gepubliceerd in 2010
Inhoudsopgave:
“...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2008
Inhoudsopgave:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2015
Inhoudsopgave:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2008
Inhoudsopgave:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2007
Inhoudsopgave:
“...On a Logical Foundation for Explicit Substitutions -- From Proof-Nets to Linear Logic Type Systems...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2006
Inhoudsopgave:
“... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2014
Inhoudsopgave:
“...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2015
Inhoudsopgave:
“...Preface -- Chapter 1. Exploring the Intersection of Community Well-Being and Community Development...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2015
Inhoudsopgave:
“... 20 Program Evaluation: Why Process Matters -- Chapter 21Writing Peace Psychology: Creating High...”Volledige tekst
Elektronisch
E-boek