Skip to content
Složeno pretraživanje
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Pretraživanje: "Formal methods (Computer science)"
Preporučene teme... za Vaše pretraživanje.
Formal methods (Computer science) 5 System design 3 Computer software 2
Automatic control 1 Computer logic 1 Computer systems 1
prikaži više ...
Embedded internet devices 1 Internet of things 1 Mobile computing 1
Real-time data processing 1 prikaži manje ...
Prikazuje se 1 - 5 od 5 za pretraživanje: '"Formal methods (Computer science)"', Upit obrađen za: 0.10s
Popis  Grid 
Slika naslovnice
Lectures on formal methods and performance analysis : first EEF/Euro Summer Scho...

Publisher description
Slika naslovnice
Challenges for action theories

Publisher description
Slika naslovnice
Učitavam...
Principles of cyber-physical systems
Slika naslovnice
Formal methods for mobile computing : 5th International School on Formal Methods...

Publisher description
Slika naslovnice
Formal methods for software architectures : Third International School on Formal...

Publisher description
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
5 Fakultet elektrotehnike i računarstva
Vrsta građe
5 Knjiga
Signatura
1 QA76.754 1 QA76.9.F67 1 QA76.9.L63 1 TJ213
Autor
2 Bernardo, Marco 1 Alur, Rajeev, 1966- 1 Bogliolo, Alessandro 1 Brinksma, Ed 1 EEF/Euro Summer School on Trends in Computer Science 1 Hermanns, Holger, 1967- prikaži više ... 1 International School on Formal Methods for the Design of Computer, Communication and Software Systems 1 International School on Formal Methods for the Design of Computer, Communication, and Software Systems 1 Inverardi, Paola 1 Katoen, Joost-Pieter 1 Thielscher, Michael prikaži manje ...
Jezik
5 engleski
Područje
3 Congresses
Godina izdanja

Učitavam...


Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...