Your search for 38198 returns 2784 document(s) |
Some observations on compositional semantics, (LNCS-Lecture Notes in Computer Science 131)Hal. 137-149 |
Author: Theo M.V. Janssen; Peter van Emde Bosa; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
GP(Graph): introducing a graph computation domain in constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 211-225 |
Author: Gregoire Dooms; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Some examples of dynamic proofs whithout words in powerpoint(349-357) |
Author: Kuo-chung huang*; | Call Number: SIM-355 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal Languages and Complexity Theory: Time-Space Trade-Off Lower Bounds for Randomized Computation of Decision Problems, A Complete Problem for Statistical Zero Knowledge |
Author: P. Beame, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Graph invariants as necessary conditions for global constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 92-106 |
Author: Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The locality property in topological irregular graph hierarchies, (LNCS-Lecture Notes in Computer Science 1557) Hal 437-449 |
Author: Helmut Kofler; Ernst J. Haunschmid; Wilfried N. Gansterer; Christoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166 |
Author: A.J. Kfoury; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31 |
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Distributed stable matching problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 152-166 |
Author: Ismel Brito; Pedro Meseguer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving the MOLR and social golfers problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 286-300 |
Author: Warwick Harvey; Thorsten Winterer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|