ZAKRES LAT:
1977-2011
zaznaczenia są sumowane
RODZAJE PRAC:
| 3 | | 2 | | 2 | | 7 | | 7 | | | Dysertacje | | | 1 | | | Sprawozdania z badań | | | 18 | | 2 |
Eksporty
Wybrane prace:
0
|
|
|
|
1
| 141530 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/I32 | | -1 |
Z09/2004/P-0004
|
DONA ID: 141530
Rozdział w książce
|
|
Jednostka: W08
|
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 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/I31 | | -1 |
I32/2009/I-0015
|
DONA ID: 162304
Rozdział w książce
|
|
Jednostka: W08
|
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 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/I31 | | -1 |
I31/2007/I-0032
|
DONA ID: 153587
Referat konferencyjny
|
|
Jednostka: W08
|
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 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/Z02 | | -1 |
Z09/2002/P-0021
|
DONA ID: 131748
Referat konferencyjny
|
|
Jednostka: W08
|
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. (Schedae Informaticae, ISSN 0860-0295; vol. 12)
|
|
|
| 2003 | |
|
|
5
| 123524 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 1 | 0 | W08#W08/Z02;W08#W04/I06;W04#W08/Z02;W04#W04/I06 | | -1 |
Z09/2000/P-0028
|
| 2000 | |
|
|
6
| 117346 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/Z02 | | -1 |
Z09/1999/S-0013
|
DONA ID: 117346
Raport serii SPR
|
|
Jednostka: W08
|
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 | | | | | | | | | | | | | | | | | | | | | | 3 | 10 | | | | | | | | | | | | | | | 0 | 0 | 1 | 0 | W08#W08/Z02 | | -1 |
Z09/1999/P-0017
|
DONA ID: 116352
Referat konferencyjny
|
|
Jednostka: W08
|
Zdzisław Spławski, Paweł Urzyczyn*autor spoza PWr
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 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 0 | 0 | W08#W08/Z02 | | -1 |
Z09/1998/S-0016
|
DONA ID: 112767
Raport serii SPR
|
|
Jednostka: W08
|
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
| 002094 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 1 | 0 | W08#W08/Z02 | | -1 |
Z09/1997/G-0005
|
DONA ID: 2094
Artykuł
|
|
Jednostka: W08
|
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
| 002095 | | | | | | | | | | | | | | | | | | | | | | 0 | | | | | | | | | | | | | | | | 0 | 0 | 2 | 0 | W08#W08/Z02 | | -1 |
Z09/1997/G-0004
|
| 1997 | |
|