Jeannette M. Wing – författare
Visar alla böcker från författaren Jeannette M. Wing. Handla med fri frakt och snabb leverans.
9 produkter
Data Science in Context
Foundations, Challenges, Opportunities
Av Jeannette M. Wing, Chris Wiggins m. fl.
E-bok, 2022
554 kr
Lägg i varukorg
Data science is the foundation of our modern world. It underlies applications used by billions of people every day, providing new tools, forms of entertainment, economic growth, and potential solutions to difficult, complex problems. These opportunities come with significant societal consequences, …
Data Science in Context
Foundations, Challenges, Opportunities
Av Alfred Z. Spector, Peter Norvig m. fl.
Inbunden, 2022
569 kr
Lägg i varukorg
Data science is the foundation of our modern world. It underlies applications used by billions of people every day, providing new tools, forms of entertainment, economic growth, and potential solutions to difficult, complex problems. These opportunities come with significant societal consequences, …
Data Science in Context
Foundations, Challenges, Opportunities
Av Jeannette M. Wing, Chris Wiggins m. fl.
E-bok, 2022
554 kr
Lägg i varukorg
Data science is the foundation of our modern world. It underlies applications used by billions of people every day, providing new tools, forms of entertainment, economic growth, and potential solutions to difficult, complex problems. These opportunities come with significant societal consequences, …
First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
Av Jeannette M. Wing, Ursula Martin
E-bok, 2013
755 kr
Lägg i varukorg
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool …
First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
Av Ursula Martin, Jeannette M. Wing
Häftad, 1993
569 kr
Lägg i varukorg
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool …
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
