Electronic Books

Total Books: 2901 - 2920 /4684
978-3-540-68690-3
Literature-based Discovery

When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based ...

Continue reading
978-3-211-49277-2
Liver and Biliary Tract Surgery

The book also covers cutting-edge research and technological advances that will shape the surgery of tomorrow. There is little ...

Continue reading
NoIMG
Load balancing using SDN / Mohamad Skouti ; Jasim Al-Salama ; Shaden Al-Shabta ; Rama Al-Hussein

Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance ...

Continue reading
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 ...

Continue reading
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. ...

Continue reading
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 ...

Continue reading
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 ...

Continue reading
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 ...

Continue reading
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. ...

Continue reading
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 ...

Continue reading
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 ...

Continue reading
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), ...

Continue reading
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 ...

Continue reading
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 ...

Continue reading
978-3-540-31827-9
Logic Programming and Nonmonotonic Reasoning

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

Continue reading
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 ...

Continue reading
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 ...

Continue reading
978-3-540-69285-0
Logic Synthesis for Compositional Microprogram Control Units

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

Continue reading
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, ...

Continue reading
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, ...

Continue reading
Total Books: 2901 - 2920 /4684