Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Communication Networks	Computer Science (101)	Computer science
Logic design (101)	Logics and Meanings of Programs	Electronic books (99)
more ...

Additional Suggested Topics... within your search.
Software Engineering (96)	Software engineering (96)	Programming Languages, Compilers, Interpreters (74)
Programming Techniques (43)	Mathematical Logic and Formal Languages (37)	Artificial Intelligence (incl. Robotics) (30)
Artificial intelligence (30)	Congresses (28)	Information Systems (22)
Management of Computing and Information Systems (22)	Information Systems Applications (incl. Internet) (16)	Information systems (15)
Algorithm Analysis and Problem Complexity (14)	Computer software (14)	Information Systems Applications (incl.Internet) (14)
Computation by Abstract Devices (8)	Software Engineering/Programming and Operating Systems (6)	Data protection (4)
Special Purpose and Application-Based Systems (4)	Systems and Data Security (4)	Information Storage and Retrieval (3)
Information storage and retrieval systems (3)	Models and Principles (3)	Operating Systems (3)
less ...

Showing 61 - 80 of 101 for search: '', query time: 0.42s

Cover Image

ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

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

Cover Image

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March...

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /

Published 2014

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

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

« Prev 1 2 345 6 Next »

Search Tools: Get RSS Feed Email this Search Save Search

Narrow Search

Remove Filters

Suggested Topics: Computer science
Suggested Topics: Logics and Meanings of Programs
Suggested Topics: Computer Communication Networks

Institution: KMUTT (101)

Library: mai (2)

Format: EBOOKS (2)

Call Number: Q - Science (93); T - Technology (8)

Author: Shankar, A. Udaya (1)

Language: English (101)

Year of Publication: From: To:

Search Options

Find More

Need Help?