MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

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

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 561,438 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • 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
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB