Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783540151982
Category : Computers
Languages : en
Pages : 436
Book Description
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783540151982
Category : Computers
Languages : en
Pages : 436
Book Description
Publisher: Springer
ISBN: 9783540151982
Category : Computers
Languages : en
Pages : 436
Book Description
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 436
Book Description
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 436
Book Description
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783540151982
Category : Computers
Languages : en
Pages : 436
Book Description
Publisher: Springer
ISBN: 9783540151982
Category : Computers
Languages : en
Pages : 436
Book Description
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author:
Publisher:
ISBN:
Category : Algebra
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Algebra
Languages : en
Pages :
Book Description
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783540151999
Category : Computers
Languages : en
Pages : 476
Book Description
Publisher: Springer
ISBN: 9783540151999
Category : Computers
Languages : en
Pages : 476
Book Description
Alan Turing
Author: S. Barry Cooper
Publisher: Elsevier
ISBN: 0123870127
Category : Mathematics
Languages : en
Pages : 937
Book Description
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. - 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP - Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews - Affordable, key collection of the most significant papers by A.M. Turing - Commentary explaining the significance of each seminal paper by preeminent leaders in the field - Additional resources available online
Publisher: Elsevier
ISBN: 0123870127
Category : Mathematics
Languages : en
Pages : 937
Book Description
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. - 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP - Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews - Affordable, key collection of the most significant papers by A.M. Turing - Commentary explaining the significance of each seminal paper by preeminent leaders in the field - Additional resources available online
Joint Conference on Theory and Practice of Software Development
Author: TAPSOFT. 1, 1985, Berlin, West
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
General physics, relativity, astronomy and mathematical physics and methods
Author:
Publisher:
ISBN:
Category : Nuclear physics
Languages : en
Pages : 838
Book Description
Publisher:
ISBN:
Category : Nuclear physics
Languages : en
Pages : 838
Book Description
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783662207468
Category : Computers
Languages : en
Pages : 459
Book Description
Publisher: Springer
ISBN: 9783662207468
Category : Computers
Languages : en
Pages : 459
Book Description
Joint Conference on Theory and Practice of Software Development
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 313
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 313
Book Description