الكتب الالكترونية

عدد الكتب: 3821 - 3840 /6951
978-3-540-31894-1
Local Pattern Detection

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation ...

اقرأ المزيد
978-3-540-36728-4
Location Based TeleCartography and Services

This book provides for the first time a general overview of research activities related to location and map-based services. ...

اقرأ المزيد
978-3-540-75160-1
Location- and Context-Awareness

These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...

اقرأ المزيد
978-3-540-32042-5
Location- and Context-Awareness (vol. # 3479)

Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...

اقرأ المزيد
978-3-540-34151-2
Location- and Context-Awareness (vol. # 3987)

nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...

اقرأ المزيد
978-1-4020-3986-7
Lochnagar

The remote mountain loch of Lochnagar is one of the most studied freshwater bodies in Europe. This book brings together knowledge ...

اقرأ المزيد
978-3-540-31683-1
Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

اقرأ المزيد
978-3-540-32656-4
Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

اقرأ المزيد
978-3-540-74610-2
Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

اقرأ المزيد
978-3-540-31947-4
Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

اقرأ المزيد
978-3-540-36636-2
Logic Programming (vol. # 4079)

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...

اقرأ المزيد
978-3-540-89982-2
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

اقرأ المزيد
978-3-540-31827-9
Logic Programming and Nonmonotonic Reasoning

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...

اقرأ المزيد
978-3-540-72200-7
Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

اقرأ المزيد
978-1-84628-212-6
Logic Programming with Prolog

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...

اقرأ المزيد
978-3-540-69407-6
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

اقرأ المزيد
978-0-8176-4763-6
Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

اقرأ المزيد
978-3-540-48282-6
Logic for Programming, Aritficial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

اقرأ المزيد
978-3-540-75560-9
Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

اقرأ المزيد
978-3-540-32275-7
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

اقرأ المزيد
عدد الكتب: 3821 - 3840 /6951