Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computation by Abstract Devices	Computer Science (14)	Computer science
Electronic book (14)	Logic design (8)	Logics and Meanings of Programs (7)
more ...

Additional Suggested Topics... within your search.
Mathematical Logic and Formal Languages (7)	Algorithm Analysis and Problem Complexity (6)	Artificial Intelligence (incl. Robotics) (6)
Artificial intelligence (6)	Computer software (6)	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)
Computer Appl. in Social and Behavioral Sciences (1)	Data Mining and Knowledge Discovery (1)	Data mining (1)
Data processing (1)	Logic Design (1)	Optical pattern recognition (1)
less ...

Showing 1 - 14 of 14 for search: '', query time: 1.16s

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

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

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
Call Number: Q - Science
Format: EBOOKS

Institution: KMUTT (14)

Library: mai (14)

Format: EBOOKS

Call Number: Q - Science

Language: English (14)

Year of Publication: From: To:

Search Options

Find More

Need Help?