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
[2694776]
•
Literatura piękna
[1641667]
więcej...
•
Turystyka
[62116]
•
Informatyka
[141426]
•
Komiksy
[31829]
•
Encyklopedie
[21645]
•
Dziecięca
[515086]
•
Hobby
[106381]
•
AudioBooki
[2007]
•
Literatura faktu
[199771]
•
Muzyka CD
[455]
•
Słowniki
[2691]
•
Inne
[407008]
•
Kalendarze
[1139]
•
Podręczniki
[161160]
•
Poradniki
[408147]
•
Religia
[455007]
•
Czasopisma
[414]
•
Sport
[59437]
•
Sztuka
[224614]
•
CD, DVD, Video
[3701]
•
Technologie
[206332]
•
Zdrowie
[87872]
•
Książkowe Klimaty
[118]
•
Zabawki
[2498]
•
Puzzle, gry
[3071]
•
Literatura w języku ukraińskim
[262]
•
Art. papiernicze i szkolne
[9553]
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
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, 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
Czytaj nas na: