Showing
1 - 9
results of
9
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Available Online
Other:
Remove Filter
Electronic data processing
Format:
Remove Filter
eBook
Author:
Remove Filter
IFIP Working Group 6.1
Page will reload when a filter is removed.
Reset Filters
Show filters (4)
Available Online
Other:
Remove Filter
Electronic data processing
Format:
Remove Filter
eBook
Author:
Remove Filter
IFIP Working Group 6.1
Search Results
Showing
1 - 9
results of
9
for search '
'
, query time: 0.22s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
3
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /
Published 2008
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
8
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Icel...
Published 2011
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
9
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Clear Filter
Available Online
Format
Conference Proceeding
9 results
9
eBook
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
IFIP Working Group 6.1
SpringerLink (Online service)
8 results
8
Barthe, Gilles, 1967-
1 results
1
Boer, Frank S. de
1 results
1
Bonsangue, Marcello M.
1 results
1
Bruni, Roberto
1 results
1
DAIS (Conference) Paphos, Cyprus)
1 results
1
Derrick, John, 1963-
1 results
1
Dingel, Juergen
1 results
1
Donzeau-Gouge, Véronique
1 results
1
FORTE 2004 Madrid, Spain
1 results
1
FORTE 2005 Taipei, Taiwan
1 results
1
FORTE 2006 Paris, France
1 results
1
FORTE 2007 Tallinn, Estonia
1 results
1
FORTE 2011
1 results
1
Frutos-Escrig, David de
1 results
1
Indulska, Jadwiga
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Athens, Greece
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Oslo, Norway
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Paphos, Cyprus
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavík, Iceland
1 results
1
Johnsen, Einar Broch
1 results
1
Najm, Elie
1 results
1
Núñez, Manuel (Professor)
1 results
1
Pradat-Peyre, Jean-François
1 results
1
Raymond, Kerry
1 results
1
Steffen, Martin
1 results
1
Vain, Jüri
1 results
1
Wang, Farn
1 results
1
Zavattaro, Gianluigi
1 results
1
see all…
Language
English
9 results
9
Loading...