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
(28)
Computer science
(28)
Congresses
Electronic books
(28)
Mathematical Logic and Formal Languages
Programming Techniques
more ...
Additional Suggested Topics
... within your search.
Software Engineering
Software engineering
(28)
Programming Languages, Compilers, Interpreters
(27)
Logic design
(26)
Logics and Meanings of Programs
(26)
Computer Communication Networks
(9)
Algorithm Analysis and Problem Complexity
(7)
Computer software
(7)
Artificial Intelligence (incl. Robotics)
(6)
Artificial intelligence
(6)
Information Systems
(3)
Management of Computing and Information Systems
(3)
Computational complexity
(1)
Computer simulation
(1)
Data Structures
(1)
Data protection
(1)
Data structures (Computer science)
(1)
Discrete Mathematics in Computer Science
(1)
Models and Principles
(1)
Simulation and Modeling
(1)
Systems and Data Security
(1)
less ...
Showing
1
-
20
of
28
for search:
''
, query time: 0.04s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
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
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia,...
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
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
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
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 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
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm,...
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
Published 2012
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
Suggested Topics: Congresses
Suggested Topics: Mathematical Logic and Formal Languages
Suggested Topics: Programming Techniques
Suggested Topics: Software Engineering
Institution
KMUTT
(28)
Call Number
Q - Science
(27)
T - Technology
(1)
Language
English
(28)
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