Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science (39)	Computer science (39)	Electronic books (39)
Programming Techniques	Software Engineering	Software engineering (39)
more ...

Additional Suggested Topics... within your search.
Programming Languages, Compilers, Interpreters (29)	Logic design (21)	Logics and Meanings of Programs (21)
Mathematical Logic and Formal Languages (16)	Artificial Intelligence (incl. Robotics) (8)	Artificial intelligence (8)
Computer Communication Networks (8)	Operating Systems (7)	Operating systems (Computers) (7)
Algorithm Analysis and Problem Complexity (6)	Computer software (6)	Software Engineering/Programming and Operating Systems (5)
Information Systems (4)	Management of Computing and Information Systems (4)	Computational complexity (3)
Discrete Mathematics in Computer Science (3)	Information Systems Applications (incl. Internet) (3)	Computer Science, general (2)
Computer simulation (2)	Computer system performance (2)	Models and Principles (2)
Simulation and Modeling (2)	System Performance and Evaluation (2)	Computation by Abstract Devices (1)
less ...

Showing 1 - 20 of 39 for search: '', query time: 0.05s

Cover Image

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques /

by Stuikys, Vytautas Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Distributed Programming Theory and Practice /

by Shankar, A. Udaya Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Requirements Engineering and Management for Software Development Projects

by Chemuturi, Murali Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

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

Cover Image

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Transactions on Aspect-Oriented Software Development X

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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

Cover Image

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Transactions on Pattern Languages of Programming III

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

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

Search Tools: Get RSS Feed Email this Search Save Search

Narrow Search

Remove Filters

Year of Publication: 2013
Suggested Topics: Software Engineering
Suggested Topics: Programming Techniques

Institution: KMUTT (39)

Call Number: Q - Science (36); T - Technology (3)

Author: Barnes, John (1); Chemuturi, Murali (1); Shankar, A. Udaya (1); Stuikys, Vytautas (1)

Language: English (39)

Year of Publication: From: To:

Search Options

Find More

Need Help?