beta



Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Repozytorium PK (9040)
    Artykuły i Czasopisma (6635)
    Publikacje książkowe (466)
    Materiały konferencyjne (190)
    Prace dyplomowe (1727)
    Nieopublikowane materiały naukowe i dydaktyczne (11)
    Materiały informacyjne PK (24)
Bibliografia Publikacji Pracowników PK (35618)
Baza Przedmiotów (617)
    Wydział Mechaniczny (186)
    Wydział Inżynierii i Technologii Chemicznej (62)
    Wydział Inżynierii Środowiska (73)
    Wydział Inżynierii Lądowej (82)
    Wydział Inżynierii Elektrycznej i Komputerowej (75)
    Wydział Fizyki, Matematyki i Informatyki (78)
    Wydział Architektury (54)
Inne bazy bibliograficzne (8845)
    Architektura i Sztuka Krakowa (1803)
    Konferencje Krynickie - Referaty (7040)


Rodzaje zasobów

Jednostki PK

Opcje

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

typ: numer czasopisma

  

Data wydania 2008
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 - 2017 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/