wyszukanych pozycji: 2
![]() |
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
ISBN: 9783540221647 / Angielski / Miękka / 2004 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ?nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close...
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assis...
|
cena:
193,19 zł |
![]() |
Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
ISBN: 9783540291060 / Angielski / Miękka / 2005 / 411 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in theoretical computer science and discusses topics as analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, and algebraic computation.
Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in t...
|
cena:
193,19 zł |