Formal aspects of security
: first international conference ; revised papers / FASec 2002, London, UK, December 16 - 18, 2002. Ali E. Abdallah ... (ed.). - Berlin : Springer, 2003. - X, 238 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2629)
ISBN 978-3-540-20693-4 / 3-540-20693-0 kart. : EUR 40.66, sfr 65.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal concept analysis
: 6th international conference ; proceedings / ICFCA 2008, Montreal, Canada, February 25 - 28, 2008. Raoul Medina ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4933 : Lecture notes in artificial intelligence)
ISBN 978-3-540-78137-0
Lizenzpflichtig
Quelle: DNB
Formal concept analysis
: 5th international conference ; proceedings / ICFCA 2007, Clermont-Ferrand, France, February 12 - 16, 2007. Sergei O. Kuznetsov ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4390 : Lecture notes in artificial intelligence)
ISBN 978-3-540-70901-5
Lizenzpflichtig
Quelle: DNB
Formal concept analysis
: 4th international conference ; proceedings / ICFCA 2006, Dresden, Germany, February 13 - 17, 2006. Rokia Missaoui ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3874 : Lecture notes in artificial intelligence)
ISBN 978-3-540-32204-7
Lizenzpflichtig
Quelle: DNB
Formal concept analysis
: foundations and applications / Bernhard Ganter ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3626 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31881-1
Lizenzpflichtig
Quelle: DNB
Formal concept analysis
: foundations and applications / Bernhard Ganter ... (ed.). - Berlin : Springer, 2005. - X, 348 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3626 : Lecture notes in artificial intelligence)
ISBN 978-3-540-27891-7 / 3-540-27891-5 kart.
Literaturangaben
Quelle: DNB
Formal correctness of security protocols
: with 4 tables / Giampaolo Bella. - Berlin : Springer, 2007. - Online-Ressource - (Information security and cryptography)
ISBN 978-3-540-68136-6
Lizenzpflichtig
Quelle: DNB
Formal description of programming concepts
/ Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt .... - Berlin : Springer, 1991. - VI, 507 S.; 24 cm - (State-of-the-art reports / IFIP)
ISBN 978-3-540-53961-2 / 3-540-53961-1 Pp. : DM 88.00
Literaturangaben
Quelle: DNB
Formal development of reactive systems
: case study production cell / Claus Lewerentz ; Thomas Lindner (ed.). - Berlin : Springer, 1995. - XI, 394 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 891)
ISBN 978-3-540-58867-2 / 3-540-58867-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Formale Begriffsanalyse mit C++
/ Frank Vogt. - Berlin : Springer, 1996. - X, 323 S. : graph. Darst.; 24 cm
ISBN 978-3-540-61071-7 : DM 59.00
Quelle: DNB
