Search Results

Suggested Topics... within your search.

Computer logic Computer science Computers

Logics and Meanings of Programs 286 Computer Science 285 Mathematical logic 178

more ...

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2010

Get full text
Electronic

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Published 2010

Get full text
Electronic

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Get full text
Electronic

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /

Published 2010

Get full text
Electronic

Time for Verification Essays in Memory of Amir Pnueli /

Published 2010

Get full text
Electronic

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

Published 2010

Get full text
Electronic

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Published 2010

Get full text
Electronic

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Published 2010

Get full text
Electronic

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

Published 2010

Get full text
Electronic

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Published 2010

Get full text
Electronic

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /

Published 2010

Get full text
Electronic

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

Published 2009

Get full text
Electronic

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

Published 2009

Get full text
Electronic

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Published 2009

Get full text
Electronic

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /

Published 2009

Get full text
Electronic

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /

Published 2009

Get full text
Electronic

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Published 2009

Get full text
Electronic

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

Published 2009

Get full text
Electronic

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

Published 2009

Get full text
Electronic

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /

Published 2009

Get full text
Electronic

1
2
3
4
5
6
7
8
9
10
11
Next »
[15]

Narrow Search