Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
29 results · clear filters Sort: newest oldest name
- Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected PapersComputer and information sciencese10pnkn
- International Workshop on Algebraic Development Techniques (WADT)Computer and information sciencess1095cf
- Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected PapersComputer and information sciencese11yt6t
- Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected PapersComputer and information sciencese11yt5w
- Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers (ADT)Computer and information sciencese11yt4y
- Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (ADT)Computer and information sciencese11yt30
- International Workshop on Algebraic Development Techniques (WADT)Computer and information sciencese1009t0
- Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (ADT)Computer and information sciencese11yt22
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009s2
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009r4
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009q6
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009p8
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009na
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009mc
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009ke
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009jg
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009hj
- International Workshop on Algebraic Development Techniques (ADT, WADT)Computer and information sciencese1009gm
- Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers (ADT, COMPASS)Computer and information sciencese10x3rf
- Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers (ADT, COMPASS)Computer and information sciencese10x3qh
- Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers (ADT, COMPASS)Computer and information sciencese10x3pk
- Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (ADT, COMPASS)Computer and information sciencese10x3nn
- Workshop on the Specification of Abstract Data Types (ADT)Computer and information sciencese1009fq
- Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, GermanyComputer and information sciencese10pnjq
- Workshop on the Specification of Abstract Data Types (ADT)Computer and information sciencese1009es