Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 13.

Wyniki
		An algebraic framework for defining behaviours of concurrent systems / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 1014 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2009 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		A mathematical model of action / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 1029 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: dostępny Cz 3163.
		Partially ordered domains for representing activities / Józef Winkowski. autor Winkowski, Józef, (1934- ) Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1033 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		A model of evolving relational structures and its application to plan-formation / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 929 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : IPI PAN, 2001 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		An algebraic characterization of independence of Petri net processes / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 953 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Probabilistic models of random behaviours of concurrent systems / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 1024 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards a solution to a plan-formation problem / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 948 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Behaviour algebras / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 992 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards a framework for modelling systems with rich internal structures of states and processes / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 973 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2004 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards a framework for modelling behaviours of hybrid systems / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 1002 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		An axiomatic characterization of algebras of processes of Petri nets / Józef Winkowski. autor Winkowski, Józef, (1934- ) Serie: Prace IPI PAN ; 987 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2005 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Programowanie symulacji procesów / Józef Winkowski. autor Winkowski, Józef, (1934- ) [Autor] Wydawnictwa Naukowo-Techniczne [Wydawca] Serie: Informatyka - Wydawnictwa Naukowo-Techniczne. Przetwarzanie Informacji i Maszyny Matematyczne Wydanie: Wydanie I. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1974 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB I11677. Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: na półce Mg 67514, ... Zamów
		Mathematical foundations of computer science 1978 : proceedings 7th Symposium Zakopane, Poland, September 4-8, 1978 / ed. by J. Winkowski. autor Symposium on Mathematical Foundations of Computer Science (7 ; 1978 ; Zakopane) Winkowski, Józef, (1934- ) [Red.] Serie: Lecture Notes in Computer Science ; 64 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181086.