Pełne teksty artykułów zamieszczanych na łamach czasopism wydawanych w AGH są dostępne w formacie PDF w sieci: http://journals.bg.agh.edu.pl/ W naszej księgarni można kupić jedynie numery ostatnio wydane. Zeszyty wcześniejsze prosimy zamawiać e-mailowo lub telefonicznie.

Pełne teksty artykułów zamieszczanych na łamach czasopism wydawanych w AGH są dostępne w formacie PDF w sieci: http://journals.bg.agh.edu.pl/ W naszej księgarni można kupić jedynie numery ostatnio wydane. Zeszyty wcześniejsze prosimy zamawiać e-mailowo lub telefonicznie.

Pełne teksty artykułów zamieszczanych na łamach czasopism wydawanych w AGH są dostępne w formacie PDF w sieci: http://journals.bg.agh.edu.pl/ W naszej księgarni można kupić jedynie numery ostatnio wydane. Zeszyty wcześniejsze prosimy zamawiać e-mailowo lub telefonicznie.

Pełne teksty artykułów zamieszczanych na łamach czasopism wydawanych w AGH są dostępne w formacie PDF w sieci: http://journals.bg.agh.edu.pl/ W naszej księgarni można kupić jedynie numery ostatnio wydane. Zeszyty wcześniejsze prosimy zamawiać e-mailowo lub telefonicznie.

Wydawnictwa nie prowadzą sprzedaży książek z serii "Rozprawy Monografie". Zainteresowanych prosimy o kontakt z ich autorami.

Książka poświęcona jest zagadnieniom z pogranicza informatyki i psychologii. Analizie poddano różne aspekty postępu informacyjnego w wymiarze społecznym, a zwłaszcza psychologicznym. Autorzy kolejnych rozdziałów zastanawiają się m.in., czy istnieje specyficzny profil psychologiczny programistów (W. Iszkowski, R. Tadeusiewicz); przenoszą obserwacje psychologiczne na grunt budowy... więcej »

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 »

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 »

W pierwszej części monografii przedstawiono podstawowe typy transformacji mające znaczenie praktyczne. Formalne podstawy rozwiązania wspomagającego automatyczną synchronizację równoległych transformacji grafowych w środowisku rozproszonym wprowadzono w drugiej części monografii. Omówiono koncepcję grafów komplementarnych i wywodzącą się z niej koncepcję grafów ciętych oraz... więcej »