Jeannette M. Wing: mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (11)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Data Science in Context: Foundations, Challenges, Opportunities

Data Science in Context: Foundations, Challenges, Opportunities

Cambridge University Press

Alfred Z. Spector, Peter Norvig, Chris Wiggins, Jeannette M. Wing

Tahun:

2022

Bahasa:

english

File:

PDF, 3.00 MB

0 / 4.5

english, 2022

2

Pensamento computacional e pensamento sobre computação

Pensamento computacional e pensamento sobre computação

Jeannette M. Wing

Tahun:

2008

Bahasa:

portuguese

File:

PDF, 316 KB

0 / 0

portuguese, 2008

3

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 11.33 MB

0 / 0

english, 1999

4

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 10.19 MB

0 / 0

english, 2009

5

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 15.30 MB

0 / 0

english, 2009

6

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 14.06 MB

0 / 0

english, 1999

7

Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats

Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats

Springer-Verlag New York

Pratyusa K. Manadhata, Jeannette M. Wing (auth.), Sushil Jajodia, Anup K. Ghosh, Vipin Swarup, Cliff Wang, X. Sean Wang (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 5.32 MB

0 / 0

english, 2011

8

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 10.75 MB

0 / 0

english, 1999

9

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 10.19 MB

0 / 0

english, 2009

10

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 16.87 MB

0 / 0

english, 1999

11

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

Springer-Verlag London

John W. Baugh Jr. (auth.), Ursula Martin MA, PhD, MBCS, CEng, Jeannette M. Wing SB, SM, PhD (eds.)

Tahun:

1993

Bahasa:

english

File:

PDF, 10.14 MB

0 / 0

english, 1993