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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Weiterlesen
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Weiterlesen
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Weiterlesen
Computer Science -- Theory and Applications
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Weiterlesen
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Weiterlesen
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Weiterlesen
Computer Security – ESORICS 2006
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
Weiterlesen
Computer Supported Cooperative Work and Social Computing : 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Weiterlesen
Computer Vision and Graphics
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Weiterlesen
Computing Science, Communication and Security
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Weiterlesen
Computing Science, Communication and Security
This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Weiterlesen
Cooperation in Wireless Networks: Principles and Applications
Cooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques ...
Weiterlesen
Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Weiterlesen
Correct Hardware Design and Verification Methods
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
Weiterlesen
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
Weiterlesen
