Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3,309 results · clear filters Sort: newest oldest name
- Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected PapersComputer and information sciencese10yh0g
- Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME)Computer and information sciencese101dek
- Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings (ADAEUROPE)Computer and information sciencese10pgse
- 9th International Workshop on Computer Science Logic (CSL 1995, CSL)Computer and information sciencese101z9b
- International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA)Computer and information sciencese103vqe
- International Symposium on Graph Drawing (GD)Computer and information sciencese103ky8
- Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings (CPE, MMB)Computer and information sciencese11jqd7
- 14th Symposium on Reliable Distributed Systems, SRDS 1995, Bad Neuenahr, Germany, September 13-15, 1995, Proceedings (SRDS)Computer and information sciencese11w32x
- German Conference on AI (KI 1995, KI)Computer and information sciencese105rqd
- ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications (CDB)Computer and information sciencese101c1e
- Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995 (VL)Computer and information sciencese11y9b1
- 10th Fundamentals of Computation Theory (FCT 1995, FCT)Computer and information sciencese1038jb
- Mathematics of Program Construction (MPC 1995, MPC)Computer and information sciencese106fd9
- 2nd International Conference on Developments in Language Theory (DLT 1995, DLT)Computer and information sciencesLanguages and literaturee10zhrx
- International Workshop on Graph-Theoretic Concepts in Computer Science (WG)Computer and information sciencese108wgh
- Visualization and Mathematics, Experiments, Simulations and Environments, VisMath 1995, Berlin, Germany, May 30 - June 2, 1995. (VISMATH, VisMath 1995)Computer and information sciencese10dx31
- Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995 (STRICT)Computer and information sciencese11we4e
- International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)Computer and information sciencese10885w
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dd9
- Hypertext - Information Retrieval - Multimedia: Synergieeffekte elektronischer Informationssysteme, HIM'95, Konstanz, 5-7 April 1995, Proceedings (HIM)Computer and information sciencese115aqt
- Information System Concepts: Towards a Consolidation of Views, Proceedings of the IFIP International Working Conference on Information System Concepts (ISCO 1995), Marburg, Germany, 28-30 March 1995 (ISCO)Computer and information sciencese11dr0b
- Annual Symposium on Theoretical Aspects of Computer Science (STACS)Computer and information sciencese1085pw
- Autonome Mobile Systeme 1995, 11. Fachgespräch, Karlsruhe, 30. November - 1. Dezember 1995 (AMS)Computer and information sciencese10qngs
- Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), GI-Fachtagung, Dresden, 22.-24. März 1995, Proceedings (BTW)Computer and information sciencese10tcgw
- Mustererkennung 1995, 17. DAGM-Symposium, Bielefeld, 13.-15. September 1995, Proceedings (DAGM)Computer and information sciencese10yfyn
As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=DE&page=111