Search Results

1

Stroje pomáhají myslet /

by Valach, Miroslav
Published 1962

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Book

2

Applications of process algebra /

Published 1990

Book

3

Categorical logic and type theory /

by Jacobs, Bart
Published 1999

Book

4

Computers in algebra and number theory.

Published 1971

Book

5

Concrete mathematics : a foundation for computer science /

by Graham, Ronald L., 1935-2020, Patashnik, Oren, 1954-, Knuth, Donald Ervin, 1938-
Published 1994

Book

6

Foundations of the Numerical Analysis of Plasticity /

by Miyoshi, Tetsuhiko
Published 1985

Book

7

Introduction to graph theory /

by Wilson, Robin J., 1943-
Published 1996

Book

8

An Introduction to Linear Algebra for Science and Engineering : Solutions Manual /

by Edelen, Dominic Gardiner Bowling, 1933-, Kydoniefs, Anastasios D.
Published 1976

Book

9

Lineárne programovanie /

by Plesník, Ján, 1943-, Dupačová, Jitka, 1939-2016, Vlach, Milan, 1936-
Published 1990

Book

10

Lineární a multilineární algebra /

by Musilová, Jana, 1948-, Krupka, Demeter, 1942-
Published 1989

Book

11

Logic and algebra of specification /

Published 1993

Book

12

Mathematical methods for artificial intelligence and autonomous systems /

by Dougherty, Edward R., Giardina, Charles R.
Published 1998

Book

13

Mathematical methods for neural network analysis and design /

by Golden, Richard M.
Published 1996

Book

14

Mathematical methods in linquistics /

by Partee, Barbara Hall, 1940-, Wall, Robert E., Meulen, Alice ter, 1952-
Published 1993

Book

15

Mathematical morphology and its applications to image and signal processing /

Published 1996

Book

16

Mathematical programming at Oberwolfach /

Published 1981

Book

17

Mathematical theory of computation /

by Manna, Zohar, 1939-2018
Published 1974

Book

18

Mathematical theory of domains /

by Stoltenberg-Hansen, Viggo, Lindström, Ingrid, Griffor, Edward R.
Published 1994

Book

19

A mathematical theory of global program optimization /

by Schaefer, Marvin
Published 1973

Book

20

Mathematical Theory of Program Correctness /

by Bakker, J. W. de 1939-, Bruin, Arie de, Zucker, Jeffery
Published 1980

Book

Narrow Search