Zaloguj się 

Jeśli nie masz jeszcze konta, zarejestruj się »
Dodaj do ulubionychMapa stronyAkademia Górniczo-Hutnicza

Nowości





Katalog książek


Katalog czasopism

Akademia Górniczo-Hutnicza
15.00 zł

METODY NUMERYCZNE

WYBRANE ZAGADNIENIA

Książka powstała z myślą o studentach II roku informatyki stosowanej oraz automatyki AGH, jako pomoc dydaktyczna do laboratoriów z metod numerycznych prowadzonych przez autorów. Stanowi subiektywny wybór problemów numerycznych, z jakimi można się zetknąć w praktyce obliczeniowej. Należy zatem podkreślić, że książka w założeniu ma być pomocą w praktycznej realizacji... więcej »

25.00 zł

MODELOWANIE SYSTEMÓW WSPÓŁBIEŻNYCH
W JĘZYKU ALVIS

Praca zawiera podsumowanie wyników wieloletnich badań autora w obszarze zastosowania metod formalnych w inżynierii oprogramowania. Autor zaproponował w niej nowy formalny język modelowania (Alvis) i pokazał potencjalne korzyści wynikające z jego praktycznego zastosowania w procesie wytwarzania oprogramowania. Wprawdzie język Alvis został zainspirowany algebrami procesów i sieciami... więcej »



O wydawnictwachKontaktPunkty sprzedażyAktualnościin English