Experimental Method in Computer Science

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics [Repost]

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing) by Fabio Mogavero
English | 12 Aug. 2013 | ISBN: 9491216945 | 168 Pages | PDF | 2.19 MB

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)(Repost)

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science) by Olaf Owe
English | 2004 | ISBN: 354021366X | 394 Pages | PDF | 4.29 MB

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by St├ęphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)

Recent Advances in Computer Science and Information Engineering: Volume 2 (repost)  eBooks & eLearning

Posted by interes at Jan. 10, 2017
Recent Advances in Computer Science and Information Engineering: Volume 2 (repost)

Recent Advances in Computer Science and Information Engineering: Volume 2 (Lecture Notes in Electrical Engineering) by Zhihong Qian, Lei Cao, Weilian Su and Tingkai Wang
English | ISBN: 3642257887 | 2012 | PDF | 876 pages | 18 MB
Algorithm Engineering: Selected Results and Surveys (Lecture Notes in Computer Science)

Algorithm Engineering: Selected Results and Surveys (Lecture Notes in Computer Science) by Lasse Kliemann
English | 11 Nov. 2016 | ISBN: 3319494864 | 432 Pages | EPUB | 4.46 MB

Algorithm Engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to obtain better algorithms with high practical impact.
Machine Learning for Health Informatics: State-of-the-Art and Future Challenges (Lecture Notes in Computer Science)

Machine Learning for Health Informatics: State-of-the-Art and Future Challenges (Lecture Notes in Computer Science) by Andreas Holzinger
English | 10 Dec. 2016 | ISBN: 3319504770 | 504 Pages | PDF | 27 MB

Machine learning (ML) is the fastest growing field in computer science, and Health Informatics (HI) is amongst the greatest application challenges, providing future benefits in improved medical diagnoses, disease analyses, and pharmaceutical development. However, successful ML for HI needs a concerted effort, fostering integrative research between experts ranging from diverse disciplines from data science to visualization.
2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings (Lecture Notes in Computer Science)

Advances in Computer Entertainment: 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings (Lecture Notes in Computer Science) by Dennis Reidsma
English | Oct. 30, 2013 | ISBN: 3319031600 | 692 Pages | PDF | 64 MB

This book constitutes the refereed conference proceedings of the 10th International Conference on Advances in Computer Entertainment, ACE 2013, held in Boekelo, The Netherlands, in November 2013. The 19 full paper and 16 short papers presented together 42 extended abstracts were carefully reviewed and selected from a total of 133 submissions in all categories.

Supply Chain Management and its Applications in Computer Science  eBooks & eLearning

Posted by interes at Dec. 14, 2016
Supply Chain Management and its Applications in Computer Science

Supply Chain Management and its Applications in Computer Science (Focus) by Saoussen Krichen and Sihem Ben Jouida
English | 2016 | ISBN: 1848218710 | 108 pages | PDF | 3,2 MB
Data Mining and Constraint Programming: Foundations of a Cross-Disciplinary Approach (Lecture Notes in Computer Science)

Data Mining and Constraint Programming: Foundations of a Cross-Disciplinary Approach (Lecture Notes in Computer Science) by Christian Bessiere
English | 6 Jan. 2017 | ISBN: 3319501364 | 349 Pages | PDF | 12.4 MB

A successful integration of constraint programming and data mining has the potential to lead to a new ICT paradigm with far reaching implications.
From Algorithms to z-scores: Probabilistic and Statistical Modeling in Computer Science

From Algorithms to z-scores: Probabilistic and Statistical Modeling in Computer Science
by Norm Matloff
English | 2009 | ISBN: 1616100362 | 274 pages | PDF | 8.48 MB