Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Ludwik Czaja
2011
- Marcin Szczuka, Ludwik Czaja, Andrzej Skowron i Magdalena Kacprzak (red.), CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming, Białystok University of Technology, Białystok 2011.zobacz w PBN
- Ludwik Czaja, MAGDALENA KACPRZAK, Andrzej Skowron i Marcin Szczuka (red.), Cuncurrency, Specification and Programming CS&P 2011, 2011.zobacz w PBN
2010
- L. Popova-Zeugmann, H.-D. Burkhard, Ludwik Czaja, W. Penczek, G. Lindemann, Andrzej Skowron i Z. Suraj (red.), Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P 2010), Helenenau, Germany, September 27-29, 2010, vol. 1&2, Humboldt Universitaet zu Berlin, Berlin 2010.zobacz w PBN
- Andrzej Skowron, L. Popova--Zeugmann, H.-D. Burkhard, Ludwik Czaja i W. Penczek (red.), Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P 2010),, Humboldt Universitaet zu Berlin, Berlin 2010.zobacz w PBN
2009
- Ludwik Czaja i Marcin Szczuka (red.), Concurrency, Specification and Programming (CS&P), volume 1 & 2, University of Warsaw, Warszawa 2009.zobacz w PBN
- Marcin Szczuka i Ludwik Czaja, Approximation of loss and risk in granular context, w: CS&P 2009, the 18th Concurrency, Specification and Programming Worksho, University of Warsaw, Warszawa 2009.zobacz w PBN
2008
- Gabriela Lindemann, Hans Burkhard, Ludwik Czaja, Wojciech Penczek, Andrzej Sawicki, Holger Schlingloff, Andrzej Skowron i Zbigniew Suraj (red.), Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P 2008), Humboldt Universitaet zu Berlin, Berlin 2008.zobacz w PBN
- Wojciech Penczek, Ludwik Czaja, Andrzej Salwicki, Andrzej Skowron, Zbigniew Suraj, Holger Schlingloff, Hans Burkhard i Gabriela Lindemann (red.), Concurrency, Specification and Programming CS&P, Humboldt Universitaet zu Berlin 2008.zobacz w PBN
2006
- G. Lindemann, H. Schlinglof, H.-D. Burchard, Ludwik Czaja, W. Pęczek, Andrzej Sawicki, Andrzej Skowron i Zbigniew Suraj (red.), Concurrency, Specification & Programming 2006 (CS&P 2006), Wandlitz, Germany, September 27-29, 2006, vol. 1-3, Springer, Heidelberg 2006.zobacz w PBN
2004
- G. Lindemann, H.D. Burkhard, Ludwik Czaja, Andrzej Skowron, H. Schlingloff i Z. Suraj (red.), Proceedings of the Workshop on Concurrency, Specification and Programming (CSP 2004), vol. 1-3, no 170, str.1-587, Humboldt Universitat, Caputh, Niemcy 2004.zobacz w PBN
2002
- H. Burkhard, Ludwik Czaja, G. Lindemann, Andrzej Skowron i Peter Starke (red.), Proceedings of the International Workshop on Concurrency, Specification and Programming, Humboldt University, Berlin 2002.zobacz w PBN