default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCentral and East European Conference on Software Engineering Techniques (CEE-SET)
Software Engineering Techniques: Design for Quality (SET)
CEE-SET 2009: Krakow, Poland
- Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka:
Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers. Lecture Notes in Computer Science 7054, Springer 2012, ISBN 978-3-642-28037-5 [contents]
CEE-SET 2008: Brno, Czech Republic
- Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter
, Jaroslav Zendulka:
Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers. Lecture Notes in Computer Science 4980, Springer 2011, ISBN 978-3-642-22385-3 [contents]
CEE-SET 2007: Poznan, Poland
- Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter:
Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5082, Springer 2008, ISBN 978-3-540-85278-0 [contents]
SET 2006: Warsaw, Poland
- Krzysztof Sacha:
Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. IFIP 227, Springer 2007, ISBN 978-0-387-39387-2 [contents]
Programming Concepts and Methods 1990: Sea of Galilee, Israel
- Manfred Broy, Cliff B. Jones:
Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. North-Holland 1990, ISBN 0-444-88545-5 [contents]
Formal Description of Programming Concepts 1989: Rio de Janeiro, Brazil
- Erich J. Neuhold, Manfred Paul:
Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, Springer 1991, ISBN 3-540-53961-1 [contents]
Formal Description of Programming Concepts 1987: Ebberup, Denmark
- Martin Wirsing:
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986. North-Holland 1987, ISBN 0-444-70253-9 [contents]
Formal Description of Programming Concepts 1982: Garmisch-Partenkirchen, Germany
- Dines Bjørner:
Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. North-Holland 1983, ISBN 0-444-86619-1 [contents]
Formal Description of Programming Concepts 1977: St. Andrews, NB, Canada
- Erich J. Neuhold:
Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. North-Holland 1978, ISBN 0-444-85107-0 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
