Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
intersections completes » intersections congresses, interactions computer, interactions complex
processing programme » processing programmed, processing programs, processing programming
processing program » processing programs, processing programmed, proceedings program
function https » functions https, fiction https
intersections completes » intersections congresses, interactions computer, interactions complex
processing programme » processing programmed, processing programs, processing programming
processing program » processing programs, processing programmed, proceedings program
function https » functions https, fiction https
1
Gepubliceerd in 2006
Inhoudsopgave:
“... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2007
Inhoudsopgave:
“...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2010
Inhoudsopgave:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2013
Inhoudsopgave:
“... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2008
Inhoudsopgave:
“... and Back -- A Complete Axiomatic System for a Process-Based Spatial Logic -- Voronoi Games on Cycle Graphs...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2008
Inhoudsopgave:
“...-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2006
Inhoudsopgave:
“...-Complete -- On Bounded Distance Decoding for General Lattices -- Threshold Functions for Asymmetric Ramsey...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2008
Inhoudsopgave:
“... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2005
Inhoudsopgave:
“... Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2007
Inhoudsopgave:
“... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”Volledige tekst
Elektronisch
E-boek