Electronic Books

Total Books: 261 - 280 /420
978-3-030-60450-9
Natural Language Processing and Chinese Computing

This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...

Continue reading
978-3-030-60457-8
Natural Language Processing and Chinese Computing

This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...

Continue reading
978-3-540-30211-7
Natural Language Processing – IJCNLP 2004

This book constitutes the thoroughly refereed post-proceedings of the First International Joint Conference on Natural Language ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Continue reading
978-981-13-6854-7
Particle Verbs in English : A Cognitive Linguistic Perspective / Han Luo

This book explains why cognitive linguistics offers a plausible theoretical framework for a systematic and unified analysis ...

Continue reading
978-3-030-65824-3
Paul Lorenzen -- Mathematician and Logician

This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...

Continue reading
978-3-540-70881-0
Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

Continue reading
Total Books: 261 - 280 /420