Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Symbolic and Algebraic Manipulation,Data Struct » Page 37 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Symbolic and Algebraic Manipulation,Data Struct » Page 37

book Finiteness and Regularity in Semigroups and Formal Languages

Finiteness and Regularity in Semigroups and Formal Languages

pdf

Author: Aldo de Luca Stefano Varricchio
Language: English
Year: 1999

00

27.01.2024

6

0

book Finite Fields: Theory and Computation: The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography

Finite Fields: Theory and Computation: The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography

pdf

Author: Igor E. Shparlinski (auth.)
Language: English
Year: 1999

00

27.01.2024

3

0

book Global Analysis in Linear Differential Equations

Global Analysis in Linear Differential Equations

pdf

Author: Mitsuhiko Kohno (auth.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

pdf

Author: R. Berghammer Y. Lakhnech W. Reif (auth.) Prof. Dr. Rudolf Berghammer Dr. Yassine Lakhnech (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Quantifier Elimination and Cylindrical Algebraic Decomposition

Quantifier Elimination and Cylindrical Algebraic Decomposition

pdf

Author: Dr. Bob F. Caviness Dr. Jeremy R. Johnson (auth.) Dr. Bob F. Caviness Dr. Jeremy R. Johnson (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Some Tapas of Computer Algebra

Some Tapas of Computer Algebra

pdf

Author: Arjeh M. Cohen (auth.) Arjeh M. Cohen Hans Cuypers Hans Sterk (eds.)
Language: English
Year: 1999

00

27.01.2024

1

0

book Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

pdf

Author: Ingo Dahn (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)
Language: English
Year: 1998

00

27.01.2024

2

0

book Computer-Human Interaction in Symbolic Computation

Computer-Human Interaction in Symbolic Computation

pdf

Author: Norbert Kajler (auth.) Dr. N. Kajler (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Pi: Algorithmen, Computer, Arithmetik

Pi: Algorithmen, Computer, Arithmetik

pdf

Author: Jörg Arndt Christoph Haenel (auth.)
Language: German
Year: 1998

00

27.01.2024

0

0

book Probabilistic Methods for Algorithmic Discrete Mathematics

Probabilistic Methods for Algorithmic Discrete Mathematics

pdf

Author: Michael Molloy (auth.) Michel Habib Colin McDiarmid Jorge Ramirez-Alfonsin Bruce Reed (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0