Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
książki » Alur, Rajeev
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
[3096608]
•
Literatura piękna
[1811851]
więcej...
•
Turystyka
[52420]
•
Informatyka
[156381]
•
Komiksy
[36668]
•
Encyklopedie
[23065]
•
Dziecięca
[611771]
•
Hobby
[103434]
•
AudioBooki
[1747]
•
Literatura faktu
[194995]
•
Muzyka CD
[406]
•
Słowniki
[3005]
•
Inne
[447054]
•
Kalendarze
[243]
•
Podręczniki
[166293]
•
Poradniki
[420077]
•
Religia
[508460]
•
Czasopisma
[551]
•
Sport
[61144]
•
Sztuka
[249742]
•
CD, DVD, Video
[3441]
•
Technologie
[231132]
•
Zdrowie
[98236]
•
Książkowe Klimaty
[126]
•
Zabawki
[2530]
•
Puzzle, gry
[3999]
•
Literatura w języku ukraińskim
[273]
•
Art. papiernicze i szkolne
[8463]
Kategorie szczegółowe BISAC
Alur, Rajeev
Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.
[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]
Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings
Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings
Hybrid Systems III: Verification and Control
Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings
Principles of Cyber-Physical Systems
Czytaj nas na: