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
[2358593]
•
Literatura piękna
[1582140]
więcej...
•
Turystyka
[61248]
•
Informatyka
[129097]
•
Komiksy
[28213]
•
Encyklopedie
[22112]
•
Dziecięca
[508694]
•
Hobby
[105002]
•
AudioBooki
[2300]
•
Literatura faktu
[193284]
•
Muzyka CD
[869]
•
Słowniki
[2907]
•
Inne
[395678]
•
Kalendarze
[454]
•
Podręczniki
[156615]
•
Poradniki
[408697]
•
Religia
[444063]
•
Czasopisma
[457]
•
Sport
[54583]
•
Sztuka
[211962]
•
CD, DVD, Video
[4035]
•
Technologie
[175384]
•
Zdrowie
[89658]
•
Książkowe Klimaty
[124]
•
Zabawki
[4223]
•
Puzzle, gry
[3417]
•
Literatura w języku ukraińskim
[236]
•
Art. papiernicze i szkolne
[13051]
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: