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

عدد الكتب: 301 - 320 /478
978-3-540-69858-6
Natural Language and Information Systems : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information ...

اقرأ المزيد
978-3-540-32266-5
New Computational Paradigms

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...

اقرأ المزيد
978-3-540-35471-0
New Frontiers in Artificial Intelligence

The objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...

اقرأ المزيد
978-3-030-58790-1
New Frontiers in Artificial Intelligence

This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...

اقرأ المزيد
978-3-540-71009-7
New Frontiers in Artificial Intelligence

This book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese ...

اقرأ المزيد
978-3-540-78197-4
New Frontiers in Artificial Intelligence : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

The technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...

اقرأ المزيد
NoIMG
Nuel Belnap on Indeterminism and Free Action

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...

اقرأ المزيد
978-3-540-39538-6
Object-Oriented Metrics in Practice

The combination of theoretically sound results and practically tested procedures and solution paths makes this book an ideal ...

اقرأ المزيد
978-3-540-32116-3
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (vol. # 3760)

such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. ...

اقرأ المزيد
978-3-540-32120-0
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (vol. # 3761)

Constitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as ...

اقرأ المزيد
978-3-540-32132-3
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops

This book constitutes the joint refereed proceedings of nine international workshops held as part of OTM 2005 in Agia Napa, ...

اقرأ المزيد
978-3-540-48276-5
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (vol. # 4278)

This two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM ...

اقرأ المزيد
978-3-540-76848-7
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...

اقرأ المزيد
978-3-540-76843-2
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences ...

اقرأ المزيد
978-3-540-76888-3
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops

it is clear that there is an acute and increasing need to address and discuss in an integrated forum the implied software ...

اقرأ المزيد
978-3-540-88871-0
On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I

This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...

اقرأ المزيد
978-3-540-88873-4
On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II

This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...

اقرأ المزيد
978-3-7643-7361-0
Ontologies for Agents: Theory and Experiences

On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...

اقرأ المزيد
978-3-030-60447-9
Open Semantic Technologies for Intelligent System : 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent ...

اقرأ المزيد
978-3-540-32008-1
Operational Semantics for Timed Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

اقرأ المزيد
عدد الكتب: 301 - 320 /478