Certified programs and proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, december 11-13, 2013, proceedings /

Código QR

Certified programs and proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, december 11-13, 2013, proceedings /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2013.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Certified programs and proofs : Second International Conference, CPP 2012, Kyoto, Japan, december 13-15, 2012. Proceedings /
Publicado: (2012)

Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, december 7-9, 2011. Proceedings /
Publicado: (2011)

Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado: (2017)

Information Security Practice and Experience : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017, Proceedings /
Publicado: (2017)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado: (2017)

Algorithms and architectures for parallel processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings.

Algorithms and architectures for parallel processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings.

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

Proof : a play /
por: Auburn, David, 1969-,

Proof of life
Publicado: (2000)

Applied proof theory: proof interpretations and their use in mathematics.

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

The certified quality engineer handbook /
Publicado: (2002)

The certified quality manager handbook /
por: Okes, Duke 1949-
Publicado: (2001)

Certifying decorative concrete contractors.
por: A. Scharich, Todd

Certified Flight Intructor / Oral exam guide /
Publicado: (2007)

Proofs & theories : essays on poetry /
por: Glück, Louise Elisabeth 1943-
Publicado: (1994)

Proof techniques in graph theory : proceedings of the second Ann Arbor Graph Theory Conference, February, 1968
por: Harary, Frank, et al.
Publicado: (1969)

ISILC proof theory symposion: proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Proofs from the book /
por: Aigner, Martin 1942-, et al.
Publicado: (1999)

Language proof and logic /
por: Barwise, Jon,
Publicado: (1999)

Proofs from the book /
por: Aigner, Martín, 1942-
Publicado: (2001)

Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre, et al.
Publicado: (1976)

Advances in proof theory.

Artificial general intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, august 15-18, 2017, proceedings.

The art of proof : basic training for deeper mathematics /
por: Beck, Matthias,
Publicado: (2010)

Procedural standards for certified testing of cleanrooms
Publicado: (1996)

Certified openstack administrator study guide /
Publicado: (2016)

Robot-proof : higher education in the age of artificial intelligence /
por: Aoun, Joseph E. 1953-
Publicado: (2017)

Computational science and its applications -ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /
Publicado: (2018)

Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings /
Publicado: (2017)

The idea of god and Descartes 'Proofs of God's Existence in the Third Meditation
por: Tweyman, Stanley

The idea of God and Descartes' proofs of God's existence in the third meditation.
por: Tweyman, Stanley

Mistake-proofing for operators : the ZQC system /
Publicado: (1997)

Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010)

Mistakes in geometric proofs : by Ya. S. Dubnov
por: Dubnov, Iakov Semenovich 1887-1957, et al.
Publicado: (1963)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

Applications and techniques in information security : 5th international conference, ATIS 2014, Melbourne, VIC, Australia, november 26-28, 2014. Proceedings.

Proof theory and intuitionistc systems
por: Scarpellini, Bruno, et al.
Publicado: (1964)

Number theory ; an introduction to proof
por: Vanden Eynden, Charles 1936-, et al.
Publicado: (1970)