Call Number: Q - Science / Format: Book / Location: Joyner Library / Genre: Congresses

Clear Search

You searched for: Call Number Q - Science Format Book Location Joyner Library Genre Congresses

« Previous | 1,011 - 1,020 of 10,158 | Next »

Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers
by Asian Simulation Conference 2004 : Cheju-do, Korea)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.C65 A85 2004

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
by International Conference on Term Rewriting and Applications 2005 : Nara-shi, Japan)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA267 .I555 2005

Text, speech and dialogue : 8th international conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005 : proceedings
by TSD (Conference) 2005 : Karlovy Vary, Czech Republic)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.N38 T47 2005

46th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2005 : 23-25 October, 2005, Pittsburgh, Pennsylvania, USA
by Symposium on Foundations of Computer Science 2005 : Pittsburgh, Pennsylvania, USA)
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76 .S974 2005

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
by TPHOLs 2005 : Oxford, England)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.A96 T655 2005

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
by ICTAC (Colloquium) 2004 : Guiyang Shi, China)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA75.5 .I27 2004

Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
by ICTAC (Colloquium) 2005 : Hanoi, Vietnam)
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA75.5 .I27 2005

Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
by ICTCS 2005 (2005 : Siena, Italy)
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA75.5 .I28 2005

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
by SAT 2005 (2005 : St. Andrews, Scotland)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA9.3 .S365 2005

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
by SAT 2004 (2004 : Vancouver, B.C.)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA9.3 .S365 2004

« Previous
Next »
1
2
…
98
99
100
101
102
103
104
105
106
…
1,015
1,016

Find materials by

Location

Format

Publication Date

Call Number

Collection

Language

Genre

Era

Region

Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

Text, speech and dialogue : 8th international conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005 : proceedings

46th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2005 : 23-25 October, 2005, Pittsburgh, Pennsylvania, USA

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

ECU Libraries Catalog

Find materials by

Search Constraints

Search Results