5
results
Skip to content
Din konto
Log ud
KB Login
Sprog
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
Keyword
Kursus
Titel
Tidsskriftstitel
Forfatter
Fag
ISBN/ISSN
Klassifikationsnummer
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Barcode
Serier
Gennemse alfabetisk: Efter titel
Gennemse alfabetisk: Efter forfatter
Gennemse alfabetisk: Efter emne
Gennemse alfabetisk: By LC Call Number
Gennemse alfabetisk: By Dewey Call Number
Find
Udvidet
Page will reload when a filter is removed.
Applied Filters:
Forfatter:
Remove Filter
SpringerLink (Online service)
OG
Remove Filter
IFIP Working Group 6.1
Page will reload when a filter is removed.
Show filters (2)
Forfatter:
Remove Filter
SpringerLink (Online service)
OG
Remove Filter
IFIP Working Group 6.1
UC Library
Library Catalogue
Søgeresultater - (
5
results
Refine Results
Resultater pr. side
10
20
40
60
80
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Klassifikationsnummer
Forfatter
Titel
Vælg side
Email
Eksportér
Udskriv
Gem
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 /
Udgivet 2006
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
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 /
Udgivet 2007
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
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 /
Udgivet 2006
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
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 /
Udgivet 2007
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
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 /
Udgivet 2007
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
Vælg side
Email
Eksportér
Udskriv
Gem
Søgeredskaber:
”Modtag RSS Feed
Email denne søgning
Gem søgning
Back
Refine Results
Page will reload when a filter is selected or excluded.
Format
Conference Proceeding
5 results
5
Electronisk
5 results
5
eBog
5 results
5
Udgivelsesår
Fra:
Til:
Foreslåede emner
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
se alt...
Genre
Congresses
5 results
5
Sprog
English
5 results
5
Forfatter
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
se alt...
Klassifikationsnummer
Q - Science
5 results
5
Loading...