Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science (75)	Computer science (75)	Electronic books (75)
Logic design	Logics and Meanings of Programs (75)	Software Engineering
more ...

Additional Suggested Topics... within your search.
Software engineering (75)	Programming Languages, Compilers, Interpreters (44)	Mathematical Logic and Formal Languages (34)
Programming Techniques (21)	Computer Communication Networks (19)	Artificial Intelligence (incl. Robotics) (18)
Artificial intelligence (18)	Information Systems Applications (incl. Internet) (13)	Computation by Abstract Devices (12)
Information Systems (11)	Management of Computing and Information Systems (11)	Algorithm Analysis and Problem Complexity (10)
Computer software (10)	Computer simulation (5)	Operating Systems (5)
Operating systems (Computers) (5)	Simulation and Modeling (5)	Special Purpose and Application-Based Systems (5)
Computational complexity (4)	Discrete Mathematics in Computer Science (4)	Software Engineering/Programming and Operating Systems (4)
Information Storage and Retrieval (3)	Information storage and retrieval systems (3)	Information systems (3)
less ...

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

Cover Image

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 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

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

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

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

User-Level Workflow Design A Bioinformatics Perspective /

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: Logic design

Institution: KMUTT (75)

Call Number: Q - Science (72); T - Technology (2); L - Education (1)

Author: Shankar, A. Udaya (1)

Language: English (75)

Year of Publication: From: To:

Search Options

Find More

Need Help?