1
Publicat 2008
Taula de continguts: ... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ...Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obtenir text complet
Electrònic eBook
8
Publicat 2015
Taula de continguts: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Obtenir text complet
Electrònic eBook