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
(29)
Computer science
(29)
Electronic books
(29)
Mathematical Logic and Formal Languages
Programming Techniques
Logic design
(27)
more ...
Additional Suggested Topics
... within your search.
Logics and Meanings of Programs
(27)
Software Engineering
(27)
Software engineering
(27)
Programming Languages, Compilers, Interpreters
(25)
Artificial Intelligence (incl. Robotics)
(9)
Artificial intelligence
(9)
Computer Communication Networks
(8)
Algorithm Analysis and Problem Complexity
(7)
Computer software
(7)
Computation by Abstract Devices
(2)
Mathematics of Computing
(2)
Models and Principles
(2)
Data protection
(1)
Information Systems
(1)
Information Systems Applications (incl.Internet)
(1)
Information systems
(1)
Information theory
(1)
Management of Computing and Information Systems
(1)
Systems and Data Security
(1)
Theory of Computation
(1)
less ...
Showing
1
-
20
of
29
for search:
''
, query time: 0.04s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus,...
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Reliable Software Technologiey เนโฌโ€ Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18,...
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Time for Verification Essays in Memory of Amir Pnueli /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Mเธฃเธlaga, Spain, June 28เนโฌโ€July 2, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Tests and Proofs 4th International Conference, TAP 2010, Mเธฃเธlaga, Spain, July 1-2, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Theory and Applications of Satisfiability Testing เนโฌโ€ SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Testing เนโฌโ€ Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010....
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Published 2010
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: 2010
Call Number: Q - Science
Suggested Topics: Programming Techniques
Suggested Topics: Mathematical Logic and Formal Languages
Institution
KMUTT
(29)
Call Number
Q - Science
Language
English
(29)
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