Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
książki » Gradel, Erich
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[3084246]
•
Literatura piękna
[1814677]
więcej...
•
Turystyka
[52499]
•
Informatyka
[156313]
•
Komiksy
[36440]
•
Encyklopedie
[23162]
•
Dziecięca
[612296]
•
Hobby
[104963]
•
AudioBooki
[1527]
•
Literatura faktu
[195099]
•
Muzyka CD
[280]
•
Słowniki
[2960]
•
Inne
[440283]
•
Kalendarze
[497]
•
Podręczniki
[166016]
•
Poradniki
[421834]
•
Religia
[509531]
•
Czasopisma
[472]
•
Sport
[61235]
•
Sztuka
[248965]
•
CD, DVD, Video
[3357]
•
Technologie
[230717]
•
Zdrowie
[98569]
•
Książkowe Klimaty
[126]
•
Zabawki
[2516]
•
Puzzle, gry
[3468]
•
Literatura w języku ukraińskim
[276]
•
Art. papiernicze i szkolne
[6686]
Kategorie szczegółowe BISAC
Gradel, Erich
Erich Gradel is Professor for Mathematical Foundations of Computer Science at RWTH Aachen University in Germany.
[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]
Automata, Logics, and Infinite Games: A Guide to Current Research
Finite Model Theory and Its Applications
The Classical Decision Problem
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Finite Model Theory and Its Applications
Czytaj nas na: