Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach UYF ergibt 56 Einträge

Suchergebnisseite: .   1 NNN 2 . NNN 3 .   . zum Satzanfang Nächste .   . Seite: 1 von 3
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
Sprache:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring [E-Book]   2005 E-Book URL Exists Catalogue Record .
2 Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring [E-Book] Rumpe, Bernhard 2012 E-Book URL Exists Catalogue Record .
3 Anwendungsorientierte Mikroprozessoren: Mikrocontroller und Digitale Signalprozessoren Anwendungsorientierte Mikroprozessoren: Mikrocontroller und Digitale Signalprozessoren [E-Book] Bähring, Helmut 2010 E-Book URL Exists Catalogue Record .
4 Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500254547500254547 E-Book URL Exists Catalogue Record .
5 Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book] Ayala-Rincón, Mauricio 2017 E-Book URL Exists Catalogue Record .
6 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255520500255520 E-Book URL Exists Catalogue Record .
7 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255521500255521 E-Book URL Exists Catalogue Record .
8 Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500256213500256213 E-Book URL Exists Catalogue Record .
9 Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257454500257454 E-Book URL Exists Catalogue Record .
10 Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500243489500243489 E-Book URL Exists Catalogue Record .
11 Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme [E-Book] Broy, Manfred 2010 E-Book URL Exists Catalogue Record .
12 Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500254601500254601 E-Book URL Exists Catalogue Record .
13 Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255513500255513 E-Book URL Exists Catalogue Record .
14 Digital Logic for Computing Digital Logic for Computing [E-Book] Seiffertt, John 2017 E-Book URL Exists Catalogue Record .
15 Eingebettete Systeme Eingebettete Systeme [E-Book]   2007 E-Book URL Exists Catalogue Record .
16 Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500254602500254602 E-Book URL Exists Catalogue Record .
17 Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers [E-Book]   2017 E-Book URL Exists Catalogue Record .
18 Formale Grundlagen der Programmierung Formale Grundlagen der Programmierung [E-Book] Nebel, Markus 2012 E-Book URL Exists Catalogue Record .
19 Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500251730500251730 E-Book URL Exists Catalogue Record .
20 Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500256229500256229 E-Book URL Exists Catalogue Record .
Suchergebnisseite: .   1 NNN 2 . NNN 3 .   . Bottom Nächste .   . Seite: 1 von 3
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche