Wszystkie pola: programs - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Algorithm 16. Implicit enumeration algorithm for solving zero-one integer programs
Algorytm 16. Algorytm rozwiązywania zero-jedynkowych programów liniowych metodą dedukcyjnego wyliczania
Autorzy:: Kucharczyk, J.
Powiązania:: https://bibliotekanauki.pl/articles/741802.pdf
Data publikacji:: 1972
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Applicationes Mathematicae; 1972-1973, 13, 1; 133-143
1233-7234
Pojawia się w:: Applicationes Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Years 1976 and transitions budget : Fiscal Year 1977 Authorization Request and Fiscal Years 1976-1980 Defense Programs
Autorzy:: Schlesinger, James R.
Data publikacji:: 1975
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1975-1980 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Year 1977 Budget and its Implications for the Fiscal Year 1978 authorization request and the Fiscal Years 1977-1981 Defense Programs
Autorzy:: Rumsfeld, Donald H.
Data publikacji:: 1976
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1977-1981 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: An analysis of programs by algebraic means
Autorzy:: Blikle, A.
Powiązania:: https://bibliotekanauki.pl/articles/1361937.pdf
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Banach Center Publications; 1977, 2, 1; 167-213
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
Autorzy:: Banachowski, L.
Kreczmar, A.
Mirkowska, G.
Rasiowa, Helena
Sławicki, A.
Powiązania:: https://bibliotekanauki.pl/articles/1361934.pdf
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Banach Center Publications; 1977, 2, 1; 7-99
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Year 1978 Budget : Fiscal Year 1979 Authorization Request and Fiscal Years 1978-1982 Defense Programs
Autorzy:: Rumsfeld, Donald H.
Data publikacji:: 1977
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1978-1982 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Year 1980 Budget : Fiscal Year 1981 Authorization Request and Fiscal Years 1980-1984 Defense Programs
Autorzy:: Brown, Harold.
Data publikacji:: 1979
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1980-1984 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Year 1982 Budget : Fiscal Year 1983 Authorization Request and Fiscal Years 1982-1986 Defense Programs
Autorzy:: Brown, Harold.
Data publikacji:: 1981
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1982-1986 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: A completeness theorem in the modal logic of programs
Autorzy:: Segerberg, Krister
Powiązania:: https://bibliotekanauki.pl/articles/1361236.pdf
Data publikacji:: 1982
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Banach Center Publications; 1982, 9, 1; 31-46
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Report of Secretary of Defense ... to the Congress on the Fiscal Year 1983 Budget : Fiscal Year 1984 Authorization Request and Fiscal Years 1983-1987 Defense Programs
Autorzy:: Weinberger, Caspar W.
Data publikacji:: 1982
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1983-1987 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Report of the Secretary of Defense ... to the Congress on the Fiscal Year 1984 Budget, Fiscal Year 1985 Authorization Request and Fiscal Years 1984-1988 Defense Programs
Autorzy:: Weinberger, Caspar W.
Data publikacji:: 1983
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1984-1988 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Report of the Secretary of Defense ... to the Congress on the Fiscal Year 1985 Budget : Fiscal Year 1986 Authorization Request and Fiscal Years 1985-1989 Defense Programs
Autorzy:: Weinberger, Caspar W.
Data publikacji:: 1984
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1985-1989 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Report of the Secretary of Defense ... to the Congress on the Fiscal Year 1986, Fiscal Year 1987 Authorization Request and Fiscal Years 1986-1990 Defense Programs
Autorzy:: Weinberger, Caspar W.
Data publikacji:: 1985
Wydawca:: Washington : Department of Defense
Tematy:: Bezpieczeństwo narodowe Stany Zjednoczone 1986-1990 r.
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Audycje dla ludności polonijnej w Radiu francuskim 1945-1985
Programs for Polish emigrants Broadcast by the French Radio in the years 1945-1985
Autorzy:: Talko, Leszek
Powiązania:: https://bibliotekanauki.pl/articles/1965923.pdf
Data publikacji:: 1986
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:: The author presents an outline of the history of the programs broadcast by the French Radio for Polish emigrants as well as for listeners in Poland. They have been broadcast for over fifty years now. They were broadcast by stations in Lille, then in Paris and Toulouse. Prom the outbreak of World War II to Prance’s capitulation in June 1940 they played a great role in keeping communication with Poland. Polish political leaders and many other outstanding Poles delivered messages and speeches through these stations. The programs were resumed in 1944 in Lille and Toulouse. By the end of that year the Polish section of the French Radio was organized and it has existed up to the present moment.
Źródło:: Studia Polonijne; 1986, 10; 323-332
0137-5210
Pojawia się w:: Studia Polonijne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Selected Parallel Combinatorial Algorithms
Autorzy:: Dudziński, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/748626.pdf
Data publikacji:: 1986
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Nonnumerical algorithms
Explicit machine computation and programs
Opis:: .
The paper presents several parallel algorithms for some combinatorial problems, mainly for problems in graph theory. The SIMD. - shared memory (single instruction multiple data) model is considered. For each algorithm the computational complexity and number of processors needed are examined. The efficiency of parallel algorithms is examined by somparing with sequential algorithms.
Źródło:: Mathematica Applicanda; 1986, 14, 28
1730-2668
2299-4009
Pojawia się w:: Mathematica Applicanda
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "programs" wg kryterium: Wszystkie pola

Źródło danych

Dostawca treści

Podbaza

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język