Computational Science – ICCS 2007
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Lee mas
Computational Science – ICCS 2007
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Lee masComputational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic ...
Lee mas
Computational and Instrumental Methods in EPR
This volume is devoted to both instrumentation and computation aspects of EPR, while addressing applications such as spin ...
Lee mas
Computer Aided Architectural Design Futures 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
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 ...
Lee mas
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; ...
Lee mas
Computer Algebra in Scientific Computing (vol. # 3718)
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Lee mas
Computer Analysis of Images and Patterns
This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP ...
Lee mas
Computer Music Modeling and Retrieval (vol. # 3310)
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Lee mas
Computer Music Modeling and Retrieval (vol. # 3902)
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Lee mas
Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...
Lee mas
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 ...
Lee mas
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Lee mas
Computer Security in the 21st Century
Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances ...
Lee mas
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Lee mas
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Lee mas
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Lee mas
