Přeskočit na obsah
VuFind
  • Přihlásit
    • 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
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Pokročilé
  • Formal techniques for computer...
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Přidat do oblíbených
  • Trvalý odkaz
Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Computer systems
Telecommunication systems
Formal methods (Computer science)
Web services
Electronic Data Processing
Systèmes informatiques
Systèmes de télécommunications
Méthodes formelles (Informatique)
Services Web
COMPUTERS
Web Services.
Informatique.
Formale Methode
Web Services
Méthode formelle.
Évaluation.
Système d'information.
Système de télécommunication.
Service Web.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Versailles (2005)
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
  • Jednotky
  • Popis
  • Komentáře
  • Podobné jednotky
  • UNIMARC/MARC
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.

Možnosti vyhledávání

  • Historie vyhledávání
  • Pokročilé vyhledávání

Objevte více

  • Procházení katalogu
  • Abecední procházení
  • Grafické procházení katalogu
  • Rezervace kurzů
  • Nové tituly v katalogu

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Zeptejte se knihovníka
  • Často kladené otázky