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.
Computer Science
(25)
Computer science
(25)
Electronic books
(25)
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
(25)
more ...
Additional Suggested Topics
... within your search.
Software engineering
Logic design
(22)
Logics and Meanings of Programs
(22)
Programming Techniques
(12)
Artificial Intelligence (incl. Robotics)
(8)
Artificial intelligence
(8)
Computer Communication Networks
(6)
Algorithm Analysis and Problem Complexity
(5)
Computer software
(5)
Computation by Abstract Devices
(4)
Computer simulation
(3)
Information Systems
(3)
Management of Computing and Information Systems
(3)
Simulation and Modeling
(3)
Information Systems Applications (incl. Internet)
(2)
Computer Science, general
(1)
Information Storage and Retrieval
(1)
Information storage and retrieval systems
(1)
Software Engineering/Programming and Operating Systems
(1)
less ...
Showing
1
-
20
of
25
for search:
''
, query time: 0.72s
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 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
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised 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
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of...
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected 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
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
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
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
1
2
Next »
Search Tools:
Get RSS Feed
Email this Search
Save Search
Narrow Search
Remove Filters
Year of Publication: 2013
Suggested Topics: Software engineering
Suggested Topics: Mathematical Logic and Formal Languages
Suggested Topics: Programming Languages, Compilers, Interpreters
Institution
KMUTT
(25)
Call Number
Q - Science
(25)
Language
English
(25)
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