|
zaznaczenia są sumowane
RODZAJE PRAC:
| 3 | | 2 | | 2 | | 7 | | 7 | | | | Dysertacje | | | 1 | | | | Sprawozdania z badań | | | 18 | | 2 |
Eksporty
Wybrane prace:
0
|
| |
|
|
1
| 141530 | |
Zdzisław Spławski
Polymorphism: prose of Java programmers. W: Computer science applications / ed. by Joslyn A. Smith. San Diego : Cognella, cop. 2011. s. 85-97.
| 2011 | |
|
|
2
| 162304 | |
Zdzisław Spławski
Polimorfizm a klasy generyczne w języku Java. W: Inżynieria oprogramowania - metody wytwarzania i wybrane zastosowania / red. nauk. Bogumiła Hnatkowska i Zbigniew Huzar. Warszawa : Wydawnictwo Naukowe PWN, 2008. s. 163-176.
| 2008 | |
|
|
3
| 153587 | |
Zdzisław Spławski
Problemy klas generycznych w języku Java. W: Metody i narzędzia wytwarzania oprogramowania. Konferencja naukowa, Szklarska Poręba, 14-16 maja 2007 / pod red. Bogumiły Hnatkowskiej i Zbigniewa Huzara. Wrocław : Oficyna Wydaw. PWroc., 2007. s. 399-409.
| 2007 | |
|
|
4
| 131748 | |
Zdzisław Spławski
Defining recursors by solving equations in second-order lambda calculus. W: Chambery-Kraków-Lyon Workshop on Lambda-Calculus, Tape Theory and Mathematical Logic, [Kraków, June 27-29, 2002]. Kraków : Jagiellonian University Press, 2003. s. 49-56.
| 2003 | |
|
|
5
| 123524 | |
Jan Magott, Zdzisław Spławski
New synchronization mechanism for "soft" real-time systems. Raporty Wydz. Zakł. Inform. PWroc. 2000, Ser. PRE, nr 28, 8 s.
| 2000 | |
|
|
6
| 117346 | |
Zdzisław Spławski
Interdefinability of positive coinductive types with coresursors. Raporty Wydz. Zakł. Inform. PWroc. 1999, Ser. SPR, nr 13, 11 s.
| 1999 | |
|
|
7
| 116352 | 17144401894 |
Zdzisław Spławski, Paweł Urzyczyn*
Type fixpoints: iteration vs. recursion. W: Proceedings of the Fourth ACM SIGPLAN [Association for Computing Machinery. Special Group on Programming Languages] International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. New York, NY : ACM Press, cop. 1999. s. 102-113.
| 1999 | |
|
|
8
| 112767 | |
Zdzisław Spławski
Continuations in lambda-> with positive /co-/inductive data types. Raporty Wydz. Zakł. Inform. PWroc. 1998, Ser. SPR, nr 16, 23 s.
| 1998 | |
|
|
9
| 2094 | |
Zdzisław Spławski, Lech Tuzinkiewicz
Ku inżynierii oprogramowania. [Cz.] 2, 3, 4. Gazeta Wyborcza 1997/1998 nr 286, dod. "Biuro i Komputer" nr 46, s. 4 ; nr 4, dod. "Biuro i Komputer" nr 1, s. 11 ; nr 10 dod. "Biuro i Komputer" nr 2 s. 6.
| 1998 | |
|
|
10
| 2095 | |
| 1997 | |
|