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
  • Formal methods for mobile comp...
  • Posjedovanje
  • Citiranje
  • Pošaljite e-poštom
  • Izvoz zapisa
    • Izvoz u RefWorks
    • Izvoz u EndNoteWeb
    • Izvoz u EndNote
    • Izvoz u MARC
    • Izvoz u MARCXML
    • Izvoz u RDF
    • Izvoz u BibTeX
    • Izvoz u RIS
Slika naslovnice
Preview
Preview
Preview

Formal methods for mobile computing

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34845
Ostali autori: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (-)
Ostali autori: Bernardo, Marco (-), Bogliolo, Alessandro
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin : Springer, c2005.
Nakladnička cjelina: Lecture notes in computer science ; 3465.
Lecture notes in computer science ; Tutorial.
Predmet:
Formal methods (Computer science) > Congresses.
Mobile computing > Congresses.
Computer software > Congresses.
System design > Congresses.
Online pristup: Publisher description
  • Posjedovanje
  • Citiranje
  • MARC

Internet

Publisher description

Slični primjerci

  • Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures
    Impresum: (2003)
  • Gesture-based communication in human-computer interaction : 5th International Gesture Workshop, GW 2003 : Genova, Italy, April 2003 : selected revised papers
    Impresum: (2004)
  • Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
    Impresum: (2005)
  • Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France April 2005 : proceedings
    Impresum: (2005)
  • 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)

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...
Cannot write session to /tmp/vufind_sessions/sess_ds4979ef0dvfa9hjdchq7829k1