Showing
1 - 12
results of
12
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
Machine Theory
Format:
Remove Filter
Conference Proceeding
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Machine Theory
Format:
Remove Filter
Conference Proceeding
Search Results
Showing
1 - 12
results of
12
for search '
'
, query time: 0.20s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Languages for system specification : selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03 /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
3
UbiComp 2004 : ubiquitous computing : 6th international conference, Nottingham, UK, September 7-10, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Computer and information sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Computing and combinatorics : 10th annual international conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 20...
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
Published 2003
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
8
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings /
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
9
Innovation and application of engineering technology : proceedings of the International Symposium on Engineering Technology and Application (ISETA 2017), Montreal, Canada, 25-28 MA...
Published 2017
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
10
Computer, intelligent computing and education technology /
Published 2014
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
11
Information systems and computing technology : proceedings of the International Conference on Information Systems and Computing Technology (SCT 2013), Wuxi, China, 15-16 September...
by
Zhang, Lei
,
Gu, Yonggen
Published 2013
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
12
Electronic engineering and information science : proceedings of the 2015 International Conference on Electronic Engineering and Information Science (ICEEIS 2015), 17-18 January, 20...
Published 2015
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
12 results
12
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
8 results
8
LINK (Online service)
2 results
2
Aykanat, Cevdet
1 results
1
Boiten, Eerke, 1966-
1 results
1
CIAA (Conference) Santa Barbara, Calif.)
1 results
1
COCOON (Conference) Cheju-do, Korea)
1 results
1
Chen, Wenxue
1 results
1
Chwa, Kyung-Yong, 1946-
1 results
1
Dang, Zhe, 1967-
1 results
1
Davies, Nigel, 1964-
1 results
1
Dayar, Tuğrul
1 results
1
Derrick, John, 1963-
1 results
1
FDL (Conference)
1 results
1
Grimm, Christoph
1 results
1
Gu, Yonggen
1 results
1
IFIP International Conference on Theoretical Computer Science Toulouse, France
1 results
1
IFIP World Computer Congress
1 results
1
Ibarra, Oscar H.
1 results
1
International Conference on Computer, Intelligent Computing and Education Technology Hong Kong, China
1 results
1
International Conference on Electronic Engineering and Information Science Haikou Shi, China
1 results
1
International Conference on Engineering Technology and Application Montréal, Québec
1 results
1
International Conference on Information Systems and Computing Technology Wuxi, Jiangsu Sheng, China
1 results
1
International Conference on Integrated Formal Methods Canterbury, England
1 results
1
International Symposium on Computer and Information Sciences Kemer-Antalya, Turkey
1 results
1
International Workshop on Deontic Logic in Computer Science Madeira, Madeira Islands
1 results
1
Korpeoğlu, İbrahim
1 results
1
Liu, Hsiang-Chuan
1 results
1
Lomuscio, Alessio
1 results
1
Lévy, Jean-Jacques, 1947-
1 results
1
Mayr, Ernst
1 results
1
see all…
Language
English
12 results
12
Loading...