Showing
1 - 1
results of
1
Skip to content
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
This is the test environment.
The production environment is at
libcat.colorado.edu
University Libraries Home
Law Library Home
Login to My Library Account
Help
Library Catalog
All Fields
Title
Journal Title
Author
Subject
Call Number
ISBN/ISSN
Series
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Browse Alphabetically: By Call Number
Search
Advanced
Limit to Law Library
Author
Etessami, Kousha
Search Results - Etessami, Kousha
Kousha Etessami
Kousha Etessami
is a professor of
computer science
at the
University of Edinburgh
,
Scotland
,
UK
. He has received his Ph.D. from the
University of Massachusetts Amherst
in 1995. He works on
theoretical computer science
, in particular on
computational complexity theory
,
game theory
and
probabilistic systems
.
Provided by Wikipedia
Showing
1 - 1
results of
1
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Export
Print
Save
Select all entries on the page
Select result number 1
1
Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published 2005
Other Authors:
“…
Etessami, Kousha
…”
Call Number:
Loading…
Located:
Loading…
Full Text (via Springer)
Electronic
Conference Proceeding
eBook
Standalone Record
Save to List
Saved in:
Export
Print
Save
Select all entries on the page
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Computer software
Electronic digital computers
Evaluation
Integrated circuits
Verification
Loading...