Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Library of Congress Subject Headings
  • Language: en
  • Pages: 1348
P-Z
  • Language: en
  • Pages: 1644

P-Z

  • Type: Book
  • -
  • Published: 1990
  • -
  • Publisher: Unknown

None

Library of Congress Subject Headings
  • Language: en
  • Pages: 1596
Library of Congress Subject Headings
  • Language: en
  • Pages: 1698
SDL Game Development
  • Language: en
  • Pages: 391

SDL Game Development

Written as a practical and engaging tutorial, SDL Game Development guides you through developing your own framework and the creation of two engaging games.If you know C]+ and you're looking to make great games from the ground up, then this book is perfect for you.

Library of Congress Subject Headings: F-O
  • Language: en
  • Pages: 1452
Software Engineering and Formal Methods
  • Language: en
  • Pages: 445

Software Engineering and Formal Methods

  • Type: Book
  • -
  • Published: 2014-07-08
  • -
  • Publisher: Springer

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods ...

U-M Computing News
  • Language: en
  • Pages: 582

U-M Computing News

None

Library of Congress Subject Headings: P-Z
  • Language: en
  • Pages: 1546

Library of Congress Subject Headings: P-Z

  • Type: Book
  • -
  • Published: 1989
  • -
  • Publisher: Unknown

None

History of Nordic Computing 3
  • Language: en
  • Pages: 480

History of Nordic Computing 3

This book constitutes the refereed post-proceedings of the Third IFIP WG 9.7 Conference on the History of Nordic Computing, HiNC3, held in Stockholm, Sweden, in October 2010. The 50 revised full papers presented together with a keynote address and a panel discussion were carefully reviewed and selected from numerous submissions. The papers focus on the application and use of ICT and ways in which technical progress affected the conditions of the development and use of ICT systems in the Nordic countries covering a period from around 1970 until the beginning of the 1990s. They are organized in the following topical sections: computerizing public sector industries; computerizing management and financial industries; computerizing art, media, and schools; users and systems development; the making of a Nordic computing industry; Nordic networking; Nordic software development; Nordic research in software and systems development; teaching at Nordic universities; and new historiographical approaches and methodological reflections.