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 81 - 100 of 101 for search: '', query time: 0.84s

Cover Image

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing...

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

ECOOP 2014 – Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

« Prev 1 2 3 456 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?