Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computation by Abstract Devices	Computer Science	Computer science (16)
Electronic book (16)	Artificial Intelligence (incl. Robotics) (8)	Artificial intelligence (8)
more ...

Additional Suggested Topics... within your search.
Logic design (8)	Algorithm Analysis and Problem Complexity (7)	Computer software (7)
Logics and Meanings of Programs (7)	Mathematical Logic and Formal Languages (7)	Computational complexity (4)
Discrete Mathematics in Computer Science (4)	Computer Communication Networks (3)	Information Storage and Retrieval (3)
Information Systems Applications (incl. Internet) (3)	Information storage and retrieval systems (3)	Software Engineering (3)
Software engineering (3)	Computer Applications (2)	Electronic data processing (2)
Numeric Computing (2)	Programming Languages, Compilers, Interpreters (2)	Arithmetic and Logic Structures (1)
Coding and Information Theory (1)	Coding theory (1)	Computer Appl. in Social and Behavioral Sciences (1)
Computer Imaging, Vision, Pattern Recognition and Graphics (1)	Computer simulation (1)	Computer vision (1)
less ...

Showing 1 - 16 of 16 for search: '', query time: 0.04s

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

Social Media Processing : Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Transactions on Computational Science XXIV : Special Issue on Reversible Computing /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Advances in Image and Graphics Technologies : Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers /

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

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

Applications of Evolutionary Computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Call Number: Loading
Located: Loading

Full Text

EBOOKS

Add to Favorites

Cover Image

Genetic Programming : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers /

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

Machine Translation : 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 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

Search Tools: Get RSS Feed Email this Search Save Search

Narrow Search

Remove Filters

Suggested Topics: Computer Science
Suggested Topics: Computation by Abstract Devices
Library: mai

Institution: KMUTT (16)

Library: mai

Format: EBOOKS (16)

Call Number: Q - Science (14); P - Language and Literature (1); T - Technology (1)

Language: English (16)

Year of Publication: From: To:

Search Options

Find More

Need Help?