Search Results

Language:

Home > Search:

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

Additional Suggested Topics... within your search.
Congresses (57)	Programming Languages, Compilers, Interpreters (41)	Logic design (36)
Logics and Meanings of Programs (36)	Computer Communication Networks (28)	Mathematical Logic and Formal Languages (28)
Algorithm Analysis and Problem Complexity (20)	Computer software (20)	Artificial Intelligence (incl. Robotics) (11)
Artificial intelligence (11)	Information Systems Applications (incl. Internet) (11)	Computer simulation (7)
Simulation and Modeling (7)	Software Engineering/Programming and Operating Systems (7)	Information Systems (6)
Management of Computing and Information Systems (6)	Operating Systems (6)	Operating systems (Computers) (6)
Computer system performance (4)	System Performance and Evaluation (4)	Special Purpose and Application-Based Systems (3)
Computation by Abstract Devices (2)	Computer Imaging, Vision, Pattern Recognition and Graphics (2)	Computer vision (2)
less ...

Showing 1 - 20 of 59 for search: '', query time: 0.04s

Cover Image

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

Cover Image

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

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

Cover Image

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

Cover Image

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

Cover Image

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

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

Cover Image

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

Fundamental Approaches to Software Engineering 15th International Conference, FASE 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

Cover Image

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /

Published 2012

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: 2012
Suggested Topics: Software Engineering
Suggested Topics: Programming Techniques

Institution: KMUTT (59)

Call Number: Q - Science (53); T - Technology (6)

Author: Arnoldus, Jeroen (1)

Language: English (59)

Year of Publication: From: To:

Search Options

Find More

Need Help?