[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 5486 ||Corradini, Andrea; Montanari, Ugo · 2009

Lecture Notes in Computer Science 3423 Recent Trends in Algebraic Development Techniques 17th InternWADT 2004 · Springer-Verlag · 2005

Lecture Notes in Computer Science 4409 Recent Trends in Algebraic Development Techniques 18th InternWADT 2006 · Springer-Verlag · 2007

[Lecture Notes in Computer Science] Recent Trends in Applied Artificial Intelligence Volume 7906 ||Ali, Moonis; Bosse, Tibor; Hindriks, Koen V.; Hoogendoorn, Mark; Jonker, Catholijn M.; Treur, Jan · 2013

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Behavioural theoriesAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Institutional framesAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends and Developments in Social Software Volume 6045 ||Breslin, John G.; Burg, Thomas N.; Kim, Hong-Gee; Raftery, Tom; Schmidt, Jan-Hinrik · 2011

[Lecture Notes in Computer Science] Trends, Techniques, and Problems in Theoretical Computer Science Volume 281 || Recent results on the theory of homogeneous structuresKelemenová, Alica; Kelemen, Jozef · 1987

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Behavioural theoriesAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Institutional framesAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Types, subtypes, and ASL+Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Typing abstract data typesAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Algebraic specification languages: An overviewAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Defining equations in terminal coalgebrasAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Topological methods for algebraic specificationAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || A lazy approach to partial algebrasAstesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej · 1995