„Language Engineering“

Suchergebnisse

8.155 Treffer

• Guide to Competitive Programming – Learning and Improving Algorithms Through Contests
  Laaksonen, Antti 2024 Springer International Publishing, Imprint: Springer
• Java für Teetrinker – Ein funktionaler Zugang zur Programmierung mit Java
  Panitz, Sven Eric 2024 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Vorkurs Informatik – Der Einstieg ins Informatikstudium
  Müller, Heinrich ; Weichert, Frank 2023 Springer Fachmedien Wiesbaden
• Programmieren in C++ für Elektrotechniker und Mechatroniker – Das Lern- und Übungsbuch
  Mathes, Markus ; Seufert, Jochen 2022 Springer Fachmedien Wiesbaden
• Grundlagen der Computergrafik – Eine Einführung mit OpenGL und Java
  Lehn, Karsten ; Gotzes, Merijam ; Klawonn, Frank 2022 Springer Fachmedien Wiesbaden
• Mathematik für Software Engineering
  Dreiseitl, Stephan 2018 Springer Berlin Heidelberg
• Programmierung mit PASCAL – Eine Einführung für Programmieranfänger
  2018 Springer Fachmedien Wiesbaden
• Guide to Scientific Computing in C++
  Pitt-Francis, Joe ; Whiteley, Jonathan 2017 Springer International Publishing
• Foundations of Programming Languages
  Lee, Kent D. 2017 Springer International Publishing
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• C/C++ für Studium und Beruf – Eine Einführung mit vielen Beispielen, Aufgaben und Lösungen
  Küveler, Gerd ; Schwoch, Dietrich 2017 Springer Fachmedien Wiesbaden
• Software Architecture in Action – Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
  Oquendo, Flavio ; Leite, Jair Cavalcanti ; Batista, Thais 2016 Springer International Publishing
• Programmierparadigmen – Eine Einführung auf der Grundlage von Racket
  Wagenknecht, Christian 2016 Springer Fachmedien Wiesbaden
• Vorkurs Informatik – Der Einstieg ins Informatikstudium
  2005 Vieweg+Teubner Verlag
• A study into the practice of reporting software engineering experiments
  Cerqueira Revoredo, Kate ; Djurica, Djordje ; Mendling, Jan
• Inferring physical units in formal models
  Krings, Sebastian ; Leuschel, Michael
• Model-driven method for the development of full-size web-based information systems
  Netz, Lukas ; Rumpe, Bernhard ; Bork, Dominik 2024 Universitätsbibliothek der RWTH Aachen
• Model-Driven Method for the Development of Full-Size Web-Based Information Systems
  Netz, Lukas 2024 Shaker
• Generative AI and large language models in health care: pathways to implementation
  Raza, Marium M. ; Venkatesh, Kaushik P. ; Kvedar, Joseph C.
• Introduction: special issue on parallel and distributed evolutionary algorithms, part I
  Tomassini, Marco ; Vanneschi, Leonardo