Temat: Programowanie logiczne - podręczniki. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach - Prolib Integro

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

Wyszukujesz frazę "Programowanie logiczne - podręczniki." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-6 z 6

Zaznacz stronę

Skocz do pozycji 1.

Tytuł pełny:: Prolog : programowanie / W. F. Clocksin, C. S. Mellish ; [tł. Tomasz Żmijewski]
Wydawca:: Gliwice : "Helion"
Rok wydania:: 2003
Temat:: Programowanie logiczne - podręczniki.
Prolog (język programowania) - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan
Wydawca:: Cambridge : University Press
Wydanie:: 2nd ed
Rok wydania:: cop. 2004
Temat:: Programowanie logiczne - podręczniki akademickie.
Logika informatyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 1, Logiczna teoria programowania / Andrzej Biela
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1983
Seria:: Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki) / Andrzej Biela
Wydawca:: Katowice : Wydaw. Uniwersytetu Śląskiego
Wydanie:: Wyd. 2
Rok wydania:: 1995
Seria:: Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 511
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Wspomaganie procesów decyzyjnych. T. 3, Badania operacyjne / pod red. Marianny Lipiec-Zajchowskiej ; [aut.] Piotr Koślacz [et al.]
Wydawca:: Warszawa : C. H. Beck
Rok wydania:: 2003
Seria:: Academia Oeconomica
Temat:: Podejmowanie decyzji - symulacja komputerowa.
Programowanie logiczne - podręczniki akademickie.
Badania operacyjne - podręczniki akademickie.
Programowanie matematyczne - podręczniki akademickie.
Programowanie dynamiczne - podręczniki akademickie.
Podejmowanie decyzji - symulacja komputerowa - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 2, Elementy systemu przechowywania i wyszukiwania informacji / Andrzej Biela
Wydawca:: Katowice : UŚ
Rok wydania:: 1983
Seria:: Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Wyszukiwanie informacji - podręczniki akademickie.
Bazy danych - zarządzanie - podręczniki akademickie.

Książka

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.