Computer Science category: 2288 books
by Ana M. Moreno, Natalia Juristo
Language: English
Release Date: March 14, 2013
Language: English
Release Date: March 14, 2013
Basics of Software Engineering Experimentation is a practical guide to experimentation in a field which has long been underpinned by suppositions, assumptions, speculations and beliefs. It demonstrates to software engineers how Experimental Design and Analysis can be used to validate their beliefs...
Language, Music and Computing
Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers
Language: English
Release Date: December 30, 2018
This book constitutes the proceedings of the First International Workshop on Language, Music and Computing, LMAC 2017, held in St. Petersburg, Russia, in April 2017.
The 18 papers presented in this volume were carefully reviewed and selected from 52 submissions. They were organized in topical...
by Durgesh
Language: English
Release Date: September 18, 2017
Language: English
Release Date: September 18, 2017
C++ (C plus plus) is a general purpose programming language based on the C programming language. In addition to facilities provided by C, C++ provides classes, inline functions, operator overloading, constant type references, free store management operators, etc.
The new language was known as "C...
Theory and Applications of Satisfiability Testing – SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Language: English
Release Date: June 10, 2016
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.
The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and...
CompTIA Network+ Training Guide
Exam: N01-006
Language: English
Release Date: October 9, 2018
This workbook covers all the information you need to pass the CompTIA Network+ N01-006 exam. The workbook is designed to take a practical approach towards learning with the help of real-life examples and case studies.
What are CompTIA Certifications?
CompTIA is a performance-based certification...
AWS Certified DevOps Engineer Professional
Exam: DOP-C01
Language: English
Release Date: February 15, 2019
The AWS Certified DevOps Engineer – Professional exam validates advanced technical skills and experience in designing distributed applications and systems on the AWS platform.
Example concepts you should understand for this exam include:
Designing and deploying dynamically scalable, highly...
by Sergiy Suchok
Language: English
Release Date: September 10, 2016
Language: English
Release Date: September 10, 2016
Learn and explore the fundamentals of data analysis with power of Mathematica
About This Book
Use the power of Mathematica to analyze data in your applications
Discover the capabilities of data classification and pattern recognition offered by Mathematica
Use hundreds of algorithms for time series...
by Kai Qian, Li Cao, David Den Haring
Language: English
Release Date: July 28, 2009
Language: English
Release Date: July 28, 2009
Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development.
Key features include a resource...
by Naoko Tosa
Language: English
Release Date: March 1, 2016
Language: English
Release Date: March 1, 2016
This exciting new book explores the relationship between cultural traditions and computers, looking at how people from very different cultures and backgrounds communicate and how the use of information technologies can support and enhance these dialogues.
Historically we developed our understanding...
by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Language: English
Release Date: November 7, 2015
Language: English
Release Date: November 7, 2015
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver...
Genetic Algorithms
Genetic Algorithms Tutorial
Language: English
Release Date: January 8, 2019
This tutorial covers the topic of Genetic Algorithms. From this tutorial, you will be able to understand the basic concepts and terminology involved in Genetic Algorithms. We will also discuss the various crossover and mutation operators, survivor selection, and other components as well.
Also,...
Parallel Processing and Applied Mathematics
10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Language: English
Release Date: May 7, 2014
This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013. The 143 revised full papers presented in both volumes were carefully reviewed and...
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Language: English
Release Date: December 15, 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected...
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Language: English
Release Date: November 17, 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.
The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions....