Home Advanced Search

Advanced Search - Page 1

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
  • PDF
  • English
  • Year: 2013
  • Author: Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)
Complex Systems Design & Management: Proceedings of the First International Conference on Complex System Design & Management CSDM 2010
  • PDF
  • English
  • Year: 2010
  • Author: Farhad Arbab (auth.), Marc Aiguier, Francis Bretaudeau, Daniel Krob (eds.)
Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013
  • PDF
  • English
  • Year: 2014
  • Author: John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)
Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication: 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy (auth.), Claudio A. Ardagna, Jianying Zhou (eds.)
Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication: 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy (auth.), Claudio A. Ardagna, Jianying Zhou (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Urbanisation SOA et BPM: le point de vue d'un DSI
  • PDF
  • French
  • Year: 2008
  • Author: Caseau, Yves
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
search