Search Results

Language:

Home > Search:

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

Additional Suggested Topics... within your search.
Software engineering (9)	Mathematical Logic and Formal Languages (6)	Programming Languages, Compilers, Interpreters (5)
Computation by Abstract Devices (3)	Artificial Intelligence (incl. Robotics) (2)	Artificial intelligence (2)
Computer Communication Networks (2)	Probability and Statistics in Computer Science (2)	Information Systems (1)
Management of Computing and Information Systems (1)	Programming Techniques (1)	Software Engineering/Programming and Operating Systems (1)
Special Purpose and Application-Based Systems (1)
less ...

Showing 1 - 9 of 9 for search: '', query time: 0.02s

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

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

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

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

Transactions on Petri Nets and Other Models of Concurrency IX /

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: Software Engineering
Suggested Topics: Logic design
Call Number: Q - Science

Institution: KMUTT (9)

Library: mai (9)

Format: EBOOKS (9)

Call Number: Q - Science

Language: English (9)

Year of Publication: From: To:

Search Options

Find More

Need Help?