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
Hußmann, Heinrich: Formal foundations for software engineering methods
/ Heinrich Hußmann. - Berlin : Springer, 1997. - X, 286 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1322)
ISBN 978-3-540-63613-7 / 3-540-63613-7 Pp. : DM 66.00
Literaturverz. S. 271 - 277
Quelle: DNB
Formal hardware verification
: methods and systems in comparison / Thomas Kropf (ed.). - Berlin : Springer, 1997. - XII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1287)
ISBN 978-3-540-63475-1 / 3-540-63475-4 kart. : DM 78.00
Literaturverz. S. 349 - 367
Quelle: DNB
Formal languages and applications
/ Carlos Martin-Vide ... (ed.). - Berlin : Springer, 2004. - VIII, 620 S. : graph. Darst.; 24 cm - (Studies in fuzziness and soft computing; Vol. 148)
ISBN 978-3-540-20907-2 / 3-540-20907-7 Pp. : EUR 160.45 ; sfr 254.00
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
