this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
WeiterlesenThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
WeiterlesenThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
WeiterlesenThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
WeiterlesenThis volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
WeiterlesenThis volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenComputer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...
Weiterlesen