MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "DFG-Schwerpunktprogramm "Sicherheit in der Informations- und Kommunikationstechnik"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

561,438 documents found, showing 1 through 10. Next 10 →

ATOM

Common Syntax of the DFG-Schwerpunktprogramm "Deduktion"
by Reiner Hahnle Fakultat, Reiner Hahnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm "Deduktion" Reiner Hahnle Fakultat fur Informatik…
Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm Deduktion - Version 1.2
by Reiner Hähnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm Deduktion Version 1.2 Reiner Hahnle Fakultat fur…
Cited by 14 (1 self) – Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5
by unknown authors
… Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5 Reiner H"ahnleFakult"at f…
Add To MetaCart

Langevin Dynamics Simulations of Macromolecules on Parallel Computers
by Bernd Jung, Hans--peter Lenhof, Peter Muller, Christine Rub — 1996
… with sequential simulations. This work is supported by the DFG--Schwerpunktprogramm "Effiziente Algorithmen fur…
Cited by 4 (0 self) – Add To MetaCart

Parallel Algorithms for MD-Simulations of Synthetic Polymers
by Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb, Christine Rub — 1997
… faster simulation of their dynamics. This work is supported by the DFG--Schwerpunktprogramm "Effiziente…
Add To MetaCart

Formale Sicherheit in der Quantenkryptologie
by Formal Security In, Studienarbeit Von Dominique Unruh, Universitt Karlsruhe, Betreuer Prof, Dr. Thomas Beth, Dr. Jrn Mller-quade
…Formale Sicherheit in der Quantenkryptologie Formal Security in Quantum Cryptography Studienarbeit…
Add To MetaCart

α Isabelle’s Logics: HOL 1
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel — 2008
…) and by the DFG Schwerpunktprogramm Deduktion. 2 Institut für Informatik, Technische Universität München, nipkow…
Add To MetaCart

Eingebettete Sicherheit: State-of-the-art und zuknftige Entwicklungen
by Christof Paar, Jan Pelzl, Kai Schramm, André Weimerskirch, Und Thomas Wollinger — DACH Security, March 30
… Anwendungsbeispiel II: Sicherheit in ad-hoc und pervasiven Netzen Wie schon gesagt ist zu erwarten, dass in der…
Cited by 1 (0 self) – Add To MetaCart

REDLOG Computer Algebra Meets Computer Logic
by Andreas Dolzmann, Thomas Sturm — 1996 — ACM SIGSAM Bulletin
… (Schwerpunktprogramm: Algorithmische Zahlentheorie und Algebra) 1 Introduction redlog stands for reduce logic system…
Cited by 66 (28 self) – Add To MetaCart

Learning more about attack patterns with honeypots. In Sicherheit 2006: Sicherheit - Schutz und
by Thorsten Holz — 2006 — GI), 20.-22. Februar 2006 in Magdeburg
….holz@(email omitted); Abstract: Honeypots are information system resources, whose value lies in unauthorized or illicit use…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB