Search Results

Language:

Home > Search:

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

Additional Suggested Topics... within your search.
Software Engineering (9)	Software engineering (9)	Computation by Abstract Devices (7)
Artificial Intelligence (incl. Robotics) (6)	Artificial intelligence (6)	Programming Languages, Compilers, Interpreters (5)
Probability and Statistics in Computer Science (3)	Algorithm Analysis and Problem Complexity (2)	Computational complexity (2)
Computer Communication Networks (2)	Computer software (2)	Discrete Mathematics in Computer Science (2)
Programming Techniques (2)	Computational Linguistics (1)	Computational linguistics (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 (1)
Information Systems Applications (incl. Internet) (1)	Information storage and retrieval systems (1)	Language Translation and Linguistics (1)
less ...

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

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

Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed...

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

Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

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

Transactions on Petri Nets and Other Models of Concurrency IX /

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: Computer science
Suggested Topics: Logics and Meanings of Programs
Format: EBOOKS

Institution: KMUTT (16)

Library: mai (16)

Format: EBOOKS

Call Number: Q - Science (16)

Language: English (16)

Year of Publication: From: To:

Search Options

Find More

Need Help?