Bokus

Andre Scedrov – författare

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

8 produkter

  1. Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa - Software Security -- Theories and Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Software Security -- Theories and Systems

    Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

    Av Mitsuhiro Okada, Benjamin Pierce m. fl.

    Häftad, 2003

    569 kr

    Lägg i varukorg

    For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.This book assesses the state of the art in software and systems security by …

  2. Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz - Logic, Language, Information, and Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Logic, Language, Information, and Computation

    29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

    Av Helle Hvid Hansen, Andre Scedrov m. fl.

    Häftad, 2023

    825 kr

    Lägg i varukorg

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 …

  3. Ruy J.G.B. de Queiroz, Andre Scedrov, Helle Hvid Hansen - Logic, Language, Information, and Computation, E-bok. Tillgänglighet: Lägg i varukorg

    Logic, Language, Information, and Computation

    29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

    Av Ruy J.G.B. de Queiroz, Andre Scedrov m. fl.

    E-bok, 2023

    1059 kr

    Lägg i varukorg

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 …

  4. Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis, Häftad. Tillgänglighet: Lägg i varukorg

    Tools and Methods of Program Analysis

    4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

    Av Vladimir Itsykson, Andre Scedrov m. fl.

    Häftad, 2017

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully …

  5. Victor Zakharov, Andre Scedrov, Vladimir Itsykson - Tools and Methods of Program Analysis, E-bok. Tillgänglighet: Lägg i varukorg

    Tools and Methods of Program Analysis

    4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

    Av Victor Zakharov, Andre Scedrov m. fl.

    E-bok, 2017

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully …

  6. Akinori Yonezawa, Hideyuki Tokuda, Andre Scedrov, Benjamin Pierce, Mitsuhiro Okada - Software Security -- Theories and Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Software Security -- Theories and Systems

    Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

    Av Akinori Yonezawa, Hideyuki Tokuda m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

    For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by …

  7. Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi - Logic and Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    Logic and Computer Science

    Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

    Av Andre Scedrov, Gerald E. Sacks m. fl.

    E-bok, 2006

    364 kr

    Lägg i varukorg

    The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some …

  8. Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi - Logic and Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Logic and Computer Science

    Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

    Av Steven Homer, Anil Nerode m. fl.

    Häftad, 1990

    279 kr

    Lägg i varukorg

    The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some …