Lecture Notes in Computer Science 2011

Primality Testing in Polynomial Time: From Randomized Algorithms to "PRIMES Is in P" (Lecture Notes in Computer Science)

Primality Testing in Polynomial Time: From Randomized Algorithms to "PRIMES Is in P" (Lecture Notes in Computer Science) by Martin Dietzfelbinger
English | 2008 | ISBN: 3540403442, 9783540403449 | 150 Pages | PDF | 984.62 KB
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.
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 Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)

D. Bjorner and C.B. Jones, "The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)
Publisher: Springer | ISBN: 3540087664 | edition 1978 | PDF | 398 pages | 14,97 mb

The purpose of this volume is to provide a summary of a body of work which has reached a relativeiy stable state. The work is, however, far from complete (in the sense - even - that the authors whose work is presented here feel that they have satisfactory solutions to the problems they set out to solve.) Notwithstanding their own recognition of difficulties and shortcomings in the current presentation, the authors hope that what has been achieved may be of use to others. Furthermore, a summary of the results of any significant effort may be hoped to stimulate the work of researchworkers.
Roberto Cipolla, "Active Visual Inference of Surface Shape (Lecture Notes in Computer Science)" (Repost)

Roberto Cipolla, "Active Visual Inference of Surface Shape (Lecture Notes in Computer Science)" (Repost)
Publisher: Springer | ISBN: 3540606424 | edition 1995 | PDF | 203 pages | 17,48 mb

This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance for robot manipulation and navigation. The author develops computational theories and techniques relating visual information arising from viewer movements to the differential geometry of visible surfaces. The theories developed have been implemented and tested using a real-time tracking system based on deformable contours. Applications of the techniques to geometric modelling, obstacle avoidance, navigation, and object manipulation are presented.
Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11)

Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11)
by Stefano Spaccapietra, Jeff Z. Pan, Philippe Thiran, Terry Halpin, Steffen Staab, Vojtech Svatek, Pav

Publisher: Springer 2009-01 | 235 Pages | ISBN: 3540921478; 9783540921479 | PDF | 10 MB

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

Data Analytics (Lecture Notes in Computer Science)  eBooks & eLearning

Posted by hill0 at July 2, 2017
Data Analytics  (Lecture Notes in Computer Science)

Data Analytics: 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings (Lecture Notes in Computer Science) by Andrea Calì
English | 14 Jun. 2017 | ISBN: 3319607944 | 188 Pages | PDF | 9.82 MB

This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National Conference on Databases) - held in London, UK, in July 2017.