Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)
- 12:34, 12 lut 2013 (różn. | hist.) . . (+85) . . SpecVer/Winograd (→Dowód poprawności)
- 10:44, 12 lut 2013 (różn. | hist.) . . (-45) . . SpecVer/Winograd (→Dowód poprawności)
- 10:12, 12 lut 2013 (różn. | hist.) . . (+7882) . . SpecVer/Winograd (→Algorytm)
- 10:08, 12 lut 2013 (różn. | hist.) . . (+14) . . SpecVer/Winograd (→Algorytm)
- 10:06, 12 lut 2013 (różn. | hist.) . . (+5219) . . N SpecVer/Winograd (Utworzył nową stronę „== Przedstawiamy algorytm Winograda i dowód jego poprawności. == == Wprowadzenie == Algorytm Winograda może być przydatny w obliczaniu iloczynu macierzy kwadrat...”)
- 09:38, 12 lut 2013 (różn. | hist.) . . (+137) . . SpecVer:O projekcie
- 10:27, 10 lut 2013 (różn. | hist.) . . (+2) . . SpecVer:O projekcie
- 09:01, 10 lut 2013 (różn. | hist.) . . (+9) . . SpecVer:O projekcie
- 09:00, 10 lut 2013 (różn. | hist.) . . (+31) . . N Szablon:Witaj (Utworzył nową stronę „Witaj na stronach projektu LEM!”) (ostatnia)
- 23:44, 9 lut 2013 (różn. | hist.) . . (0) . . Plik:Winograd.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Winograd.pdf“: Procedura Winograd do mnożenia macierzy.) (ostatnia)
- 23:42, 9 lut 2013 (różn. | hist.) . . (+2) . . Kompilatory na Linuksie (→Samodzielne kompilacja)
- 18:10, 8 lut 2013 (różn. | hist.) . . (+457) . . Kompilatory na Linuksie (→Wtyczka do Eclipse (opracował A. Chwedoruk))
- 18:02, 8 lut 2013 (różn. | hist.) . . (+6) . . Kompilatory na Linuksie (→Kompilator i środowisko VLP)
- 10:44, 8 lut 2013 (różn. | hist.) . . (+1) . . SpecVer (→Zobacz też)
- 07:23, 8 lut 2013 (różn. | hist.) . . (+6943) . . N Szablon:Cytuj pismo (Utworzył nową stronę „<cite style="font-style:normal">{{#if: {{{autor|}}}{{{nazwisko|}}} |{{#if: {{{autor link|}}} |[[{{{autor link}}}|{{#if: {{{nazwisko|}}} ...”)
- 07:20, 8 lut 2013 (różn. | hist.) . . (-2) . . SpecVer
- 07:03, 8 lut 2013 (różn. | hist.) . . (-11) . . SpecVer
- 07:01, 8 lut 2013 (różn. | hist.) . . (+27) . . SpecVer
- 00:18, 7 lut 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→ Współprogramy)
- 00:07, 7 lut 2013 (różn. | hist.) . . (-4) . . Kompilatory na Linuksie
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)