Logo - springer
Slogan - springer

- Search - Results | Search results | Springer

Books & CD ROMs

Show all 12 results
  • Typed Lambda Calculi and Applications
    • eBook
      Immediate eBook download after purchase

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $72.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $72.00
      (net)

    Typed Lambda Calculi and Applications

    11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 7941

    Subseries: Theoretical Computer Science and General Issues

    Hasegawa, Masahito (Ed.) 2013

    Price from $54.99
    Available Formats:
    Information
    $54.99 (net)
    ISBN 978-3-642-38946-7
    Immediate eBook download after purchase
    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
    $72.00 (net)
    ISBN 978-3-642-38945-0
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Typed Lambda Calculi and Applications
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $89.99
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $89.99
      (net)

    Typed Lambda Calculi and Applications

    10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

    Series: Lecture Notes in Computer Science, Vol. 6690

    Subseries: Theoretical Computer Science and General Issues

    Ong, Luke (Ed.) 2011

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-642-21691-6
    Immediate eBook download after purchase
    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
    $89.99 (net)
    ISBN 978-3-642-21690-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Rewriting and Typed Lambda Calculi
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $89.99
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $89.99
      (net)

    Rewriting and Typed Lambda Calculi

    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 8560

    Subseries: Theoretical Computer Science and General Issues

    Dowek, Gilles (Ed.) 2014

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-319-08918-8
    Immediate eBook download after purchase
    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
    $89.99 (net)
    ISBN 978-3-319-08917-1
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Typed Lambda Calculi and Applications
    • eBook
      Immediate eBook download after purchase

      $89.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $119.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $89.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $119.00
      (net)

    Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 5608

    Subseries: Theoretical Computer Science and General Issues

    Curien, Pierre-Louis (Ed.) 2009

    Price from $89.00
    Available Formats:
    Information
    $89.00 (net)
    ISBN 978-3-642-02273-9
    Immediate eBook download after purchase
    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
    $119.00 (net)
    ISBN 978-3-642-02272-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Typed Lambda Calculi and Applications
    • eBook
      Immediate eBook download after purchase

      $84.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $109.99
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $84.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $109.99
      (net)

    Typed Lambda Calculi and Applications

    8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 4583

    Subseries: Theoretical Computer Science and General Issues

    Ronchi Della Rocca, Simona (Ed.) 2007

    Price from $84.99
    Available Formats:
    Information
    $84.99 (net)
    ISBN 978-3-540-73228-0
    Immediate eBook download after purchase
    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
    $109.99 (net)
    ISBN 978-3-540-73227-3
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


 
top


 
top

Recent Searches

 

Your recent searches 

Tips for advanced searching 

The search function is not case sensitive. A query "zuse" or "Zuse" produces the same result.


The query searches for complete words.


The "*" is used for wildcards. A query for "Medic*" lists all matches on words starting with "Medic".


The ISBN may be entered with or without the "-".


Authors names are listed by "Last name, F." in the database.


Feedback

 

I was able to find what I was searching for: