Showing
1 - 15
results of
15
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:
Other:
Remove Filter
Systèmes, Conception de
Format:
Remove Filter
Conference Proceeding
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Systèmes, Conception de
Format:
Remove Filter
Conference Proceeding
Search Results
Showing
1 - 15
results of
15
for search '
'
, query time: 0.22s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
3
Conceptual modeling : current issues and future directions /
Published 1999
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings /
Published 2002
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...
Published 2003
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice...
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
8
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Publisher description
Conference Proceeding
eBook
9
Computer supported cooperative work in design I : 8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers /
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
10
Component deployment : third international working conference, CD 2005, Grenoble, France, November 28-29, 2005 : proceedings /
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
11
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
Published 2005
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
12
Computer supported cooperative work in design. 9th International Conference, CSCWD 2005 Coventry, UK, May 24-26, 2005, revised selected papers /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
13
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Publisher description
Conference Proceeding
eBook
14
Hardware/software co-design /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
15
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /
Published 1989
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.
Available Online
Format
Conference Proceeding
eBook
15 results
15
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
15 results
15
ETAPS (Conference)
2 results
2
Shen, Weiming
2 results
2
Banieqbal, B. (Behnam), 1960-
1 results
1
Barringer, Howard, 1951-
1 results
1
Bernardo, Marco
1 results
1
Bishop, J. M. (Judith Mary), 1951-
1 results
1
Brinksma, Ed
1 results
1
Calmet, Jacques
1 results
1
Chen, Peter P. S.
1 results
1
Colloquium on Temporal Logic in Specification
1 results
1
De Micheli, Giovanni
1 results
1
Dearle, Alan
1 results
1
Eisenbach, S., 1951-
1 results
1
Fitzgerald, John, 1965-
1 results
1
Halbwachs, Nicolas
1 results
1
Hayes, Ian
1 results
1
Hermanns, Holger, 1967-
1 results
1
IFIP/ACM Working Conference on Component Deployment Berlin, Germany
1 results
1
International Conference on Computer Supported Cooperative Work in Design Coventry, England
1 results
1
International Conference on Computer Supported Cooperative Work in Design Xiamen Shi, China
1 results
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
1 results
1
International Symposium DISCO '96 Karlsruhe, Germany
1 results
1
International Symposium of Formal Methods Europe Hamilton, Ont
1 results
1
International Symposium of Formal Methods Europe Newcastle upon Tyne, England
1 results
1
Inverardi, Paola
1 results
1
Kobayashi, Naoki
1 results
1
Limongelli, Carla
1 results
1
Misra, Jayadev
1 results
1
NATO Advanced Study Institute on Hardware/Software Co-design
1 results
1
see all…
Language
English
15 results
15
Geography
Altrincham <1987>
1 results
1
Berlin <2002>
1 results
1
Sendai
1 results
1
Loading...