Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=006.2*

Zurück zur Trefferliste


Treffer 134 von 148 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4824068-0
Sachbegriff Java Card
Quelle Vorlage
Erläuterungen Definition: In Java programmierte Smart Card
Oberbegriffe Beispiel für: Chipkarte
Thematischer Bezug Elektronischer Zahlungsverkehr
Java <Programmiersprache>
DDC-Notation 332.178
332.76
006.246
Systematik 30m Informatikprodukte (Hardware- und Softwareprodukte) ; 10.9b Bank
Typ Softwareprodukt (siw)
Thema in 4 Publikationen
  1. Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
    Grandy, Holger. - Berlin : Logos-Verl., 2008
  2. Symbolic execution as a framework for deductive verification of object-oriented programs
    Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl.
  3. ...
Maschinell verknüpft mit 4 Publikationen
  1. Smart- und Java Card. Einsatzmöglichkeiten und Benutzerakzeptanz
    Peterhans, Ronny. - München : GRIN Verlag, 2002, 1. Auflage, digitale Originalausgabe
  2. Smart- und Java Cards: Einsatzmöglichkeiten und Benutzerakzeptanz
    Peterhans, Ronny. - München : GRIN Verlag, 2002
  3. ...





Treffer 134 von 148
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration