Home Advanced Search

Advanced Search - Page 1

Pensamento computacional e pensamento sobre computação
  • PDF
  • Portuguese
  • Year: 2008
  • Author: Jeannette M. Wing
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
  • PDF
  • English
  • Year: 1999
  • Author: Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
  • PDF
  • English
  • Year: 1999
  • Author: Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
  • PDF
  • English
  • Year: 1993
  • Author: John W. Baugh Jr. (auth.), Ursula Martin MA, PhD, MBCS, CEng, Jeannette M. Wing SB, SM, PhD (eds.)
Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats
  • PDF
  • English
  • Year: 2011
  • Author: Pratyusa K. Manadhata, Jeannette M. Wing (auth.), Sushil Jajodia, Anup K. Ghosh, Vipin Swarup, Cliff Wang, X. Sean Wang (eds.)
Men's Health: A Head to Toe Guide for Clinicians
  • PDF
  • English
  • Year: 2015
  • Author: Jeannette M. Potts
search