| ||
26. | Oprogramowamnie użytkowe w systemie Linux
WNT, r. 2000 (Książka) Agata Janowska (Tłumacz), Paweł Janowski (Tłumacz), K Johnson | |
| ||
27. | Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
w: International Workshop on Petri Nets and Software Engineering, str. 15-31, Hamburg, Germany, r. 2012 (Artykuł konferencyjny) Agata Janowska, Janina Mincer-Daszkiewicz, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny | |
28. | Cartographer: Architecture of a Distributed System for Automated GUI Map Generation
w: Proceedings of The International Multi-Conference of Engineers and Computer Scientists 2011, str. 761-766, r. 2011 (Artykuł konferencyjny) Paweł Brach, Jacek Chrząszcz, Janusz Jabłonowski, Jakub Światly | |
29. | Dekalog COME a klasyczne modele kształcenia akademickiego
w: Metodologia i ewaluacja e-learningu, str. 112-123, Wydawnictwo SGGW, r. 2011 (Artykuł) Leszek Rudak, Jan Madey | |
30. | Towards Discrete-Time Verification of Time Petri Nets with Dense-Time Semantics
w: CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming, str. 215-228, Białystok University of Technology, r. 2011 (Artykuł konferencyjny) Agata Janowska, Wojciech Penczek, Agata Półrola, Andrzej Zbrzeźny | |
31. | Ksztalcenie zindywidualizowane na Wydziale MIM UW, czyli 'Szlifowanie diamentow'
w: Współpraca szkół średnich i wyższych w aspekcie lepszego przygotowania młodzieży do studiów wyższych, ze szczególnym uwzględnieniem kierunków ścisłych, str. 13-22, r. 2010 (Esej lub rozdział w książce) Jan Madey | |
32. | Improved method of verifying Estelle with Verics
w: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'09), str. 229-240, Uniwersytet Warszawski, r. 2009 (Artykuł konferencyjny) Agata Janowska, Tomasz Uliński | |
33. | Timed Promela Semantics
w: CS&P, str. 241-252, r. 2008 (Artykuł konferencyjny) Agata Janowska, Paweł Janowski, Wojciech Nabiałek | |
34. | Akademickie Mistrzostwa Swiata w Programowaniu Zespołowym - od kuchni
w: Komputer w edukacji, str. 134-139, r. 2007 (Artykuł konferencyjny) Jan Madey | |
35. | Dekalog edukacji internetowej
w: VI Konferencja Uniwersytet Wirtualny: model, narzędzia,, str. 10-17, Wydawnictwo PJWSTK, r. 2007 (Artykuł konferencyjny) Grażyna Wieczorkowska, Jan Madey | |
36. | On psychology of e-learning
[ LINK ]
w: Eunis 2007, The 13th International Conference of European University Information Systems, str. 53-60, r. 2007 (Artykuł konferencyjny) Grażyna Wieczorkowska, Jan Madey | |
37. | Translation of Intermediate Language to Timed Automata with Discrete Data
w: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'07), str. 309-320, r. 2007 (Artykuł konferencyjny) Agata Janowska, Paweł Janowski | |
38. | Changes in Computer Science Teaching at Warsaw University
w: International Conference on Computer Systems and Technologies, str. 1-6, r. 2006 (Artykuł konferencyjny) Janusz Jabłonowski | |
39. | Static Path Compression in Timed Systems
w: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'06), str. 3 / 340-351, Humboldt University, r. 2006 (Artykuł konferencyjny) Agata Janowska, Wojciech Penczek | |
40. | Slicing of Timed Automata with Discrete Data
w: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'05), str. 211-222, Wydawnictwa Uniwersytetu Warszawskiego, r. 2005 (Artykuł konferencyjny) Agata Janowska, Paweł Janowski | |
41. | Some Notes on Generics in C#
w: Proceedings of the International Conference on Computer Systems and Technologies, str. 31-36, Bulgarian chapter of ACM, r. 2005 (Artykuł konferencyjny) Janusz Jabłonowski | |
42. | Czy to sen, czy Java? O ewolucji języków programowania
w: XX Konferencja Informatyka w Szkole, str. 6-16, Uniwersytet Wrocławski, r. 2004 (Artykuł konferencyjny) Jan Madey | |
43. | Some Remarks on Teaching of Programming
w: Technologies - CompSysTech'2004, str. 1-6, Proceedings of the conference by Bulgarian Chapter of ACM, r. 2004 (Artykuł konferencyjny) Janusz Jabłonowski | |
44. | Typy uogólnione w Javie
w: VI Krajowa Konferencja Inżynierii Oprogramowania, str. 479-490, Wydawnictwa Naukowo Techniczne, r. 2004 (Artykuł konferencyjny) Janusz Jabłonowski | |
45. | Typy uogólnione w Javie
w: VI Krajowa Konferencja Inżynierii Oprogramowania, str. 479-490, Wydawnictwa Naukowo Techniczne, r. 2004 (Artykuł konferencyjny) Janusz Jabłonowski | |
46. | Osiągnięcia młodych informatyków na arenach krajowych i międzynarodowych
w: XIX Konferencja Informatyka w Szkole, str. 13-18, Ministerstwo Edukacji Narodowej i Sportu, r. 2003 (Artykuł konferencyjny) Jan Madey | |
47. | Programowanie zespołowe – przegląd doswiadczeñ na przykładzie Zespołowego Projektu Programistycznego
w: Problemy i metody Inżynierii Oprogramowania, str. 653-662, Wydawnictwa Naukowo-Techniczne, r. 2003 (Artykuł konferencyjny) Janusz Jabłonowski | |
48. | Slicing Timed Systems
w: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P, str. 235-250, Wydawnictwa Uniwersytetu Warszawskiego, r. 2003 (Artykuł konferencyjny) Agata Janowska, Paweł Janowski | |
49. | Verics: weryfikator dla automatów czasowych i specyfikacji zapisanych w języku Estelle
w: Materiały X Konferencji Systemów Czasu Rzeczywistego, str. 17-26, Instytut Informatyki Politechniki Sląskiej, r. 2003 (Artykuł konferencyjny) Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Połrola, Maciej Szreter, Bożena Woźna, Andrzej Zbrzeźny | |
50. | Computer Aided Development of Correct Programs
w: ComSysTech, str. -6, Bulgarian chapter of ACM, r. 2002 (Artykuł konferencyjny) Janusz Jabłonowski |