Loading...
Error: Cannot Load Popup Box
Language:
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
中文(简体)
中文(繁體)
Thai
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Search For:
in:
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Advanced
Retain my current filters
Home
>
Search:
Suggested Topics
... within your search.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
(11)
Computer Science
(11)
Computer science
(11)
Congresses
(11)
Electronic books
(11)
more ...
Additional Suggested Topics
... within your search.
Programming Techniques
Software Engineering
Software engineering
(11)
Logic design
(7)
Logics and Meanings of Programs
(7)
Programming Languages, Compilers, Interpreters
(7)
Mathematical Logic and Formal Languages
(6)
Computer Communication Networks
(4)
Information Systems Applications (incl. Internet)
(2)
Software Engineering/Programming and Operating Systems
(2)
Algorithm Analysis and Problem Complexity
(1)
Computational complexity
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics
(1)
Computer simulation
(1)
Computer software
(1)
Computer vision
(1)
Database Management
(1)
Database management
(1)
Discrete Mathematics in Computer Science
(1)
Simulation and Modeling
(1)
less ...
Showing
1
-
11
of
11
for search:
''
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and...
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Search Tools:
Get RSS Feed
Email this Search
Save Search
Narrow Search
Remove Filters
Year of Publication: 2012
Suggested Topics: Software Engineering
Suggested Topics: Artificial Intelligence (incl. Robotics)
Suggested Topics: Programming Techniques
Institution
KMUTT
(11)
Call Number
Q - Science
(10)
T - Technology
(1)
Language
English
(11)
Year of Publication
From:
To:
Search Options
Search History
Advanced Search
Find More
Browse the Catalog
Browse Alphabetically
Course Reserves
New Items
Need Help?
Search Tips
Ask a Librarian
FAQs
KMUTT-LM Website