Przesłane
Lista ostatnio przesłanych plików. Przejdź na stronę galerii nowych plików, by zobaczyć pliki jako miniaturki.
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)- 14:16, 8 sie 2017 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Int.log
- 21:13, 7 sie 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 10:15, 5 sie 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 10:03, 5 sie 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 09:07, 5 sie 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 09:38, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“ (Przywrócono wersję z 05:17, 29 lip 2017)
- 08:31, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“ (Przywrócono wersję z 07:20, 28 lip 2017)
- 08:23, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Na-algorytm-Euklidesa2017.pdf
- 08:08, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:FI-On-Euclids-algorithm.pdf
- 07:26, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:FI-On-Euclids-algorithm.pdf
- 07:17, 29 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 09:20, 28 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 09:15, 28 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 08:25, 28 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“
- 09:12, 20 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On-Euclids-algorithm-Black.pdf
- 10:26, 8 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 07:13, 4 lip 2017 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 09:10, 4 gru 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 09:01, 4 gru 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 20:27, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On-Euclids-algorithm.pdf
- 11:22, 13 lis 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:Safe and effective object management system-Sal-Zadr.pdf“
- 15:30, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:InferenceRules.jpg
- 15:29, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AxiomsFOL-AL.jpg
- 15:29, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AxiomPL.jpg
- 14:31, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logiki.jpg
- 14:36, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Prezentacja27-01-2009ExperimProve.pdf
- 13:56, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SymulacjaBanku.pdf
- 23:14, 29 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Swidaarticle.pdf
- 20:28, 27 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Safe and effective object management system-Sal-Zadr.pdf
- 11:21, 17 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:DziedzictwoLoglanu2016wyk1.pdf
- 22:43, 16 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:DziedzictwoLoglanu.pdf
- 21:00, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:LeafletLoglan.pdf“
- 11:45, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:UlotkaLogikaAlgorytmiczna.pdf
- 11:35, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:LeafletLoglan.pdf
- 11:30, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:UlotkaLoglan.pdf
- 21:21, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Swap.pdf
- 14:31, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Kalfa.jpg
- 13:14, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.jpg
- 13:09, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.jpg
- 12:01, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.pdf
- 12:00, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.pdf
- 18:54, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On certain-PAL-property.pdf
- 18:47, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On Formalized-Mirk.pdf
- 18:41, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Concatenation.pdf
- 20:36, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProvingSimulation.pdf“
- 20:23, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProvingSimulation.pdf
- 17:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja10.pdf
- 17:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja9.pdf
- 17:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja8.pdf
- 17:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja7.pdf
- 17:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja6.pdf
- 17:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja5.pdf
- 17:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja4.pdf
- 17:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja3.pdf
- 17:54, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja2.pdf
- 17:53, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja1.pdf
- 17:42, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AL+SpecVer.pdf
- 17:09, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Experimenting Proving.pdf
- 12:32, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProgramdDeallocatn-II.pdf“
- 10:43, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProgramdDeallocatn-II.pdf
- 19:33, 9 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:A-Biela.pdf
- 13:58, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Verifying-a-class.pdf
- 21:14, 21 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Bericht8410.pdf
- 20:56, 21 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AxMAX.pdf
- 20:46, 21 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4autorow.pdf
- 20:33, 21 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Burkhard.pdf
- 20:27, 21 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:LBan1980.pdf
- 17:42, 20 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProgrammedDeallocation-II.pdf“
- 16:36, 14 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:IPET-09-2Nov.pdf“
- 09:55, 13 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProgrammedDeallocation-II.pdf“
- 10:21, 3 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ArtBolkaCiesielskiego1988.pdf
- 12:41, 28 lip 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:BanachowskiDataStruct.pdf
- 12:17, 24 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Kreczmar-Efficiency-problems.pdf
- 09:49, 23 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:Kreczmar-Program-Fields.pdf“
- 09:41, 23 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Banachowski-II-167-193.pdf
- 12:45, 22 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:BanI-93-119.pdf
- 12:44, 22 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Kreczmar-Program-Fields.pdf
- 10:20, 13 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Mirkowska-II-147-165.pdf
- 07:57, 13 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:CalculuswIterationQuantifiers.pdf
- 17:13, 11 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Bcp211.pdf (praca wspólna z Rasiową, Antkiem i Leszkiem)
- 15:48, 11 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:MirkowskaI-1-17.pdf“
- 13:54, 11 cze 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:MirkowskaI-1-17.pdf (pierwsza część pracy)
- 00:05, 15 mar 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:Programmed-deallocation-without-Dangling-Reference-I.pdf“
- 12:57, 20 lut 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:MgrBolek.pdf
- 19:44, 21 sty 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:KreczmarMuldner-Coroutines-Processes.pdf
- 18:09, 5 sty 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:TOWHANC.pdf
- 13:29, 4 sty 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Heapsort.pdf
- 18:38, 3 sty 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:HEAPSORT.odt
- 12:33, 2 sty 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProgrammedDeallocation-II.pdf
- 19:23, 19 gru 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Loglan3.pdf
- 17:25, 19 gru 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Loglan2.pdf
- 10:45, 19 gru 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Loglan1.pdf
- 16:35, 25 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:GMP1970.pdf (praca Góraj, Mirkowskiej, Paluszkiewicz na temat pracy Floyda.)
- 20:56, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:IPET-09-2Nov.pdf
- 20:45, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:PracaFI22.10.2007.pdf
- 20:30, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:C3149.pdf
- 12:29, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Bolek1988.pdf
- 12:23, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AlienCall.pdf
- 12:07, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:Programmed-deallocation-without-Dangling-Reference-I.pdf“ (nowsza wersja)
- 11:51, 21 lis 2014 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Programmed-deallocation-without-Dangling-Reference-I.pdf (The text of original paper by G. Cioni and A. Kreczmar, edited by a>salwicki)