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 software
Congresses
Electronic books
(22)
Software engineering
(10)
Formal methods (Computer science)
(3)
Artificial intelligence
(1)
more ...
Additional Suggested Topics
... within your search.
Computational intelligence
(1)
Computer security
(1)
Data encryption (Computer science)
(1)
Electronic digital computers
(1)
Integrated circuits
(1)
Logic design
(1)
Management information systems
(1)
Model-driven software architecture
(1)
Model-integrated computing
(1)
Object-oriented methods (Computer science)|
(1)
Software measurement
(1)
UML (Computer science)
(1)
less ...
Showing
1
-
20
of
24
for search:
''
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Engineering methods in the service-oriented context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software process improvement and capability determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Systems, software and service process improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Digital enterprise and information systems International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Get full text
Add to Favorites
Formal verification of object-oriented software International conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, revised selected papers /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Verification, model checking, and abstract interpretation 12th International conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Engineering secure software and systems third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Hardware and software: verification and testing 6th International Haifa verification conference, HVC 2010, Haifa, Israel, October 4-7, 2010. revised selected papers /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Foundations of software science and computational structures 14th International conference, FOSSACS 2011, Held as Part of the Joint European conferences on theory and practice...
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Model checking and artificial intelligence 6th International workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, revised selected and invited papers /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Models in software engineering workshops and symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, reports and revised selected papers /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Foundations of computer software. modeling, development, and verification of adaptive systems 16th monterey workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised...
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Reliable software technologies - Ada-Europe 2011 16th Ada-Europe International conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Top productivity through software reuse 12th International conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Get full text
Add to Favorites
FM 2011: formal methods 17th International symposium on formal methods, Limerick, Ireland, June 20-24, 2011.proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Theory and practice of model transformations 4th International conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Tests and proofs 5th International conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Product-focused software process improvement 12th International conference, process 2011, Torre Canne, Italy, June 20-22, 2011.proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computer aided verification 23rd International conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings /
Published 2011
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Model checking software 18th International SPIN workshop, Snowbird, UT, USA, July 14-15, 2011. proceedings /
Published 2011
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: 2011
Suggested Topics: Congresses
Suggested Topics: Computer software
Institution
KMUTT
(24)
Call Number
Q - Science
(24)
Language
English
(24)
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