Andrew Pitts – författare

Visar alla böcker från författaren Andrew Pitts. Handla med fri frakt och snabb leverans.

10 produkter

1. 

   Category Theory and Computer Science

   Manchester, UK, September 5-8, 1989. Proceedings

   Av David H. Pitt, David E. Rydeheard m. fl.

   Häftad, 1989

   534 kr

   Lägg i varukorg

2. 

   Category Theory and Computer Science

   Paris, France, September 3-6, 1991. Proceedings

   Av David H. Pitt, Pierre-Louis Curien m. fl.

   Häftad, 1991

   552 kr

   Lägg i varukorg

   The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget …

3. 

   Automata, Languages, and Programming

   39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

   Av Artur Czumaj, Kurt Mehlhorn m. fl.

   Häftad, 2012

   552 kr

   Lägg i varukorg

   This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and …

4. 

   Automata, Languages, and Programming

   39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

   Av Roger Wattenhofer, Andrew Pitts m. fl.

   E-bok, 2012

   734 kr

   Lägg i varukorg

   This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and …

5. 

   Automata, Languages, and Programming

   39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

   Av Artur Czumaj, Kurt Mehlhorn m. fl.

   Häftad, 2012

   552 kr

   Lägg i varukorg

   This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and …

6. 

   Automata, Languages, and Programming

   39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

   Av Roger Wattenhofer, Andrew Pitts m. fl.

   E-bok, 2012

   718 kr

   Lägg i varukorg

   This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and …

7. 

   Foundations of Software Science and Computation Structures

   18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

   Av Andrew Pitts

   Häftad, 2015

   568 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 28 full papers …

8. 

   Foundations of Software Science and Computation Structures

   18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

   Av Andrew Pitts

   E-bok, 2015

   755 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers …

9. 

   Christian Origins and Greco-Roman Culture

   Social and Literary Contexts for the New Testament

   Av Stanley E. Porter, Andrew Pitts

   Inbunden, 2012

   4916 kr

   Lägg i varukorg

   In Christian Origins and Greco-Roman Culture, Stanley Porter and Andrew Pitts assemble an international team of scholars whose work has focused on reconstructing the social matrix for earliest Christianity through the use of Greco-Roman materials and literary forms. Each essay moves forward the …

10. 

    Language of the New Testament

    Context, History, and Development

    Av Stanley E. Porter, Andrew Pitts

    Inbunden, 2013

    3209 kr

    Lägg i varukorg

    In The Language of the New Testament, Stanley E. Porter and Andrew W. Pitts assemble an international team of scholars whose work has focused on the Greek language of the earliest Christians. Each essay moves forward the current understanding of the context, history or development of the language …