Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lire la suite
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
Lire la suite
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
Lire la suite
Computer Aided Architectural Design Futures 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...
Lire la suite
Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification (vol. # 4144)
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...
Lire la suite
Computer Networking: A Top-Down Approach / James F. Kurose, Keith W. Ross
The text works its way from theapplication layer down toward the physical layer, motivating students by exposing them to ...
Lire la suite
Computer Networking: A Top-Down Approach / James Kurose, Keith Ross
The text works its way from the application layer down toward the physical layer, motivating students by exposing them to ...
Lire la suite
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suite
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suite
Computer Vision/Computer Graphics Collaboration Techniques
This volume contains foundational, methodological, and application issues.
Lire la suite
