58 results
Type of media (2)
Availability (2)
Language (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
58 results

Your search for Programming Languages

  1. Cover: Transactions on Pattern Languages of Programming V - Springer
    Eugene Wallingford | Uwe Zdun | Christian Kohls
    Transactions on Pattern Languages of Programming V
    03/2025
    Springer
    9783662708101 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Transactions on Pattern Languages of Programming IV - Springer
    James Noble | Ralph Johnson | Uwe Zdun
    Transactions on Pattern Languages of Programming IV
    03/2019
    Springer
    9783030142919 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Transactions on Pattern Languages of Programming V - Springer
    Eugene Wallingford | Uwe Zdun | Christian Kohls
    Transactions on Pattern Languages of Programming V
    03/2025
    Springer
    9783662708095 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 7-9 days
  4. Cover: Transactions on Pattern Languages of Programming II - Springer
    Paris Avgeriou | Neil B. Harrison | Uwe Zdun
    Transactions on Pattern Languages of Programming II
    Special lssue on Applying Patterns
    03/2011
    Springer
    9783642194320 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Transactions on Pattern Languages of Programming I - Springer
    James Noble | Ralph Johnson
    Transactions on Pattern Languages of Programming I
    01/2010
    Springer
    9783642108310 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Transactions on Pattern Languages of Programming II - Springer
    Paris Avgeriou | Neil B. Harrison | Uwe Zdun
    Transactions on Pattern Languages of Programming II
    Special lssue on Applying Patterns
    03/2011
    1st EDN1st Edition
    Springer
    9783642194313 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Refinement Types - now publishers Inc
    Ranjit Jhala | Niki Vazou
    Refinement Types
    A Tutorial
    10/2021
    now publishers Inc
    9781680838848 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  8. Cover: Neurosymbolic Programming - now publishers Inc
    Swarat Chaudhuri | Kevin Ellis | Oleksandr Polozov
    Neurosymbolic Programming
    12/2021
    now publishers Inc
    9781680839340 (ISBN)
    Book
    Paperback/Softback
    €94.28
    Shipment within 10-20 days
  9. Cover: Introduction to Neural Network Verification - now publishers Inc
    Aws Albarghouthi
    Introduction to Neural Network Verification
    12/2021
    now publishers Inc
    9781680839104 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  10. Cover: Transactions on Pattern Languages of Programming IV - Springer
    James Noble | Ralph Johnson | Uwe Zdun
    Transactions on Pattern Languages of Programming IV
    02/2019
    Springer
    9783030142902 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Shape Analysis - now publishers Inc
    Bor-Yuh Evan Chang | Cezara Dragoi | Roman Manevich
    Shape Analysis
    10/2020
    now publishers Inc
    9781680837322 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  12. Cover: Transactions on Pattern Languages of Programming III - Springer
    James Noble | Ralph Johnson | Uwe Zdun
    Transactions on Pattern Languages of Programming III
    06/2013
    Springer
    9783642386756 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  13. Cover: QED at Large - now publishers Inc
    Talia Ringer | Karl Palmskog | Ilya Sergey
    QED at Large
    A Survey of Engineering of Formally Verified Software
    09/2019
    now publishers Inc
    9781680835946 (ISBN)
    Book
    Paperback/Softback
    €132.97
    Shipment within 10-20 days
  14. Cover: Progress of Concurrent Objects - now publishers Inc
    Hongjin Liang | Xinyu Feng
    Progress of Concurrent Objects
    05/2020
    now publishers Inc
    9781680836721 (ISBN)
    Book
    Paperback/Softback
    €120.34
    Shipment within 10-20 days
  15. Cover: Programming with "Big Code" - now publishers Inc
    Eran Yahav | Martin Vechev
    Programming with "Big Code"
    12/2016
    1st EDN1st Edition
    now publishers Inc
    9781680832303 (ISBN)
    Book
    Paperback/Softback
    €51.00
    Shipment within 10-20 days
  16. Cover: Reconciling Abstraction with High Performance - now publishers Inc
    Oleg Kiselyov
    Reconciling Abstraction with High Performance
    A MetaOCaml approach
    06/2018
    now publishers Inc
    9781680834369 (ISBN)
    Book
    Paperback/Softback
    €105.42
    Shipment within 10-20 days
  17. Cover: Probabilistic Trace and Testing Semantics - now publishers Inc
    Marco Bernardo
    Probabilistic Trace and Testing Semantics
    The Importance of Being Coherent
    08/2022
    now publishers Inc
    9781638280743 (ISBN)
    Book
    Paperback/Softback
    €91.75
    Shipment within 3-4 weeks
  18. Cover: A Framework For Efficient Modular Heap Analysis - now publishers Inc
    Ravichandhran Madhavan | G. Ramalingam | Kapil Vaswani
    A Framework For Efficient Modular Heap Analysis
    01/2015
    1st EDN1st Edition
    now publishers Inc
    9781680830026 (ISBN)
    Book
    Paperback/Softback
    €72.00
    Shipment within 10-20 days
  19. Cover: Formal Models and Techniques for Analyzing Security Protocols - now publishers Inc
    Veronique Cortier | Steve Kremer
    Formal Models and Techniques for Analyzing Security Protocols
    A Tutorial
    11/2014
    1st EDN1st Edition
    now publishers Inc
    9781601989024 (ISBN)
    Book
    Paperback/Softback
    €71.00
    Shipment within 10-20 days
  20. Cover: Principles of Eventual Consistency - now publishers Inc
    Sebastian Burckhardt
    Principles of Eventual Consistency
    10/2014
    1st EDN1st Edition
    now publishers Inc
    9781601988584 (ISBN)
    Book
    Paperback/Softback
    €77.00
    Shipment within 10-20 days
    2. of 3