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

Your search for Hans Kleine Büning

  1. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden
    06/2021
    5th EDN5th Edition
    Hanser
    9783446469563 (ISBN)
    E-Book
    PDF
    Other editions
    €29.99
    Available for download
  2. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden
    06/2021
    5th EDN5th Edition
    Hanser
    9783446469426 (ISBN)
    Book
    Hardback
    Other editions
    €29.99
    Available immediately
  3. Cover: Aussagenlogik: Deduktion und Algorithmen - Vieweg+Teubner Verlag
    Theodor Lettmann | Hans Kleine Büning
    Aussagenlogik: Deduktion und Algorithmen
    Deduktion und Algorithmen
    03/2013
    Vieweg+Teubner Verlag
    9783322848093 (ISBN)
    E-Book
    PDF
    Other editions
    €49.99
    Available for download
  4. Cover: Prolog - Vieweg+Teubner Verlag
    Stefan Schmitgen | Hans Kleine Büning
    Prolog
    Grundlagen und Anwendungen
    03/2013
    2nd EDN2nd Edition
    Vieweg+Teubner Verlag
    9783322895424 (ISBN)
    E-Book
    PDF
    Other editions
    €38.66
    Available for download
    New edition available
  5. Cover: Prolog - Vieweg+Teubner Verlag
    Hans Kleine Büning | Stefan Schmitgen
    Prolog
    Grundlagen und Anwendungen
    04/2013
    Vieweg+Teubner Verlag
    9783322927477 (ISBN)
    E-Book
    PDF
    Other editions
    €33.26
    Available for download
  6. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden
    02/2018
    4th EDN4th Edition
    Hanser
    9783446454644 (ISBN)
    Book
    Hardback
    Other editions
    €42.00
    Exhausted; check for reprint
    New edition available
  7. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden (Print-on-Demand)
    10/2014
    3rd EDN3rd Edition
    Hanser
    9783446442467 (ISBN)
    Book
    Hardback
    Other editions
    €39.99
    Exhausted; check for reprint
    New edition available
  8. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden
    08/2008
    2nd EDN2nd Edition
    Hanser
    9783446415379 (ISBN)
    Book
    Hardback
    Other editions
    €34.90
    Exhausted; check for reprint
    New edition available
  9. Cover: Modellierung - Hanser
    Uwe Kastens | Hans Kleine Büning
    Modellierung
    Grundlagen und formale Methoden
    09/2005
    1st EDN1st Edition
    Hanser
    9783446404601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €29.90
    Exhausted; check for reprint
    New edition available
  10. Cover: Theory and Applications of Satisfiability Testing - SAT 2008 - Springer
    Hans Kleine Büning | Xishun Zhao
    Theory and Applications of Satisfiability Testing - SAT 2008
    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    04/2008
    Springer
    9783540797180 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Aussagenlogik: Deduktion und Algorithmen - Vieweg+Teubner Verlag
    Theodor Lettmann | Hans Kleine Büning
    Aussagenlogik: Deduktion und Algorithmen
    Deduktion und Algorithmen
    01/1994
    Vieweg+Teubner Verlag
    9783519021339 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.99
    Shipment within 10-15 days
  12. Cover: Prolog - Vieweg+Teubner Verlag
    Stefan Schmitgen | Hans Kleine Büning
    Prolog
    Grundlagen und Anwendungen
    01/1988
    2nd EDN2nd Edition
    Vieweg+Teubner Verlag
    9783519124849 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €59.99
    Shipment within 10-15 days
  13. Cover: Computer Science Logic - Springer
    Egon Börger | Gerhard Jäger | Hans Kleine Büning
    Computer Science Logic
    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    09/1992
    Springer
    9783540557890 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: Computer Science Logic - Springer
    Egon Börger | Gerhard Jäger | Hans Kleine Büning
    Computer Science Logic
    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    08/1993
    Springer
    9783540569923 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Prolog - Vieweg+Teubner Verlag
    Hans Kleine Büning | Stefan Schmitgen
    Prolog
    Grundlagen und Anwendungen
    09/1986
    Vieweg+Teubner Verlag
    9783519024842 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.99
    Shipment within 10-15 days
  16. Cover: CSL'88 - Springer
    Egon Börger | Hans Kleine Büning | Michael M. Richter
    CSL'88
    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    09/1989
    Springer
    9783540516590 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: CSL '89 - Springer
    Egon Börger | Hans Kleine Büning | Michael M. Richter
    CSL '89
    3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
    07/1990
    Springer
    9783540527534 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Computer Science Logic - Springer
    Egon Börger | Hans Kleine Büning | Michael M. Richter
    Computer Science Logic
    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    09/1991
    Springer
    9783540544876 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: CSL '87 - Springer
    Egon Börger | Hans Kleine Büning | Michael M. Richter
    CSL '87
    1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
    09/1988
    Springer
    9783540502418 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days