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
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. - XII, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2767)
ISBN 978-3-540-20175-5 / 3-540-20175-0 kart. : EUR 77.04
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5048)
ISBN 978-3-540-68855-6
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - XI, 339 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5048)
ISBN 978-3-540-68854-9 kart. : EUR 78.11
Literaturangaben
Quelle: DNB
Frontiers of high performance computing and networking
: ISPA 2007 workshops ; proceedings / ISPA 2007 international workshops SSDSN ..., Niagara Falls, Canada, August 29 - 31, 2007. Parimala Thualsiraman ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4743)
ISBN 978-3-540-74767-3
Lizenzpflichtig
Quelle: DNB
Muth, Thomas A.: Functional structures in networks
: AMLn - a language for model driven development of telecom systems / Thomas G. Muth. - Berlin : Springer, 2005. - XVI, 320 S. : graph. Darst.; 24 cm - (Signals and communication technology)
ISBN 978-3-540-22545-4 / 3-540-22545-5 Pp. : EUR 85.55 (freier Pr.)
Quelle: DNB Verlagsmeldungen
