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)
Electronic books
(11)
Programming Languages, Compilers, Interpreters
more ...
Additional Suggested Topics
... within your search.
Software Engineering
(11)
Software engineering
Mathematical Logic and Formal Languages
(8)
Logic design
(7)
Logics and Meanings of Programs
(7)
Computer simulation
(4)
Simulation and Modeling
(4)
Computer Communication Networks
(3)
Information Systems
(2)
Management of Computing and Information Systems
(2)
Programming Techniques
(2)
Database Management
(1)
Database management
(1)
Information Storage and Retrieval
(1)
Information Systems Applications (incl. Internet)
(1)
Information storage and retrieval systems
(1)
Software Engineering/Programming and Operating Systems
(1)
less ...
Showing
1
-
11
of
11
for search:
''
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Published 2013
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: 2013
Suggested Topics: Software engineering
Suggested Topics: Artificial Intelligence (incl. Robotics)
Suggested Topics: Programming Languages, Compilers, Interpreters
Institution
KMUTT
(11)
Call Number
Q - Science
(11)
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