Mahalik, Nitaigour Premchand: Fieldbus technology
: industrial network standards for real time distributed control / N. P. Mahalik. - Berlin : Springer, 2003. - XXXI, 590 S. : graph. Darst.; 24 cm
ISBN 978-3-540-40183-4 / 3-540-40183-0 Pp. : EUR 160.45
Literaturangaben
Quelle: DNB
Strobel, Stefan: Firewalls für das Netz der Netze
: Sicherheit im Internet: Einführung und Praxis / Stefan Strobel. - 1. Aufl. - Heidelberg : dpunkt-Verl., 1997. - X, 185 S. : Ill., graph. Darst.; 24 cm - (iX-Edition)
ISBN 978-3-920993-31-7 / 3-920993-31-4 kart. : DM 59.00, sfr 52.00, S 431.00
Quelle: DNB
Cheswick, William R.: Firewalls und Sicherheit im Internet
: Schutz vernetzter Systeme vor cleveren Hackern / William R. Cheswick ; Steven M. Bellovin. Dt. Übers. von Thomas Maus. - Bonn : Addison-Wesley, 1996. - 404 S. : graph. Darst.; 24 cm - (Professional computing)
ISBN 978-3-89319-875-7 / 3-89319-875-X Pp. : DM 79.90, sfr 77.90, S 591.00
Literaturverz. S. 349 - 370
Quelle: DNB
Formal techniques for networked and distributed systems
: 27th IFIP WG 6.1 international conference ; proceedings / FORTE 2007, Tallinn, Estonia, June 27 - 29, 2007. John Derrick ; Jüri Vain (ed.). - Berlin : Springer, 2007. - XI, 373 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4574)
ISBN 978-3-540-73195-5 / 3-540-73195-4 kart. : EUR 77.04 (freier Pr.), ca. sfr 118.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.). - Berlin : Springer, 2002. - XI, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2529)
ISBN 978-3-540-00141-6 / 3-540-00141-7 kart. : EUR 55.64
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 23rd IFIP WG 6.1 international conference ; proceedings / FORTE 2003, Berlin, Germany, September 29 - October 2, 2003. Hartmut König ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2767)
ISBN 978-3-540-39979-7
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. D. A. Peled (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2529)
ISBN 978-3-540-36135-0
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 27th IFIP WG 6.1 international conference ; proceedings / FORTE 2007, Tallinn, Estonia, June 27 - 29, 2007 ... John Derrick ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4574)
ISBN 978-3-540-73196-2
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 26th IFIP WG 6.1 international conference ; proceedings / FORTE 2006, Paris, France, September 26 - 29, 2006. Elie Najm ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4229)
ISBN 978-3-540-46220-0
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 25th IFIP WG 6.1 international conference ; proceedings / FORTE 2005, Taipei, Taiwan, October 2 - 5, 2005. Farn Wang (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3731)
ISBN 978-3-540-32084-5
Lizenzpflichtig
Quelle: DNB