Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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 Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

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 Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Logic, Language, Information, and Computation

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Logic, Language, Information, and Computation

Produktform: Buch / Einband - flex.(Paperback)