5
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)
IN
Remove Filter
IFIP Working Group 6.1
Page will reload when a filter is removed.
Show filters (2)
Avtor:
Remove Filter
SpringerLink (Online service)
IN
Remove Filter
IFIP Working Group 6.1
UC Library
Iskanje v knjižničnem katalogu
Rezultati - (
5
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 for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
Izdano 2006
Nahaja se
Nalaganje...
Signatura
Nalaganje...
Connect to electronic resource
Elektronski
Conference Proceeding
eKnjiga
Dodaj v priljubljene
Shranjeno v:
Select result number 2
2
Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Izdano 2007
Nahaja se
Nalaganje...
Signatura
Nalaganje...
Connect to electronic resource
Elektronski
Conference Proceeding
eKnjiga
Dodaj v priljubljene
Shranjeno v:
Select result number 3
3
Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /
Izdano 2006
Nahaja se
Nalaganje...
Signatura
Nalaganje...
Connect to electronic resource
Elektronski
Conference Proceeding
eKnjiga
Dodaj v priljubljene
Shranjeno v:
Select result number 4
4
Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Izdano 2007
Nahaja se
Nalaganje...
Signatura
Nalaganje...
Connect to electronic resource
Elektronski
Conference Proceeding
eKnjiga
Dodaj v priljubljene
Shranjeno v:
Select result number 5
5
Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
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
5 results
5
Elektronski
5 results
5
eKnjiga
5 results
5
Leto izdaje
Od:
Za:
Priporočene teme
Distributed processing
5 results
5
Electronic data processing
5 results
5
Computer network protocols
2 results
2
Formal methods (Computer science)
2 results
2
Object-oriented programming (Computer science)
2 results
2
Application software
1 results
1
Internetworking (Telecommunication)
1 results
1
poglej vse...
Zvrst
Congresses
5 results
5
Jezik
English
5 results
5
Avtor
IFIP Working Group 6.1
SpringerLink (Online service)
International Federation for Information Processing
2 results
2
Bonsangue, Marcello M.
1 results
1
Derrick, John, 1963-
1 results
1
Donzeau-Gouge, Véronique
1 results
1
FORTE 2006 Paris, France
1 results
1
Gorrieri, Roberto
1 results
1
IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems Paphos, Cyprus
1 results
1
Indulska, Jadwiga
1 results
1
International Conference on Formal Description Techniques Tallinn, Estonia
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Paphos, Cyprus
1 results
1
Johnsen, Einar Broch
1 results
1
Najm, Elie
1 results
1
Pradat-Peyre, Jean-François
1 results
1
Raymond, Kerry
1 results
1
Vain, Jüri
1 results
1
Wehrheim, Heike
1 results
1
poglej vse...
Signatura
Q - Science
5 results
5
Nalaganje...