|
Searching ... |
0 % | |||
Electronic Voting(1st Edition) Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings (Lecture Notes in Computer Science) by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Carsten Schürmann, Olivier Pereira Paperback, 319 Pages, Published 2017 by Springer ISBN-13: 978-3-319-68686-8, ISBN: 3-319-68686-0 |
Electronic Voting Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann 319 Pages, Published 2017 by Springer ISBN-13: 978-3-319-68687-5, ISBN: 3-319-68687-9 |
Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science) by Yukiyoshi Kameyama , Peter J. Stuckey Paperback, 307 Pages, Published 2008 by Springer ISBN-13: 978-3-540-21402-1, ISBN: 3-540-21402-X |
Lecture Notes in Computer Science Ser. Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings by Pawel Urzyczyn 436 Pages, Published 2005 by Springer ISBN-13: 978-3-540-32014-2, ISBN: 3-540-32014-8 |
Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings by David Mcallester 526 Pages, Published 2006 by Springer ISBN-13: 978-3-540-45101-3, ISBN: 3-540-45101-3 |
Lecture Notes in Computer Science Ser. Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1632 by Harald Ganzinger 438 Pages, Published 2003 by Springer ISBN-13: 978-3-540-48660-2, ISBN: 3-540-48660-7 |
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings by Robert Nieuwenhuis , Andrei Voronkov 741 Pages, Published 2003 by Springer ISBN-13: 978-3-540-45653-7, ISBN: 3-540-45653-8 |
Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings by Laurent Fribourg 628 Pages, Published 2003 by Springer ISBN-13: 978-3-540-44802-0, ISBN: 3-540-44802-0 |
Lecture Notes in Computer Science Ser. Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 1657 by Thorsten Altenkirch , Wolfgang Naraschewski , Bernhard Reus 212 Pages, Published 2003 by Springer ISBN-13: 978-3-540-48167-6, ISBN: 3-540-48167-2 |
Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science) by Laurent Fribourg Paperback, 628 Pages, Published 2001 by Springer ISBN-13: 978-3-540-42554-0, ISBN: 3-540-42554-3 |
Carsten Schürmann