Search Results

1

Cover Image

Computing System Reliability Models and Analysis /

by Xie, Min., Dai, Yuan-Shun., Poh, Kim-Leng.
Published 2004

View fulltext via EzAccess

Electronic

2

Cover Image

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

3

Cover Image

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /

Published 2010

View fulltext via EzAccess

Electronic

4

Cover Image

Cylindric-like Algebras and Algebraic Logic

Published 2013

View fulltext via EzAccess

Electronic

5

Cover Image

Reactive Kripke Semantics

by Gabbay, Dov M.
Published 2013

View fulltext via EzAccess

Electronic

6

Cover Image

Erd¿<U+0018>s Centennial

Published 2013

View fulltext via EzAccess

Electronic

7

Cover Image

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

8

Cover Image

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /

Published 2010

View fulltext via EzAccess

Electronic

9

Cover Image

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

10

Cover Image

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

11

Cover Image

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

12

Cover Image

Teoria degli Automi Finiti

by Luca, Aldo de., DỚ"Alessandro, Flavio.
Published 2013

View fulltext via EzAccess

Electronic

13

Cover Image

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceeding...

Published 2013

View fulltext via EzAccess

Electronic

14

Cover Image

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

15

Cover Image

Ontology Matching

by Euzenat, J©♭r©þme., Shvaiko, Pavel.
Published 2013

View fulltext via EzAccess

Electronic

16

Cover Image

Reading, Writing, and Proving A Closer Look at Mathematics /

by Daepp, Ulrich., Gorkin, Pamela.
Published 2003

View fulltext via EzAccess

Electronic

17

Cover Image

Piton A Mechanically Verified Assembly-Level Language /

by Moore, J Strother.
Published 1996

View fulltext via EzAccess

Electronic

18

Cover Image

A Short Introduction to Intuitionistic Logic

by Mints, Grigori.
Published 2000

View fulltext via EzAccess

Electronic

19

Cover Image

Flexible Neuro-Fuzzy Systems Structures, Learning and Performance Evaluation /

by Rutkowski, Leszek.
Published 2004

View fulltext via EzAccess

Electronic

20

Cover Image

Fuzzy Logic and Intelligent Systems

Published 1995

View fulltext via EzAccess

Electronic