Schloss Dagstuhl

  • TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 24TH 2018. (TYPES 2018)

    Schloss Dagstuhl

    TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 24TH 2018. (TYPES 2018)

    Held 18-21 June 2018, Braga, Portugal. Leibniz International Proceedings in Informatics Volume 130
    Our Price: $90.00
    Add to Cart The item has been added
  • ADVANCES IN PROGRAMMING LANGUAGES. SUMMIT. 2ND 2017. (SNAPL 2017)

    Schloss Dagstuhl

    ADVANCES IN PROGRAMMING LANGUAGES. SUMMIT. 2ND 2017. (SNAPL 2017)

    Held 7-10 May 2017, Asilomar, California, USA. Leibniz International Proceedings in Informatics Volume 71
    Our Price: $95.00
    Add to Cart The item has been added
  • ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE. CONFERENCE. 7TH 2017. (CALCO 2017)

    Schloss Dagstuhl

    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE. CONFERENCE. 7TH 2017. (CALCO 2017)

    Held 14-16 June 2017, Ljubljana, Slovenia. Leibniz International Proceedings in Informatics Volume 72
    Our Price: $110.00
    Add to Cart The item has been added
  • ALGORITHMIC APPROACHES FOR TRANSPORTATION MODELLING, OPTIMIZATION, AND SYSTEMS. WORKSHOP. 17TH 2017. (ATMOS 2017)

    Schloss Dagstuhl

    ALGORITHMIC APPROACHES FOR TRANSPORTATION MODELLING, OPTIMIZATION, AND SYSTEMS. WORKSHOP. 17TH 2017. (ATMOS 2017)

    Held 7-8 September 2017, Vienna, Austria. Open Access Series in Informatics Volume 59
    Our Price: $95.00
    Add to Cart The item has been added
  • ALGORITHMS AND COMPUTATION. INTERNATIONAL SYMPOSIUM. 28TH 2017. (ISAAC 2017)

    Schloss Dagstuhl

    ALGORITHMS AND COMPUTATION. INTERNATIONAL SYMPOSIUM. 28TH 2017. (ISAAC 2017)

    Held 9-12 December 2017, Phuket, Thailand. Leibniz International Proceedings in Informatics Volume 92
    Our Price: $150.00
    Add to Cart The item has been added
  • ALGORITHMS IN BIOINFORMATICS. INTERNATIONAL WORKSHOP. 17TH 2017. (WABI 2017)

    Schloss Dagstuhl

    ALGORITHMS IN BIOINFORMATICS. INTERNATIONAL WORKSHOP. 17TH 2017. (WABI 2017)

    Held 21-23 August 2017, Boston, Massachusetts, USA. Leibniz International Proceedings in Informatics Volume 88
    Our Price: $95.00
    Add to Cart The item has been added
  • ALGORITHMS. EUROPEAN SYMPOSIUM. 25TH 2017. (ESA 2017)

    Schloss Dagstuhl

    ALGORITHMS. EUROPEAN SYMPOSIUM. 25TH 2017. (ESA 2017)

    Held 4-6 September 2017, Vienna, Austria. Leibniz International Proceedings in Informatics Volume 87
    Our Price: $150.00
    Add to Cart The item has been added
  • APPROXIMATION ALGORITHMS FOR COMBINATORIAL OPTIMIZATION PROBLEMS. INTERNATIONAL WORKSHOP. 20TH 2017. (APPROX 2017)  (AND 21ST INTERNATIONAL WORKSHOP ON RANDOMIZATION AND COMPUTATION, RANDOM 2017)

    Schloss Dagstuhl

    APPROXIMATION ALGORITHMS FOR COMBINATORIAL OPTIMIZATION PROBLEMS. INTERNATIONAL WORKSHOP. 20TH 2017. (APPROX 2017) (AND 21ST INTERNATIONAL WORKSHOP ON RANDOMIZATION AND COMPUTATION, RANDOM 2017)

    Held 16-18 August 2017, Berkeley, California, USA. Leibniz International Proceedings in Informatics Volume 81
    Our Price: $150.00
    Add to Cart The item has been added
  • AUTOMATA, LANGUAGES, AND PROGRAMMING. INTERNATIONAL COLLOQUIUM. 44TH 2017. (ICALP 2017) (3 VOLS)

    Schloss Dagstuhl

    AUTOMATA, LANGUAGES, AND PROGRAMMING. INTERNATIONAL COLLOQUIUM. 44TH 2017. (ICALP 2017) (3 VOLS)

    Held 10-14 June 2017, Warsaw, Poland. Leibniz International Proceedings in Informatics Volume 80
    Our Price: $195.00
    Add to Cart The item has been added
  • COMBINATORIAL PATTERN MATCHING. ANNUAL SYMPOSIUM. 28TH 2017. (CPM 2017)

    Schloss Dagstuhl

    COMBINATORIAL PATTERN MATCHING. ANNUAL SYMPOSIUM. 28TH 2017. (CPM 2017)

    Held 4-6 July 2017, Warsaw, Poland. Leibniz International Proceedings in Informatics Volume 78
    Our Price: $110.00
    Add to Cart The item has been added
  • COMPUTATIONAL COMPLEXITY CONFERENCE. 32ND 2017. (CCC 2017)

    Schloss Dagstuhl

    COMPUTATIONAL COMPLEXITY CONFERENCE. 32ND 2017. (CCC 2017)

    Held 6-9 July 2017, Riga, Latvia. Leibniz International Proceedings in Informatics Volume 79
    Our Price: $150.00
    Add to Cart The item has been added
  • COMPUTATIONAL GEOMETRY. INTERNATIONAL SYMPOSIUM. 33RD 2017. (SOCG'17)

    Schloss Dagstuhl

    COMPUTATIONAL GEOMETRY. INTERNATIONAL SYMPOSIUM. 33RD 2017. (SOCG'17)

    Held 4-7 July 2017, Brisbane, Australia. Leibniz International Proceedings in Informatics Volume 77
    Our Price: $150.00
    Add to Cart The item has been added
  • COMPUTER SCIENCE LOGIC. EACSL ANNUAL CONFERENCE. 26TH 2017. (CSL 2017)

    Schloss Dagstuhl

    COMPUTER SCIENCE LOGIC. EACSL ANNUAL CONFERENCE. 26TH 2017. (CSL 2017)

    Held 20-24 August 2017, Stockholm, Sweden. Leibniz International Proceedings in Informatics Volume 82
    Our Price: $140.00
    Add to Cart The item has been added
  • COMPUTING STUDENT WORKSHOP. IMPERIAL COLLEGE. 2017. (ICCSW 2017)

    Schloss Dagstuhl

    COMPUTING STUDENT WORKSHOP. IMPERIAL COLLEGE. 2017. (ICCSW 2017)

    Held 26-27 September 2017, London, UK. Open Access Series in Informatics Volume 60
    Our Price: $65.00
    Add to Cart The item has been added
  • CONCURRENCY THEORY. INTERNATIONAL CONFERENCE. 28TH 2017. (CONCUR 2017)

    Schloss Dagstuhl

    CONCURRENCY THEORY. INTERNATIONAL CONFERENCE. 28TH 2017. (CONCUR 2017)

    Held 5-8 September 2017, Berlin, Germany. Leibniz International Proceedings in Informatics Volume 85
    Our Price: $140.00
    Add to Cart The item has been added
  • DATABASE THEORY. INTERNATIONAL CONFERENCE. 20TH 2017. (ICDT 2017)

    Schloss Dagstuhl

    DATABASE THEORY. INTERNATIONAL CONFERENCE. 20TH 2017. (ICDT 2017)

    Held 21-24 March 2017, Venice, Italy. Leibniz International Proceedings in Informatics Volume 68
    Our Price: $95.00
    Add to Cart The item has been added
  • DISTRIBUTED COMPUTING. INTERNATIONAL SYMPOSIUM. 31ST 2017. (DISC 2017)

    Schloss Dagstuhl

    DISTRIBUTED COMPUTING. INTERNATIONAL SYMPOSIUM. 31ST 2017. (DISC 2017)

    Held 16-20 October 2017, Vienna, Austria. Leibniz International Proceedings in Informatics Volume 91
    Our Price: $140.00
    Add to Cart The item has been added
  • EXPERIMENTAL ALGORITHMS. SYMPOSIUM. 16TH 2017. (SEA 2017)

    Schloss Dagstuhl

    EXPERIMENTAL ALGORITHMS. SYMPOSIUM. 16TH 2017. (SEA 2017)

    Held 21-23 June 2017, London, UK. Leibniz International Proceedings in Informatics Volume 75
    Our Price: $110.00
    Add to Cart The item has been added
  • FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION. INTERNATIONAL CONFERENCE. 2ND 2017. (FSCD 2017)

    Schloss Dagstuhl

    FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION. INTERNATIONAL CONFERENCE. 2ND 2017. (FSCD 2017)

    Held 3-9 September 2017, Oxford, UK. Leibniz International Proceedings in Informatics Volume 84
    Our Price: $110.00
    Add to Cart The item has been added
  • FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE. IARCS ANNUAL CONFERENCE. 37TH 2017. (FSTTCS 2017)

    Schloss Dagstuhl

    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE. IARCS ANNUAL CONFERENCE. 37TH 2017. (FSTTCS 2017)

    Held 12-14 December 2017, Kanpur, India. Leibniz International Proceedings in Informatics Volume 93
    Our Price: $140.00
    Add to Cart The item has been added
  • INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE. 8TH 2017. (ITCS 2017) (2 PARTS)

    Schloss Dagstuhl

    INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE. 8TH 2017. (ITCS 2017) (2 PARTS)

    Held 9-11 January 2017, Berkeley, California, USA. Leibniz International Proceedings in Informatics Volume 67
    Our Price: $150.00
    Add to Cart The item has been added
  • LANGUAGES, APPLICATIONS AND TECHNOLOGIES. SYMPOSIUM. 6TH 2017. (SLATE 2017)

    Schloss Dagstuhl

    LANGUAGES, APPLICATIONS AND TECHNOLOGIES. SYMPOSIUM. 6TH 2017. (SLATE 2017)

    Held 26-27 June 2017, Vila do Conde, Portugal. Open Access Series in Informatics Volume 56
    Our Price: $95.00
    Add to Cart The item has been added
  • LOGIC PROGRAMMING. INTERNATIONAL CONFERENCE. 33RD 2017. (ICLP 2017) TECHNICAL COMMUNICATIONS

    Schloss Dagstuhl

    LOGIC PROGRAMMING. INTERNATIONAL CONFERENCE. 33RD 2017. (ICLP 2017) TECHNICAL COMMUNICATIONS

    Held 28 August - 1 September 2017, Melbourne, Australia. Open Access Series in Informatics Volume 58
    Our Price: $80.00
    Add to Cart The item has been added