6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
On a Square Packing Problem
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 113-127
-
- Article
- Export citation
Multi-Coloured Hamilton Cycles in Random Edge-Coloured Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 129-133
-
- Article
- Export citation
Partitioning Matroids with Only Small Cocircuits
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 191-197
-
- Article
- Export citation
Some Inequalities for the Largest Eigenvalue of a Graph
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 179-189
-
- Article
- Export citation
Lagrangians of Hypergraphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 199-216
-
- Article
- Export citation
A Ratio Inequality for Binary Trees and the Best Secretary
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 149-161
-
- Article
- Export citation
Convergence of the Iterated Prisoner's Dilemma Game
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 135-147
-
- Article
- Export citation
Concentration for Independent Permutations
-
- Journal:
- Combinatorics, Probability and Computing / Volume 11 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 25 April 2002, pp. 163-178
-
- Article
- Export citation
Feedback, trace and fixed-point semantics
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 181-194
- Print publication:
- April 2002
-
- Article
- Export citation
μ-Bicomplete Categories and Parity Games
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 195-227
- Print publication:
- April 2002
-
- Article
- Export citation
A Fully Equational Proof of Parikh's Theorem
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 129-153
- Print publication:
- April 2002
-
- Article
- Export citation
Semantics of value recursion for Monadic Input/Output
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 155-180
- Print publication:
- April 2002
-
- Article
- Export citation
Preface
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 June 2007, p. VII
- Print publication:
- April 2002
-
- Article
- Export citation
![](https://assets.cambridge.org/97805218/08149/cover/9780521808149.jpg)
Specifying Software
- A Hands-On Introduction
-
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002
Appendices
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 255-256
-
- Chapter
- Export citation
9 - Regular Languages
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 191-206
-
- Chapter
- Export citation
B - Data Representations
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 107-108
-
- Chapter
- Export citation
Introduction to Part A
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 13-14
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp i-iv
-
- Chapter
- Export citation
A - Algorithms
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 11-12
-
- Chapter
- Export citation