Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science (20)	Computer science (20)	Operating systems (Computers)
Programming Techniques	Electronic books (19)	Operating Systems (18)
more ...

Additional Suggested Topics... within your search.
Software engineering (17)	Software Engineering (16)	Programming Languages, Compilers, Interpreters (10)
Algorithm Analysis and Problem Complexity (8)	Computer software (8)	Software Engineering/Programming and Operating Systems (7)
Congresses (5)	Electronic data processing (5)	Logic design (5)
Logics and Meanings of Programs (5)	Computer system performance (4)	System Performance and Evaluation (4)
Numeric Computing (3)	Performance and Reliability (3)	Computer Communication Networks (2)
Computing Methodologies (2)	Information Systems Applications (incl. Internet) (2)	Processor Architectures (2)
Computation by Abstract Devices (1)	Computer Imaging, Vision, Pattern Recognition and Graphics (1)	Computer Systems Organization and Communication Networks (1)
Computer aided design (1)	Computer network architectures (1)	Computer simulation (1)
less ...

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

Cover Image

HPC@Green IT Green High Performance Computing Methods /

by Gruber, Ralf Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

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

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

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8,...

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /

Published 2014

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

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

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

Ada 2012 Rationale The Language, The Standard Libraries /

by Barnes, John. Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /

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

Call Number: Q - Science
Suggested Topics: Operating systems (Computers)
Suggested Topics: Programming Techniques

Institution: KMUTT (20)

Library: mai (1)

Format: EBOOKS (1)

Call Number: Q - Science

Author: Barnes, John (1); Chemuturi, Murali (1); Gruber, Ralf (1)

Language: English (20)

Year of Publication: From: To:

Search Options

Find More

Need Help?