Artificial Intelligence | | International Workshop/Conference on Analytic Tableaux and Related Methods, Springer |
Human Computer Interaction | | International Workshop on Horizontal Interactive Human-Computer Systems, IEEE |
Algorithms | | Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer |
Software Engineering | | International Conference/Symposium on Theoretical Aspects of Computer Software, Springer |
Graph Theory | | International Workshop on Theory and Application of Graph Transformations, Springer |
Education | | Testing: Academic and Industrial Conference - Practice and Research Techniques, IEEE |
Neural Networks | | Turkish Symposium on Artificial Intelligence and Neural Networks, Springer |
Natural Language Processing | | International Conference on Advances in Natural Language Processing, Springer |
Applied Computing | | Theory and Applications of Models of Computation, Springer |
ECommerce | | |
User Interface | | Task Models and Diagrams for User Interface Design, |
Software Engineering | | |
Hardware | | International Conference on Tests and Proofs, Springer |
Algorithms | | |
Applied Computing | | Richard Tapia Celebration Of Diversity In Computing, ACM |
Software Engineering | | International Joint Conference on Theory and Practice of Software Development, Springer |
Automated Reasoning | | Theoretical Aspects Of Rationality And Knowledge, Springer |
Software Engineering | | Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, IEEE |
Distributed And Parallel Computing | | Parallele Datenverarbeitung mit dem Transputer, |
Natural Language Processing | | Tbilisi Symposium on Logic, Springer |
Information Technology | | |
Cryptology | | Theory of Cryptography Conference, Springer |
Artificial Intelligence | | |
Information Technology | | TED Conference on e-Government, Springer |
Computer Science | | |
Theoretical Computer Science | | International Conference on Theoretical Computer Science, |
Computational Biology | | |
Security Privacy | | |
Database | | |
Hardware | | Trends in Enterprise Application Architecture, Springer |
Education | | |
Hardware | | Tangible and embedded interaction, ACM |
Healthcare | | |
Education | | |
Computer Networks | | Managing Traffic Performance in Converged Networks, Springer |
Internet Technology | | International Workshop on Technologies for E-Services, Springer |
Latex | | European Conference on TeX for Scientific Documentation, Springer |
Computer Vision | | |
Formal Methods | | Technical Formal Methods, Springer |
Applied Computing | | Trustworthy Global Computing, Springer |
System Software | | International Workshop on Types in Compilation, Springer |
Computer Graphics | | Technologies for Interactive Digital Storytelling and Entertainment, Springer |
Automated Reasoning | | International Syposium on Temporal Representation and Reasoning, IEEE |
Theoretical Computer Science | | International Conference on Typed Lambda Calculi and Applications, Springer |
Formal Methods | | Types In Languages Design And Implementation, ACM |
Knowledge Management | | |
Management | | COST Tra c Monitoring and Analysis Workshop, Springer |
Computer Science | | |
Software Engineering | | Topic Map Research and Applications, Springer |
Education | | |
Programming Languages | | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
Artificial Intelligence | | |
Hardware | | International Conference on Theorem Provers in Circuit Design, |
Computer Graphics | | Theory and Practice of Computer Graphics, IEEE |
Hardware | | Performance Evaluation and Benchmarking, Springer |
Automated Reasoning | | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
Distributed And Parallel Computing | | International Workshop on Theory and Practice of Parallel Programming, |
Information Technology | | Trends in Distributed Systems for Electronic Commerce, |
Internet Technology | | |
Computer Networks | | International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, IEEE |
Modeling And Simulation | | |
Artificial Intelligence | | |
Security Privacy | | Trust in Agent Societies, Springer |
Security Privacy | | Trust and Privacy in Digital Business, Springer |
Signal Processing | | International Conference/Workshop on Text, Springer |
Data Mining | | International Workshop on Temporal, |
Formal Methods | | International Workshop on Types for Proofs and Programs, Springer |