| ||
1. | E-learning versus T-learning
BIO-ALGORITHMS AND MED-SYSTEMS Tom 5 Nr 9 r. 2009, str. 103-108 (Artykuł) Jan Madey, Leszek Rudak | |
2. | From Top Coders to Top IT Professionals
LECTURE NOTES IN COMPUTER SCIENCE Tom 5090 r. 2008, str. 31-40 (Artykuł) Krzysztof Diks, Jan Madey | |
3. | Translation of Intermediate Language to Timed Automata with Discrete Data
FUNDAMENTA INFORMATICAE Tom 85 Nr 1-4 r. 2008, str. 235-248 (Artykuł) Agata Janowska, Paweł Janowski, Dobiesław Wróblewski | |
4. | Translation of Timed Promela to Timed Automata with Discrete Data
FUNDAMENTA INFORMATICAE Tom 85 Nr 1-4 r. 2008, str. 409-424 (Artykuł) Agata Janowska, Paweł Janowski, Wojciech Nabiałek | |
5. | Path Compression in Timed Automata
FUNDAMENTA INFORMATICAE Tom 79 Nr 3-4 r. 2007, str. 379-399 (Artykuł) Agata Janowska, Wojciech Penczek | |
6. | Slicing of Timed Automata with Discrete Data
FUNDAMENTA INFORMATICAE Tom 72 Nr 3 r. 2006, str. 181-195 (Artykuł) Agata Janowska, Paweł Janowski | |
7. | Proving Correctness and Completeness of Normal Programs - A Declarative Approach
THEORY AND PRACTICE OF LOGIC PROGRAMMING Tom 5 Nr 6 r. 2005, str. 669-711 (Artykuł) Włodzimierz Drabent, Mirosława Miłkowska | |
8. | Proving Correctness and Completeness of Normal Programs - A Declarative Approach
THEORY AND PRACTICE OF LOGIC PROGRAMMING Tom 5 Nr 6 r. 2005, str. 669-711 (Artykuł) Wlodzimierz Drabent, Mirosława Miłkowska | |
9. | Slicing Timed Systems
FUNDAMENTA INFORMATICAE Tom 60 r. 2004, str. 187-210 (Artykuł) Agata Janowska, Paweł Janowski | |
10. | 'Czym skorupka za młodu nasiąknie ...', czyli jak osiagąć sukcesy na międzynarodowym polu informatycznym
Komputer w Szkole r. 2003, str. 11-22 (Artykuł) Jan Madey | |
11. | Programowanie w logice a przyszłosć inżynierii oprogramowania
SOFTWARE 2 Tom 100 r. 2003, str. 59-61 (Artykuł) Mirosława Miłkowska | |
12. | Verics: A Tool for Verifying Timed Automata and Estelle Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 2619 r. 2003, str. 278-283 (Artykuł konferencyjny) Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny | |
13. | WMT - From a Personal Perspective
INFORMATION PROCESSING LETTERS Tom 88 r. 2003, str. 3-6 (Artykuł) Jan Madey | |
14. | Proving correctness and completeness of normal programs - A declarative approach
LECTURE NOTES IN COMPUTER SCIENCE Nr 2237 r. 2001, str. 284-299 (Artykuł) Mirosława Miłkowska, W. Drabent | |
15. | Towards automated consistency checking of module interface specifications
FUNDAMENTA INFORMATICAE Tom 42 Nr 3-4 r. 2000, str. 251-278 (Artykuł) Marcin Engel, Janina Mincer-Daszkiewicz, A Kret | |
16. | Początki informatyki w Polsce
INFORMATYKA Tom 9 r. 2000, str. 14-19 (Artykuł) Jan Madey, M Sysło | |
17. | Początki informatyki w Polsce
INFORMATYKA Tom 10 r. 2000, str. 18-23 (Artykuł) Jan Madey, M Sysło | |
| ||
18. | University Information Systems. Selected Problems
Difin SA, r. 2010 (Książka) Leszek Rudak (Redaktor), Krzysztof Diks (Redaktor), Jan Madey (Redaktor) | |
19. | Podstawy programowania współbieżnego i rozproszonego
WNT, r. 2009 (Książka) Mordechai Ben-Ari, Marcin Engel (Tłumacz) | |
20. | Przysposobienie informatyczne
, r. 2006 (Skrypt lub podręcznik akademicki) Michał Bassa, Robert Dąbrowski, Marcin Engel, Janusz Jabłonowski, Piotr Krzyżanowski | |
21. | Wzorce projektowe. Elementy oprogramowania obiektowego wielokrotnego użytku
Wydawnictwa Naukowo-Techniczne, r. 2005 (Książka) Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides, Janusz Jabłonowski (Tłumacz) | |
22. | Algorytmy genetyczne i ich zastosowania
Wydawnictwa Naukowo-Techniczne, r. 2003 (Książka) David Goldberg, Kazimierz Grygiel (Tłumacz) | |
23. | Special Issue to Honour Professor W.M. Turski
Elsevier, r. 2003 (Książka) Jan Madey (Redaktor), Jose Fiadeiro (Redaktor), Andrzej Tarlecki (Redaktor) | |
24. | Structured Programming: The Hard Core of Software Engineering, Proceedings of an International Workshop at ETAPS
Uniwersytet Warszawski, r. 2003 (Książka) Jan Madey (Redaktor) | |
25. | Jądro systemu Unix
Wydawnictwa Naukowo-Techniczne, r. 2001 (Inne) Marcin Engel (Tłumacz) |