Mostrar
1 - 5
resultats de
5
per cerca '
(
'
Anar al contingut
El teu compte
Tancar la sessió
Autenticació institucional
Idioma
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
Paraula clau
Curs
Títol
Títol de la revista
Autor
Matèria
ISBN/ISSN
Signatura
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Codi de barres
Col·lecció
Explorar alfabèticament: Per títol
Explorar alfabèticament: Per autor
Explorar alfabèticament: Per tema
Explorar alfabèticament: By LC Call Number
Explorar alfabèticament: By Dewey Call Number
Trobar
Avançada
La pàgina es tornarà a carregar quan el filtre s'elimini
Filtres actius:
Autor:
Eliminar filtre
SpringerLink (Online service)
i
Eliminar filtre
IFIP Working Group 6.1
La pàgina es tornarà a carregar quan el filtre s'elimini
Veure filtres (2)
Autor:
Eliminar filtre
SpringerLink (Online service)
i
Eliminar filtre
IFIP Working Group 6.1
UC Library
Cerca al catàleg de la bibliotec
Resultats de la cerca - (
Mostrar
1 - 5
resultats de
5
per cerca '
(
'
Refinar resultats
Resultats per pàgina
10
20
40
60
80
100
Ordenar
Rellevància
Data Descendent
Data Ascendent
Signatura
Autor
Títol
Seleccionar totes les entrades a la pàgina
Correu electrònic
Exportar
Imprimir
Guardar
Selecciona el número de resultat 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 /
Publicat 2006
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Selecciona el número de resultat 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 /
Publicat 2007
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Selecciona el número de resultat 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 /
Publicat 2006
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Selecciona el número de resultat 4
4
Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Publicat 2007
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Selecciona el número de resultat 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 /
Publicat 2007
Localitzat
Carregant...
Signatura
Carregant...
Connect to electronic resource
Electrònic
Actes de congresos
eBook
Afegir a favorits
Guardat en:
Seleccionar totes les entrades a la pàgina
Correu electrònic
Exportar
Imprimir
Guardar
Eines de cerca:
Obtenir subscripció RSS
Enviar per correu electrònic aquesta cerca
Guardar cerca
Back
Refinar resultats
La pàgina es tornarà a carregar quan es seleccioni o exclueixi un filtre.
Format
Actes de congresos
5 results
5
Electrònic
5 results
5
eBook
5 results
5
Any de publicació
Des de:
A:
Matèries
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
veure tots…
Gènere
Congresses
5 results
5
Idioma
English
5 results
5
Autor
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
veure tots…
Signatura
Q - Ciència
5 results
5
Carregant...