Logo - springer
Slogan - springer

Architecture & Design - Printing & Publishing | Printing & Publishing Journals, Academic Books & Online Media | Springer

Books & CD Roms: 1,895 Results

Sort listing by:

Books & CD ROMs

  1 2 3 4 5 6 7 8  

  • Interactive Theorem Proving
    • eBook
      Due: October 12, 2018

      Softcover
      Due: September 14, 2018

      All

    Interactive Theorem Proving

    9th International Conference, ITP 2018, Oxford, UK, July 9-12, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10895

    Subseries: Theoretical Computer Science and General Issues

    Avigad, Jeremy, Mahboubi, Assia (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94821-8
    Due: October 12, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94820-1
    Due: September 14, 2018
    Softcover
    Softcover (also known as softback) version
  • Implementation and Application of Automata
    • eBook
      Due: October 12, 2018

      Softcover
      Due: September 14, 2018

      All

    Implementation and Application of Automata

    23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10977

    Subseries: Theoretical Computer Science and General Issues

    Câmpeanu, Cezar (Ed.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94812-6
    Due: October 12, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94811-9
    Due: September 14, 2018
    Softcover
    Softcover (also known as softback) version
  • Combinatorial Algorithms
    • eBook
      Due: October 11, 2018

      Softcover
      Due: September 13, 2018

      All

    Combinatorial Algorithms

    29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10979

    Subseries: Theoretical Computer Science and General Issues

    Iliopoulos, Costas, Leong, Hon Wai, Sung, Wing-Kin (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94667-2
    Due: October 11, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94666-5
    Due: September 13, 2018
    Softcover
    Softcover (also known as softback) version
  • Computing and Combinatorics
    • eBook
      Due: October 11, 2018

      Softcover
      Due: September 13, 2018

      All

    Computing and Combinatorics

    24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10976

    Subseries: Theoretical Computer Science and General Issues

    Wang, Lusheng, Zhu, Daming (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94776-1
    Due: October 11, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94775-4
    Due: September 13, 2018
    Softcover
    Softcover (also known as softback) version
  • Sailing Routes in the World of Computation
    • eBook
      Due: October 7, 2018

      Softcover
      Due: September 9, 2018

      All

    Sailing Routes in the World of Computation

    14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10936

    Subseries: Theoretical Computer Science and General Issues

    Manea, Florin, Miller, Russell G., Nowotka, Dirk (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94418-0
    Due: October 7, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94417-3
    Due: September 9, 2018
    Softcover
    Softcover (also known as softback) version
  • Blended Learning. Enhancing Learning Success
    • eBook
      Due: October 7, 2018

      Softcover
      Due: September 9, 2018

      All

    Blended Learning. Enhancing Learning Success

    11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 1, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10949

    Subseries: Theoretical Computer Science and General Issues

    Cheung, S.K.S., Kwok, L.-f., Kubota, K., Lee, L.-K., Tokito, J. (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94505-7
    Due: October 7, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94504-0
    Due: September 9, 2018
    Softcover
    Softcover (also known as softback) version
  • Descriptional Complexity of Formal Systems
    • eBook
      Due: October 7, 2018

      Softcover
      Due: September 9, 2018

      All

    Descriptional Complexity of Formal Systems

    20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10952

    Subseries: Theoretical Computer Science and General Issues

    Konstantinidis, Stavros, Pighizzini, Giovanni (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94631-3
    Due: October 7, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94630-6
    Due: September 9, 2018
    Softcover
    Softcover (also known as softback) version
  • Logic-Based Program Synthesis and Transformation
    • eBook
      Due: October 6, 2018

      Softcover
      Due: September 8, 2018

      All

    Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 10855

    Subseries: Theoretical Computer Science and General Issues

    Fioravanti, Fabio, Gallagher, John P. (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94460-9
    Due: October 6, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94459-3
    Due: September 8, 2018
    Softcover
    Softcover (also known as softback) version
  • Theory and Applications of Satisfiability Testing – SAT 2018
    • eBook
      Due: October 3, 2018

      Softcover
      Due: September 5, 2018

      All

    Theory and Applications of Satisfiability Testing – SAT 2018

    21st International Conference, Oxford, UK, July 9–12, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10929

    Subseries: Theoretical Computer Science and General Issues

    Beyersdorff, Olaf, Wintersteiger, Christoph M. (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-94144-8
    Due: October 3, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-94143-1
    Due: September 5, 2018
    Softcover
    Softcover (also known as softback) version
  • Computational Linguistics and Intelligent Text Processing
    • eBook
      Due: September 24, 2018

      Softcover
      Due: August 27, 2018

      All

    Computational Linguistics and Intelligent Text Processing

    18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II

    Series: Lecture Notes in Computer Science, Vol. 10762

    Subseries: Theoretical Computer Science and General Issues

    Gelbukh, Alexander (Ed.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-77116-8
    Due: September 24, 2018
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    ISBN 978-3-319-77115-1
    Due: August 27, 2018
    Softcover
    Softcover (also known as softback) version


10 of 1,895
  1 2 3 4 5 6 7 8