1
results
Skip to content
Vaš račun
Odjava
Institutional prijava
Jezik
English
Te Reo Māori
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
Ključna beseda
Predmet
Naslov
Naslov revije
Avtor
Tema
ISBN/ISSN
Signatura
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Barcode
Serija
Po abecedi: Po naslovu
Po abecedi: Po avtorju
Po abecedi: Po temi
Po abecedi: By LC Call Number
Po abecedi: By Dewey Call Number
Išči
Napredno
Page will reload when a filter is removed.
Applied Filters:
Avtor:
Remove Filter
SpringerLink (Online service)
Priporočene teme:
Remove Filter
Computer programs
IN
Remove Filter
Formal methods (Computer science)
Page will reload when a filter is removed.
Show filters (3)
Avtor:
Remove Filter
SpringerLink (Online service)
Priporočene teme:
Remove Filter
Computer programs
IN
Remove Filter
Formal methods (Computer science)
UC Library
Iskanje v knjižničnem katalogu
Rezultati - (
1
results
Refine Results
Rezultatov na stran
10
20
40
60
80
100
Razvrsti
Po pomembnosti
Po padajočem datumu
Po rastočem datumu
PO Signaturi
PO AvtorJU
PO Naslovu
Izberi stran
Email
Izvozi
Natisni
Shrani
Select result number 1
1
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : r...
Izdano 2007
Nahaja se
Nalaganje...
Signatura
Nalaganje...
Connect to electronic resource
Elektronski
Conference Proceeding
eKnjiga
Dodaj v priljubljene
Shranjeno v:
Izberi stran
Email
Izvozi
Natisni
Shrani
Iskalna orodja:
RSS
Pošljite iskanje po emailu
Shrani iskanje
Nazaj
Refine Results
Page will reload when a filter is selected or excluded.
Format
Conference Proceeding
1 results
1
Elektronski
1 results
1
eKnjiga
1 results
1
Leto izdaje
Od:
Za:
Priporočene teme
Computer programs
Computer software
1 results
1
Formal methods (Computer science)
Parallel programming (Computer science)
1 results
1
Software engineering
1 results
1
Verification
1 results
1
Zvrst
Congresses
1 results
1
Jezik
English
1 results
1
Avtor
Brim, Lubǒs
1 results
1
International Conference on Concurrency Theory
1 results
1
International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany
1 results
1
PDMC 2006
1 results
1
SpringerLink (Online service)
Signatura
Q - Science
1 results
1
Nalaganje...