Lecture Notes in Computer Science 2011

Machine Learning for Health Informatics: State-of-the-Art and Future Challenges (Lecture Notes in Computer Science) (Repost)

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.7 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 Dec. 2016 | ISBN: 3319501364 | 364 Pages | EPUB | 4.25 MB
Lectures on Runtime Verification: Introductory and Advanced Topics (Lecture Notes in Computer Science)

Lectures on Runtime Verification: Introductory and Advanced Topics (Lecture Notes in Computer Science) by Ezio Bartocci
English | 18 Mar. 2018 | ISBN: 3319756311 | 233 Pages | PDF | 5.72 MB

Your Virtual Butler: The Making-of (Lecture Notes in Computer Science) (Repost)  eBooks & eLearning

Posted by insetes at Dec. 21, 2017
Your Virtual Butler: The Making-of (Lecture Notes in Computer Science) (Repost)

Your Virtual Butler: The Making-of (Lecture Notes in Computer Science) By Robert Trappl
2013 | 204 Pages | ISBN: 3642373453 | PDF | 8 MB

Transactions on Computational Science XXIX (Lecture Notes in Computer Science)  eBooks & eLearning

Posted by hill0 at Nov. 13, 2017
Transactions on Computational Science XXIX (Lecture Notes in Computer Science)

Transactions on Computational Science XXIX (Lecture Notes in Computer Science) by Marina L. Gavrilova
English | 20 Mar. 2017 | ISBN: 3662545624 | 152 Pages | EPUB | 2.86 MB

This, the 29th issue of the Transactions on Computational Science journal, is comprised of seven full papers focusing on the area of secure communication. Topics covered include weak radio signals, efficient circuits, multiple antenna sensing techniques,
Journal on Data Semantics XV (Lecture Notes in Computer Science / Journal on Data Semantics (closed)) (repost)

Stefano Spaccapietra, "Journal on Data Semantics XV (Lecture Notes in Computer Science / Journal on Data Semantics (closed))"
Publisher: S**//**ger | ISBN 10: 3642226299 | 2011 | PDF | 208 pages | 3.5 MB
Transactions on Edutainment VI (Lecture Notes in Computer Science / Transactions on Edutainment)

Zhigeng Pan, "Transactions on Edutainment VI (Lecture Notes in Computer Science / Transactions on Edutainment)"
ISBN: 3642226388 | 2011 | PDF | 279 pages | 8.6 MB
Klaus P. Jantke, Discovery Science Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Klaus P. Jantke, Discovery Science Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
ISBN: 3540429565 | edition 2001 | PDF | 409 pages | 5 mb

Among the topics addressed in their relation to discovery science are inference, algorithmic learning, heuristic search, database management, data mining, inductive logic programming, information agents, information retrieval, information visualization, etc.
Architecting Dependable Systems VII (Lecture Notes in Computer Science / Programming and Software Engineering)

Antonio Casimiro, "Architecting Dependable Systems VII (Lecture Notes in Computer Science / Programming and Software Engineering)"
Publisher: S-r | ISBN: 364217244X | 2011 | PDF | 333 pages | 4.9 MB
Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science) by Elsa L. Gunter (Repost)

Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science) by Elsa L. Gunter (Repost)
Publisher: Springer; 1 edition (September 12, 1997) | ISBN: 3540633790 | Pages: 339 | PDF | 25.43 MB

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.