Electronic Books

Total Books: 761 - 780 /4431

Computational Logic in Multi-Agent Systems

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

Computational Logic in Multi-Agent Systems

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

Computational Logic in Multi-Agent Systems (vol. # 3487)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...

Computational Logic in Multi-Agent Systems (vol. # 3900)

The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...

Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...

Computational Mechanics of the Classical Guitar

This book performs a state-of-the-art finite-difference calculation of the complete geometry of the classical guitar as a ...

Computational Probability

Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Computer Aided Architectural Design Futures 2005

MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...

Computer Aided Bridge Engineering (Detail Design of Pre-Stressed Concrete I-Girder / Box-Girder Bridges) / Sandipan Goswami

Real project design calculations for a deck-girder superstructure are presented along with the design of an abutment and ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Computer Graphics for Artists: An Introduction

Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in ...

Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...

Total Books: 761 - 780 /4431