Book serie: / Книги серии: Lecture Notes in Computer Science 559 » Page 1922 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 559 » Page 1922

book Fundamental Algorithms for Permutation Groups

Fundamental Algorithms for Permutation Groups

pdf

Author: G. Butler (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

pdf

Author: A. Fehnker M. Fruth A. K. McIver (auth.) Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Information Security and Privacy: 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

Information Security and Privacy: 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

pdf

Author: Basie von Solms (auth.) Colin Boyd Juan González Nieto (eds.)
Language: English
Year: 2009

00

26.01.2024

1

0

book A Tight, Practical Integration of Relations and Functions

A Tight, Practical Integration of Relations and Functions

djvu

Author: Harold Boley (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book CASL User Manual: Introduction to Using the Common Algebraic Specification Language

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

pdf

Author: Michel Bidoit Peter D. Mosses (auth.) Michel Bidoit Peter D. Mosses (eds.)
Language: English
Year: 2004

00

26.01.2024

3

0

book Reflections on the Teaching of Programming: Methods and Implementations

Reflections on the Teaching of Programming: Methods and Implementations

pdf

Author: Jens Bennedsen (auth.) Jens Bennedsen Michael E. Caspersen Michael Kölling (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Systems of Reductions

Systems of Reductions

pdf

Author: Benjamin Benninghofen Susanne Kemmerich Michael M. Richter (auth.)
Language: English
Year: 1987

00

26.01.2024

0

0

book Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

pdf

Author: Davide Ancona Giovanni Lagorio Elena Zucca (auth.) Stefano Berardi Ferruccio Damiani Ugo de’Liguoro (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

pdf

Author: Raymond Bisdorff Marc Roubens (auth.) Rudolf Berghammer Bernhard Möller Georg Struth (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Approximation and online algorithms: 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008: revised papers

Approximation and online algorithms: 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008: revised papers

pdf

Author: Evripidis Bampis Martin Skutella
Language: English
Year: 2009

00

26.01.2024

1

0