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
(14)
Computer science
Logic design
Logics and Meanings of Programs
(14)
Software Engineering
(14)
Software engineering
more ...
Additional Suggested Topics
... within your search.
Special Purpose and Application-Based Systems
Electronic books
(13)
Programming Languages, Compilers, Interpreters
(8)
Computer Communication Networks
(4)
Computation by Abstract Devices
(3)
Congresses
(3)
Information Systems
(3)
Management of Computing and Information Systems
(3)
Mathematical Logic and Formal Languages
(3)
Artificial Intelligence (incl. Robotics)
(2)
Artificial intelligence
(2)
Computer Appl. in Administrative Data Processing
(2)
Information systems
(2)
Circuits and Systems
(1)
Computer Engineering
(1)
Computer Hardware
(1)
Computer hardware
(1)
Computer simulation
(1)
Electronic book
(1)
Simulation and Modeling
(1)
Systems engineering
(1)
less ...
Showing
1
-
14
of
14
for search:
''
, query time: 0.76s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Published 2010
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Published 2014
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Published 2014
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Published 2014
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
Published 2013
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
Published 2014
Call Number:
Loading
Located:
Loading
Full Text
EBOOKS
Add to Favorites
Search Tools:
Get RSS Feed
Email this Search
Save Search
Narrow Search
Remove Filters
Suggested Topics: Computer science
Suggested Topics: Software engineering
Suggested Topics: Logic design
Suggested Topics: Special Purpose and Application-Based Systems
Institution
KMUTT
(14)
Library
mai
(1)
Format
EBOOKS
(1)
Call Number
Q - Science
(13)
T - Technology
(1)
Language
English
(14)
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