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

عدد الكتب: 921 - 940 /1569
978-3-540-69937-8
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

اقرأ المزيد
978-3-540-75144-1
Logic, Language, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

اقرأ المزيد
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

اقرأ المزيد
978-3-540-78769-3
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

اقرأ المزيد
978-3-540-35468-0
Logical Approaches to Computational Barriers

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

اقرأ المزيد
978-3-540-32446-1
Logical Foundations for Rule-Based Systems

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

اقرأ المزيد
978-3-540-72734-7
Logical Foundations of Computer Science

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

اقرأ المزيد
978-3-540-68856-3
Logical and Relational Learning

This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming ...

اقرأ المزيد
978-3-540-39627-7
Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

اقرأ المزيد
978-3-540-87803-2
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

اقرأ المزيد
978-3-540-74107-7
Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

اقرأ المزيد
978-1-4020-8410-2
Low Power Uwb Cmos Radar Sensors

Low Power UWB CMOS Radar Sensors deals with the problem of designing low cost CMOS radar sensors. The radar sensor uses UWB ...

اقرأ المزيد
978-3-540-88636-5
MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

اقرأ المزيد
978-1-4302-0255-4
Mac OS X Leopard : Beyond the Manual

Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...

اقرأ المزيد
978-3-030-39630-5
Machine Ethics

This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...

اقرأ المزيد
9781536195125
Machine Learning Algorithms Using Python Programming (Paperback) Gopal Sakarkar

Presents the key concepts of Machine Learning which includes Python concepts and Interpreter, Foundation of Machine Learning, ...

اقرأ المزيد
978-3-540-33428-6
Machine Learning Challenges

This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...

اقرأ المزيد
978-3-540-74958-5
Machine Learning: ECML 2007

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...

اقرأ المزيد
978-3-540-79588-9
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

اقرأ المزيد
978-0-387-78448-9
Making Grids Work : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece

Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems ...

اقرأ المزيد
عدد الكتب: 921 - 940 /1569