beta



Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Repozytorium PK (9285)
    Artykuły i Czasopisma (6812)
    Publikacje książkowe (475)
    Materiały konferencyjne (190)
    Prace dyplomowe (1784)
    Nieopublikowane materiały naukowe i dydaktyczne (11)
    Materiały informacyjne PK (26)
Bibliografia Publikacji Pracowników PK (36456)
Inne bazy bibliograficzne (8990)
    Konferencje Krynickie - Referaty (7179)
    Architektura i Sztuka Krakowa (1809)
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)


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/