Dostosuj wyszukiwanie

Wyniki wyszukiwania: 78.

Sortuj
Wyniki
Intelligent Information Systems : proceedings of the Workshop held in Dęblin, Poland 2-5 June, 1996 / [scientific eds. Maciej Michalewicz, Zbigniew Raś] ; Instytut Podstaw Informatyki Polskiej Akademii Nauk. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski, polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki PAN, cop. 1996
Inny tytuł:
  • International Workshop on Intelligent Information Systems V
  • Intelligent Information Systems V
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 128005.
Intelligent Information Systems : proceedings of the Workshop held in Zakopane, Poland 9-13 June, 1997 / [scientific eds. Mieczysław Kłopotek, Maciej Michalewicz, Zbigniew Raś] ; Instytut Podstaw Informatyki Polskiej Akademii Nauk. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki PAN, cop. 1997
Inny tytuł:
  • Intelligent Information Systems VI
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 128004.
Types and operations / Stanisław Ambroszkiewicz. autor Serie: Prace IPI PAN ; 1030
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Continuum as a primitive type / Stanisław Ambroszkiewicz. autor Serie: Prace IPI PAN ; 1034
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski, polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Praktyczne aspekty sztucznej inteligencji : materiały konferencji naukowej, Zakopane 7-11.12.1992 r. / [red. nauk. Mirosław Dąbrowski, Maciej Michalewicz]. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski, angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 1993
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 122062.
Znakowanie semantyczne "Składnicy frazowej" : założenia ogólne, nazwy własne, aktualizacja / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 1025
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Bounded abstract planning in planICS based on graph databases / Maciej Szreter. autor Serie: Prace IPI PAN ; 1031
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Partially ordered domains for representing activities / Józef Winkowski. autor Serie: Prace IPI PAN ; 1033
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Underapproximating ATL with imperfect information and imperfect recall / Wojciech Jamroga, Michał Knapik. autor Serie: Prace IPI PAN ; 1032
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Towards automated abstract planning based on a genetic algorithm / Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek. autor Serie: Prace IPI PAN ; 1026
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. autor Serie: Prace IPI PAN ; 1028
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: dostępny Cz 3163.
Selected topics of contemporary solid mechanics / Zbigniew Kotulski, Piotr Kowalczyk, Włodzimierz Sosnowski (eds.). autor Serie: Prace IPPT ; 2/2008
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB Kz S-627. Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 2561.
An axiomatic characterization of algebras of processes of Petri nets / Józef Winkowski. autor Serie: Prace IPI PAN ; 987
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2005
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Limits of modularity / Marek A. Bednarczyk. autor Serie: Prace IPI PAN ; 989
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2006
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
O poszukiwaniu jednorożców, czyli semantyka możliwych światów w gramatyce Montague / Elżbieta Hajnicz. autor Serie: Prace IPI PAN ; 995
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2006
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Analiza jakości e-zasobów z wykorzystaniem programu GradeStat / Alina Stasiecka, Ewa Stemposz. autor Serie: Prace IPI PAN ; 1006
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2007
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Semantyka operacyjna wybranych diagramów UML* / Artur Niewiadomski, Wojciech Penczek, Maciej Szreter. autor Serie: Prace IPI PAN ; 1009
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Probabilistic models of random behaviours of concurrent systems / Józef Winkowski. autor Serie: Prace IPI PAN ; 1024
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Constructing Archimedean copulas from diagonal sections / Włodzimierz Wysocki. autor Serie: Prace IPI PAN ; 1020
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2011
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Towards a solution to a plan-formation problem / Józef Winkowski. autor Serie: Prace IPI PAN ; 948
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.