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.07s
Popis  Grid 
Slika naslovnice
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Impresum 2001
Predmet: '; “...Formal methods (Computer science) Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Challenges for action theories
Autor: Thielscher, Michael
Impresum 2000
Predmet: '; “...Formal methods (Computer science)...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Principles of cyber-physical systems
Autor: Alur, Rajeev, 1966-
Impresum 2015
Predmet: '; “...Formal methods (Computer science)...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...
Impresum 2005
Predmet: '; “...Formal methods (Computer science) Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...
Impresum 2003
Predmet: '; “...Formal methods (Computer science) Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
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...