Ada Software

Ada for Software Engineers  eBooks & eLearning

Posted by tot167 at April 4, 2009
Ada for Software Engineers

Mordechai Ben-Ari, "Ada for Software Engineers"
Springer | 2009 | ISBN: 1848823134 | 524 pages | PDF | 2 MB
The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library By Prof. Nelson H.F. Beebe
English | PDF | 2017 | 1145 Pages | ISBN : 3319641093 | 29.7 MB

This highly comprehensive handbook provides a substantial advance in the computation of elementary and special functions of mathematics, extending the function coverage of major programming languages well beyond their international standards, including full support for decimal floating-point arithmetic. Written with clarity and focusing on the C language, the work pays extensive attention to little-understood aspects of floating-point and integer arithmetic, and to software portability, as well as to important historical architectures. It extends support to a future 256-bit, floating-point format offering 70 decimal digits of precision.
BBC - Calculating Ada: The Countess of Computing (2015) [Repost]

BBC - Calculating Ada: The Countess of Computing (2015)
HDTV | 1280 x 720 | .MP4/AVC @ 3029 Kbps | 58 min 32 s | 1.30 GB
Audio: English AAC 152 Kbps, 2 channels | Subs: English
Genre: Documentary, Science, Technology

Ada Lovelace was a most unlikely computer pioneer. In this film, Dr Hannah Fry tells the story of Ada's remarkable life. Born in the early 19th century Ada was a countess of the realm, a scandalous socialite and an 'enchantress of numbers'. The film is an enthralling tale of how a life infused with brilliance, but blighted by illness and gambling addiction, helped give rise to the modern era of computing.

Concurrent and Real-Time Programming in Ada (Repost)  eBooks & eLearning

Posted by leonardo78 at June 18, 2017
Concurrent and Real-Time Programming in Ada (Repost)

Concurrent and Real-Time Programming in Ada by Alan Burns, Andy Wellings
2007 | ISBN: 0521866979 | 476 pages | PDF | 2,25 MB

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems.
Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada

Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada
English | 2016 | ASIN: B01N6D5TPE | 314 pages | PDF + EPUB (conv) | 5.55 Mb

Reliable Software Technologies – Ada-Europe 2017  eBooks & eLearning

Posted by AvaxGenius at May 30, 2017
Reliable Software Technologies – Ada-Europe 2017

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings By Johann BliebergerMarkus Bader
English | PDF | 2017 | 255 Pages | ISBN : 3319605879 | 12.5 MB

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

ADA Programming  eBooks & eLearning

Posted by lengen at Jan. 24, 2017
ADA Programming

ADA Programming by Wikibooks contributors
English | Sep. 13, 2011 | ISBN: 1466342773 | 410 Pages | PDF | 3 MB

ADA Programming is a tutorial teaching the Ada programming language. Ada puts unique emphasis on, and provides strong support for, good software engineering practices that scale well to very large software systems (millions of lines of code, and very large development teams).

La Magia del Software: Historia, Fundamentos y Perspectiva  eBooks & eLearning

Posted by AlenMiler at Nov. 8, 2016
La Magia del Software: Historia, Fundamentos y Perspectiva

La Magia del Software: Historia, Fundamentos y Perspectiva by Reynaldo Nuncio Limon
Spanish | 29 Sept. 2016 | ISBN: 1539158128 | 351 Pages | AZW3/MOBI/EPUB/PDF | 6 MB

Con cincuenta años de experiencia en el desarrollo de software y varios libros escritos sobre la materia, el autor nos ofrece en este tratado interesantes pasajes de la historia del software desde sus orígenes en la Inglaterra de la Revolución Industrial hasta las modernas tecnologías de la inteligencia artificial, el cómputo en la nube, la realidad aumentada, la robótica, la impresión 3D y la realidad virtual.

Programming in Ada 2012  eBooks & eLearning

Posted by roxul at Sept. 5, 2016
Programming in Ada 2012

John Barnes, "Programming in Ada 2012"
English | ISBN: 110742481X | 2014 | 967 pages | PDF | 5 MB

Reliable Software Technologies - Ada-Europe 2007  eBooks & eLearning

Posted by alt_f4 at Aug. 20, 2016
Reliable Software Technologies - Ada-Europe 2007

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, … (Lecture Notes in Computer Science) by Nabil Abdennahder
English | Aug. 8, 2007 | ISBN: 3540732292 | 258 Pages | PDF | 2 MB

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.