1 |
|
Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm — Lern- und Arbeitsbuch für Informatiker und Mathematiker [E-Book]
|
Logofătu, Doina
|
2006 |
|
.
|
2 |
|
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
3 |
|
C als erste Programmiersprache: Vom Einsteiger zum Profi [E-Book]
|
|
2008 |
|
.
|
4 |
|
C als erste Programmiersprache: Vom Einsteiger zum Fortgeschrittenen [E-Book]
|
Dausmann, Manfred
|
2011 |
|
.
|
5 |
|
C als erste Programmiersprache: Mit den Konzepten von C11 [E-Book]
|
Goll, Joachim
|
2014 |
|
.
|
6 |
|
C++ mit dem Borland C++Builder 2007: Einführung in den C++-Standard und die objektorientierte Windows-Programmierung [E-Book]
|
|
2008 |
|
.
|
7 |
|
C++ mit Microsoft Visual C++ 2008: Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung [E-Book]
|
Kaiser, Richard
|
2009 |
|
.
|
8 |
|
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen: Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen [E-Book]
|
Kaiser, Richard
|
2018 |
|
.
|
9 |
|
C++ mit Visual Studio 2017: Ein Fach- und Lehrbuch für Standard-C++ [E-Book]
|
Kaiser, Richard
|
2018 |
|
.
|
10 |
|
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen: C++17 für Studierende und erfahrene Programmierer - Windows Programme mit C++ entwickeln [E-Book]
|
Kaiser, Richard
|
2020 |
|
.
|
11 |
|
C++ mit Visual Studio 2019: C++17 für Studierende und erfahrene Programmierer [E-Book]
|
Kaiser, Richard
|
2021 |
|
.
|
12 |
|
C++ mit Visual Studio 2022 und Windows Forms-Anwendungen: C++17 für Studierende und erfahrene Programmierer - Windows-Programme mit C++ entwickeln [E-Book]
|
Kaiser, Richard
|
2022 |
|
.
|
13 |
|
Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256221
|
.
|
14 |
|
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
15 |
|
Constraint and Integer Programming: Toward a Unified Methodology [E-Book]
|
Milano, Michela
|
2004 |
|
.
|
16 |
|
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]
|
|
2017 |
500257469
|
.
|
17 |
|
¬Die¬ C++-Standardbibliothek: Einführung und Nachschlagewerk [E-Book]
|
Kuhlins, Stefan
|
2005 |
|
.
|
18 |
|
Echtzeit 2019: Autonome Systeme – 50 Jahre PEARL : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 21. und 22. November 2019 [E-Book]
|
Echtzeit<Veranstaltung> <2019, Boppard>
|
2019 |
|
.
|
19 |
|
ECM - Enterprise Content Management: Konzepte und Techniken rund um Dokumente [E-Book]
|
Riggert, Wolfgang
|
2009 |
|
.
|
20 |
|
Einführung in C: Praktisches Lern- und Arbeitsbuch für Programmieranfänger [E-Book]
|
Logofătu, Doina
|
2016 |
|
.
|