בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program set » program self, program step, program smart
set https » net https
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program set » program self, program step, program smart
set https » net https
1
יצא לאור 2006
תוכן הענינים:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים:
“... and Rules -- Semi-structured Decision Rules in Object-Oriented Rough Set Models for Kansei Engineering...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2007
תוכן הענינים:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
יצא לאור 2013
תוכן הענינים:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2013
תוכן הענינים:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
תוכן הענינים:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני