Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Lester, David R"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Real Number Calculations and Theorem Proving : Validation and Use of an Exact Arithmetic
    Autorzy:
    Lester, David R
    Pokaż więcej
    Źródło:
    Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. 5170:215-229
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Vuillemin’s Exact Real Arithmetic
    Autorzy:
    Lester, David R
    Pokaż więcej
    Źródło:
    Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991. :225-238
    Degree:
    BSc
    cand. Scient.
    PhD
    Książka elektroniczna
    Szczegóły
    Tytuł:
    An efficient distributed garbage collection algorithm
    Autorzy:
    Lester, David R.
    Pokaż więcej
    Źródło:
    PARLE '89 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings. 365:207-223
    Książka elektroniczna
    Szczegóły
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies