Showing
1 - 5
results of
5
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - 3540430814~
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
1
Automatic theorem proving
1
Computational complexity
1
Computer algorithms
1
Computer architecture
1
Computer science
1
Embedded computer systems
1
Logic programming
1
Showing
1 - 5
results of
5
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
by
Hermann, Miki, 1958-
,
Voronkov, Andrei, 1959-
Published 2006
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Advances in computer systems architecture : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007 : proceedings /
by
Cho, Sangyeun
,
Choi, Lynn
,
Paek, Yunheung
Published 2007
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 3
3
Embedded software and systems : second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings /
by
Yang, Laurence Tianruo
Published 2005
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Publisher description
Request this item
Save to List
Saved in:
Select result number 4
4
Computational science--ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings /
by
Alexandrov, Vassil, 1962-
Published 2006
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Table of contents
Publisher description
Request this item
Save to List
Saved in:
Select result number 5
5
Approximation and online algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers /
by
Bampis, Evripidis
,
Skutella, Martin (Mathematician)
Published 2009
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
5 results
5
Item type
Ebook
5 results
5
Year of Publication
From:
To: