Sortiert nach
Formal Aspects in Security and Trust, 2006, p.203-216
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.112-126
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.47-62
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.235-243
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.158-170
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.16-33
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.127-141
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.81-95
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.96-111
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.244-257
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.187-202
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.63-80
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.142-157
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.217-234
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.34-46
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.171-186
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.5-15
2006
Link zum Volltext
B 2007: Formal Specification and Development in B, 2006, p.34-48
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.242-261
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.472-492
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.24-44
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.355-373
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.279-298
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.262-278
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.45-64
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Memory And File Management
- Memory Organisation. Data Processing
- Computer Systems And Distributed Systems. User Interface
- Artificial Intelligence
- Pattern Recognition. Digital Image Processing. Computational Geometry
- Speech And Sound Recognition And Synthesis. Linguistics
- Authentication Protocol
- Security Policy
- Cryptographic Protocol
- Csp
- Parallel Composition
Kollektion
- Ingenta E-Journals
- Springer Book Series
- IngentaConnect Journals
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE/IET Electronic Library
Zeitschrift / Serie