Wyniki wyszukiwania: 4.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Computations in higher types / Johan Moldestad. autor Serie: Lecture Notes in Mathematics ; 574
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1977
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160492.
Algorithmen und rekursive Funktionen / A. I. Malcev ; [Übers.: Donatella Barnocchi in Börger]. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: niemiecki Język oryginału: rosyjski
Szczegóły wydania: Berlin : Academie-Verlag, 1974
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 74337.
Récursivité / par Jean-Pierre Azra et Bernard Jaulin ; préface de Daniel Lacombe. autor Serie: Collection Programmation
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Paris : Gauthier-Villars Éditeur, 1973
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 69538.
Recursive identification and parameter estimation / Han-Fu Chen, Wenxiao Zhao. autor
Wydanie: First issued in paperback.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Boca Raton ; London ; New York : CRC Press /Taylor & Francis Group, 2017
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni CzO 193618, ...