beta



Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Repozytorium PK (10074)
    Artykuły i Czasopisma (7281)
    Publikacje książkowe (690)
    Materiały konferencyjne (200)
    Prace dyplomowe (1872)
    Nieopublikowane materiały naukowe i dydaktyczne (14)
    Materiały informacyjne PK (31)
Bibliografia Publikacji Pracowników PK (38664)
Inne bazy bibliograficzne (14053)
    Konferencje Krynickie - Referaty (7179)
    Architektura i Sztuka Krakowa (1927)
    Niepublikowane prace naukowe pracowników PK (4941)
Baza Przedmiotów (273)
    Wydział Mechaniczny (113)
    Wydział Inżynierii i Technologii Chemicznej (15)
    Wydział Inżynierii Środowiska (73)
    Wydział Inżynierii Lądowej (18)
    Wydział Inżynierii Elektrycznej i Komputerowej (16)
    Wydział Fizyki, Matematyki i Informatyki (16)
    Wydział Architektury (15)


Rodzaje zasobów

Jednostki PK

Opcje

Czasopismo Techniczne z. 24. Informatyka z. 1-I

typ: numer czasopisma

  

Data wydania 2008
ISSN 1897-631X
Kolekcja
Technical Transactions. Computer Science and Information Systems
Technical Transactions / Artykuły i Czasopisma /



Elementy tej kolekcji: 5

Bazydło, Grzegorz; Adamski, Marian
Projektowanie sterowników logicznych opisanych diagramami maszyny stanowej UML
typ: artykuł
Deniziak, Stanisław; Górski, Adam
Kosynteza systemów SOC metodą rozwojowego programowania genetycznego
typ: artykuł
Krystosik, Artur
EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
typ: artykuł
Łukawska, Barbara; Łukawski, Grzegorz; Sapiecha, Krzysztof
Experimental evaluation of two touring simulators for training operators of mobot
typ: artykuł
Sapiecha, Krzysztof; Grela, Damian
Wyznaczanie scenariuszy testowych dla pewnej klasy procesów definiowanych za pomocą języka BPEL
typ: artykuł






© 2009 - 2018 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/