Search Results

Language:

Home > Search:

Suggested Topics... within your search.
Computer science	Data protection	Logic design
Software engineering	Computer Science (12)	Electronic books (12)
more ...

Additional Suggested Topics... within your search.
Logics and Meanings of Programs (12)	Software Engineering (12)	Systems and Data Security (12)
Algorithm Analysis and Problem Complexity (5)	Computer software (5)	Mathematical Logic and Formal Languages (5)
Artificial Intelligence (incl. Robotics) (4)	Artificial intelligence (4)	Computer Communication Networks (4)
Congresses (4)	Information Systems Applications (incl. Internet) (4)	Computer Systems Organization and Communication Networks (2)
Computer network architectures (2)	Programming Languages, Compilers, Interpreters (2)	Programming Techniques (2)
Algebra (1)	Computation by Abstract Devices (1)	Computer Applications (1)
Computers and Society (1)	Data Encryption (1)	Data encryption (Computer science) (1)
Information Systems (1)	Management of Computing and Information Systems (1)
less ...

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

Cover Image

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

Published 2010

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /

Published 2012

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Engineering Secure Future Internet Services and Systems Current Research /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

Published 2014

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Published 2013

Call Number: Loading
Located: Loading

Full Text

Add to Favorites

Cover Image

String Analysis for Software Verification and Security /

by Bultan, Tevfik Published 2017

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: Software engineering
Suggested Topics: Logic design
Suggested Topics: Data protection

Institution: KMUTT (13)

Library: mai (1)

Format: EBOOKS (1)

Call Number: Q - Science (10); T - Technology (3)

Author: Bultan, Tevfik (1)

Language: English (13)

Year of Publication: From: To:

Search Options

Find More

Need Help?