"Javier Esparza" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Javier Esparza, Keijo Heljanko

1.99 Mb

#2

Finite and Algorithmic Model Theory

Javier Esparza, Christian Michaux, Charles Steinhorn

1.54 Mb

#3

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Javier Esparza, Rupak Majumdar

6.51 Mb

#4

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Javier Esparza, Rupak Majumdar

Категория: Компьютеры

5.39 Mb

#5

Curso General De Disidencia

Esparza Jose Javier

Категория: fiction

552 Kb

#6

Applications and Theory of Petri Nets 2002, 23 conf., ICATPN 2002

Javier Esparza, Charles Lakos

Категория: Cs_Computer science, CsLn_Lecture notes

4.38 Mb

#7

Free choice Petri nets

Jorg Desel, Javier Esparza

Категория: Cs_Computer science, CsDi_Discrete math

1.71 Mb

#8

Free Choice Petri Nets

Jorg Desel, Javier Esparza

9.38 Mb