Buchlisten 2020 Liste 11689

Formal Techniques for Distributed Objec ---Bestellen---
Titel: Formal Techniques for Distributed Objects, Components, and Systems
Beteiligte: Ahmed Bouajjani, Alexandra Silva
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22,
Herausgegeben von Bouajjani, Ahmed; Silva, Alexandra
1st ed. 2017. 2017. xiv, 243 S. 50 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-60224-1 (3319602241)
Neue ISBN: 978-3-319-60224-0 (9783319602240)

Formal Techniques for Distributed Objec ---Bestellen---
Titel: Formal Techniques for Distributed Objects, Components, and Systems
Beteiligte: Christel Baier, Luís Caires
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Pro
Herausgegeben von Baier, Christel; Caires, Luís
1st ed. 2018. 2018. xi, 197 S. 2079 SW-Abb., 16 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2018
ISBN: 3-319-92611-X (331992611X)
Neue ISBN: 978-3-319-92611-7 (9783319926117)

Formal Techniques for Distributed Objec ---Bestellen---
Titel: Formal Techniques for Distributed Objects, Components, and Systems
Beteiligte: Jorge A. Pérez, Nobuko Yoshida
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21,
Herausgegeben von Pérez, Jorge A.; Yoshida, Nobuko
1st ed. 2019. 2019. xiv, 299 S. 1249 SW-Abb., 38 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-021758-2 (3030217582)
Neue ISBN: 978-3-03-021758-7 (9783030217587)

Formal Techniques for Distributed Syste ---Bestellen---
Titel: Formal Techniques for Distributed Systems
Beteiligte: David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
11th IFIP WG 6.1 International Conference, FMOODS 2009, and 29th IFIP WG 6.1 International Conference, FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
Herausgeber: Lee, David, Poetzsch-Heffter, Arnd, Lopes, Antonia
2009. XII, 249 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-02137-9 (3642021379)
Neue ISBN: 978-3-642-02137-4 (9783642021374)

Formal Techniques for Safety-Critical S ---Bestellen---
Titel: Formal Techniques for Safety-Critical Systems
Beteiligte: Cyrille Artho, Peter Csaba Ölveczky
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Herausgegeben von Artho, Cyrille; Ölveczky, Peter Csaba
1st ed. 2019. 2019. xii, 179 S. 270 SW-Abb., 23 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-012987-X (303012987X)
Neue ISBN: 978-3-03-012987-3 (9783030129873)

Formal Theories of Information ---Bestellen---
Titel: Formal Theories of Information
Autor/in: Giovanni Sommaruga
From Shannon to Semantic Information Theory and General Concepts of Information
Ed. by Giovanni Sommaruga
2009. vii, 269 S. 23,5 cm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-00658-2 (3642006582)
Neue ISBN: 978-3-642-00658-6 (9783642006586)

Formal to Practical Security ---Bestellen---
Titel: Formal to Practical Security
Beteiligte: Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
Papers Issued from the 2005-2008 Frenche-Japanese Collaboration
Herausgeber: Sakurada, Hideki, Okada, Mitsuhiro, Kirchner, Claude, Cortier, Véronique
2009. vii, 199 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-02001-1 (3642020011)
Neue ISBN: 978-3-642-02001-8 (9783642020018)

Formal:Der Koch, der auf sein Fahrrad s ---Bestellen---
Titel: Der Koch, der auf sein Fahrrad stieg und die französischen Küchenschätze entdeckte
Beteiligte: Aimery Chemin, Sébastien Formal, Silke Schüler
1 Tour, 35 Begegnungen, 50 Rezepte
Übersetzung: Schüler, Silke
2019. 256 S. 29.1 cm
Verlag/Jahr: CHRISTIAN 2019
ISBN: 3-9596135-8-X (395961358X)
Neue ISBN: 978-3-9596135-8-3 (9783959613583)

Formalisierung der Landschaft ---Bestellen---
Titel: Formalisierung der Landschaft
Beteiligte: Agnes Husslein- Arco, Adolf Hölzel, Agnes Husslein-Arco, Alexander Klee, Carl Moll
Hölzel, Mediz, Moll u.a. Katalog zur Ausstellung Wien / Oberes Belvedere vom 28.5-8.9.2013
Herausgegeben von Husslein-Arco, Agnes; Klee, Alexander; Vorlage: Hölzel, Adolf; Moll, Carl
1. Aufl. 2013. 128 S. 86 Abbildungen in Farbe und S/W. 24.50 cm
Verlag/Jahr: HIRMER 2013
ISBN: 3-7774-2124-3 (3777421243)
Neue ISBN: 978-3-7774-2124-7 (9783777421247)

Formalität und Informalität in Organisa ---Bestellen---
Titel: Formalität und Informalität in Organisationen
Beteiligte: Victoria von Groddeck, Sylvia M. Wilz
Herausgegeben von Groddeck, Victoria von; Wilz, Sylvia M.
2014. vi, 368 S. 8 SW-Abb., 10 Farbabb. 210 mm
Verlag/Jahr: SPRINGER, BERLIN 2014
ISBN: 3-658-00602-1 (3658006021)
Neue ISBN: 978-3-658-00602-0 (9783658006020)