History
1
538


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 538 total

Relative Hilbert-post completeness for exceptions. (English)
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11‒13, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 596-610 (2016).
WorldCat.org
1
The salesman and the tree: the importance of search in CP. (English)
Constraints 21, No. 2, 145-162 (2016).
WorldCat.org
2
Operads, quasiorders, and regular languages. (English)
Adv. Appl. Math. 75, 56-93 (2016).
WorldCat.org
3
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. (English)
FUN, 8:1-8:20(2016)
WorldCat.org
4
Opaque service virtualisation: a practical tool for emulating endpoint systems. (English)
ICSE (Companion Volume), 202-211(2016)
WorldCat.org
6
Computing the Duquenne-Guigues basis: an algorithm for choosing the order. (English)
Int. J. General Systems 45, N0. 2, 57-85(2016)
WorldCat.org
8
Weak Keys for the Quasi-Cyclic MDPC Public Key Encryption Scheme. (English)
AFRICACRYPT, 346-367(2016)
WorldCat.org
9
On distributed memory MPI-based parallelization of SPH codes in massive HPC context. (English)
Computer Physics Communications 200, 1-14(2016)
WorldCat.org
10
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. (English)
International Journal of Parallel Programming 44, N0. 3, 574-597(2016)
WorldCat.org
11
Modelling moral reasoning and ethical responsibility with logic programming. (English)
Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24‒28, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48898-0/pbk; 978-3-662-48899-7/ebook). Lecture Notes in Computer Science 9450, 532-548 (2015).
WorldCat.org
12
Discrete biochronological time scales. (English)
Cham: Springer (ISBN 978-3-319-21325-5/hbk; 978-3-319-21326-2/ebook). xviii, 160~p. (2015).
WorldCat.org
13
Prefix and suffix reversals on strings. (English)
Iliopoulos, Costas (ed.) et al., String processing and information retrieval. 22nd international symposium, SPIRE 2015, London, UK, September 1‒4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23825-8/pbk; 978-3-319-23826-5/ebook). Lecture Notes in Computer Science 9309, 165-176 (2015).
WorldCat.org
14
Open packing for facade-layout synthesis under a general purpose solver. (English)
Pesant, Gilles (ed.), Principles and practice of constraint programming. 21st international conference, CP 2015, Cork, Ireland, August 31 ‒ September 4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23218-8/pbk; 978-3-319-23219-5/ebook). Lecture Notes in Computer Science 9255, 508-523 (2015).
WorldCat.org
15
A global constraint for a tractable class of temporal optimization problems. (English)
Pesant, Gilles (ed.), Principles and practice of constraint programming. 21st international conference, CP 2015, Cork, Ireland, August 31 ‒ September 4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23218-8/pbk; 978-3-319-23219-5/ebook). Lecture Notes in Computer Science 9255, 105-120 (2015).
WorldCat.org
16
Foundations of coding. Compression, encryption, error correction. (English)
Hoboken, NJ: John Wiley \& Sons (ISBN 978-1-118-88144-6/hbk; 978-1-119-00594-0/ebook). xviii, 355~p. (2015).
WorldCat.org
17
Coupling two constraint-based systems into an on-line facade-layout configurator. (English)
Configuration Workshop, 47-54(2015)
WorldCat.org
18
Improved Side-Channel Analysis of Finite-Field Multiplication. (English)
CHES, 395-415(2015)
WorldCat.org
19
Mining processes with multi-instantiation. (English)
SAC, 1231-1237(2015)
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 538 total

Valid XHTML 1.0 Transitional Valid CSS!