Wyniki wyszukiwania: 7.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Maszyny liczące o czasie ciągłym / Beata Konikowska ; Polska Akademia Nauk. Centrum Obliczeniowe. autor
Wydanie: Wyd. 2.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: polski, angielski, rosyjski
Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1973
Uwaga dotycząca dysertacji: Praca doktorska. Instytut Matematyczny PAN, 1973.
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64841.
Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska. autor Serie: Prace IPI PAN ; 976
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Jeffrey D. Ullman ; [z ang. tł. Beata Konikowska]. autor
Rodzaj materiału: Tekst Tekst; Format: druk
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydaw. Naukowe PWN, 1994
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (22)Lokalizacja, sygnatura: w czytelni A 122169, ...
Zamów
Wprowadzenie do teorii automatów, języków i obliczeń [dokument elektroniczny] / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; z jęz. ang. przeł. Beata Konikowska. autor Serie: Informatyka - Zastosowania
Wydanie: Wydanie drugie, 1 dodruk.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydawnictwo Naukowe PWN, 2012
Zasoby online:
Status: Brak dostępnych egzemplarzy.
Zbiór zadań z rachunku prawdopodobieństwa / J. Stojanow [et al. ; z bułg. tł. Beata Konikowska i Eugenia Sendowa]. autor
Wydanie: Wyd. 2 uzup. i popr.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język oryginału: bułgarski
Szczegóły wydania: Warszawa : Wydaw. Naukowe PWN, 1991
Inny tytuł:
  • R'kovodstvo za upražneniâ po teoriâ na veroâtnostite
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 118551, ...
Zamów
Zbiór zadań z rachunku prawdopodobieństwa / J. Stojanow [et al. ; z bułg. tł. Beata Konikowska i Eugenia Sendowa]. autor
Rodzaj materiału: Tekst Tekst; Format: druk
Język: polski Język oryginału: bułgarski
Szczegóły wydania: Warszawa : Państwowe Wydaw. Naukowe, 1982
Inny tytuł:
  • Răkovodstvo za upražnenija po teorija na verojatnostite
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (9)Lokalizacja, sygnatura: w czytelni A 97956, ...
Zamów
Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; z jęz. ang. przeł. Beata Konikowska. autor Serie: Informatyka - Zastosowania
Wydanie: Wyd. 2.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydawnictwo Naukowe PWN, 2005
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (6)Lokalizacja, sygnatura: w czytelni CzO 160145, ... Biblioteka Wydziału Inżynierii Zarządzania (1)Lokalizacja, sygnatura: na półce IIZ 23779.
Zamów