„Logic Programming“

Suchergebnisse

2.836 Treffer

• Solving project scheduling problem with the philosophy of fuzzy random programming
  Ke, Hua ; Ma, Weimin ; Ma, Junjie
• Uncertain random goal programming
  Qin, Zhongfeng
• Prolog: Programmierung auf der Basis von Logik/Prolog: Logic Based Programming
  Barth, Gerhard
• Toward flexible optical networks with Transport-SDN
  Szyrkowiec, Thomas ; Autenrieth, Achim ; Elbers, Jörg-Peter
• The Correctness-by-Construction Approach to Programming
  Kourie, Derrick G. ; Watson, Bruce W. 2012 Springer Berlin
• VLSI-SoC: Forward-Looking Trends in IC and Systems Design – 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
  Ayala, Jose L. 2012 Springer Berlin
• Compiler Design – Analysis and Transformation
  Seidl, Helmut ; Wilhelm, Reinhard 2012 Springer Berlin
• Compiler Design – Virtual Machines
  Wilhelm, Reinhard ; Seidl, Helmut 2010 Springer Berlin
• Computational Artifacts – Towards a Philosophy of Computer Science
  Turner, Raymond 2018 Springer Berlin
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Principles of Rule-Based Programming
  Frühwirth, Thom 2025 BoD - Books on Demand
• Principles of Rule-Based Programming
  Frühwirth, Thom 2025 BoD - Books on Demand
• Data Structures in Depth Using C++ – A Comprehensive Guide to Data Structure Implementation and Optimization in C++
  Mahdi, Mahmmoud 2025 Apress, Imprint: Apress
• Rewriting Logic and Its Applications – 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
  Ogata, Kazuhiro ; Martí-Oliet, Narciso 2024 Springer Nature Switzerland, Imprint: Springer
• PLC Controls with Ladder Diagram (LD), Monochrome – IEC 61131-3 and introduction to Ladder programming
  Antonsen, Tom Mejer 2021 BoD – Books on Demand – Dänemark
• PLC Controls with Ladder Diagram (LD), Wire-O – IEC 61131-3 and introduction to Ladder programming
  Antonsen, Tom Mejer 2021 BoD – Books on Demand – Dänemark
• PLC Controls with Structured Text (ST), V3 – IEC 61131-3 and best practice ST programming
  Antonsen, Tom Mejer 2020 BoD – Books on Demand – Dänemark
• PLC Controls with Structured Text (ST), V3 Monochrome – IEC 61131-3 and best practice ST programming
  Antonsen, Tom Mejer 2020 BoD – Books on Demand – Dänemark
• Collection of Exercises for PLC Programming – 100 programming exercises from beginner to expert level
  Antonsen, Tom Mejer 2024 BoD – Books on Demand – Dänemark
• Programming languages and systems – proceedings
  Seidl, Helmut 2012 Springer