Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer Science (13)	Computer science	Electronic book
Logic design	Logics and Meanings of Programs (13)	Mathematical Logic and Formal Languages
more ...

Additional Suggested Topics... within your search.
Computation by Abstract Devices (7)	Artificial Intelligence (incl. Robotics) (6)	Artificial intelligence (6)
Software Engineering (6)	Software engineering (6)	Programming Languages, Compilers, Interpreters (4)
Probability and Statistics in Computer Science (3)	Algorithm Analysis and Problem Complexity (2)	Computational complexity (2)
Computer software (2)	Discrete Mathematics in Computer Science (2)	Programming Techniques (2)
Computational Linguistics (1)	Computational linguistics (1)	Computer Communication Networks (1)
Computer Science, general (1)	Data Mining and Knowledge Discovery (1)	Data mining (1)
Electronic data processing (1)	Information Storage and Retrieval (1)	Information Systems Applications (incl. Internet) (1)
Information storage and retrieval systems (1)	Language Translation and Linguistics (1)	Logic, Symbolic and mathematical (1)
less ...

Showing 1 - 13 of 13 for search: '', query time: 0.82s

Cover Image

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated...

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Pristine Perspectives on Logic, Language, and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu,...

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Intelligent Information Processing VII : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected...

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy,...

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

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

Cover Image

Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /

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

Suggested Topics: Electronic book
Suggested Topics: Computer science
Suggested Topics: Mathematical Logic and Formal Languages
Suggested Topics: Logic design

Institution: KMUTT (13)

Library: mai (13)

Format: EBOOKS (13)

Call Number: Q - Science (13)

Language: English (13)

Year of Publication: From: To:

Search Options

Find More

Need Help?