Tian, Cong (ed.); Nagoya, Fumiko (ed.); Liu, Shaoying (ed.); Duan, Zhenhua (ed.) Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. (English) Zbl 1384.68007 Lecture Notes in Computer Science 10795. Cham: Springer (ISBN 978-3-319-90103-9/pbk; 978-3-319-90104-6/ebook). x, 219 p. (2018). MSC: 68-06 68N15 68N19 00B25 PDFBibTeX XMLCite \textit{C. Tian} (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1384.68007) Full Text: DOI
Liu, Shaoying (ed.); Duan, Zhenhua (ed.); Tian, Cong (ed.); Nagoya, Fumiko (ed.) Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. (English) Zbl 1460.68011 Lecture Notes in Computer Science 10189. Cham: Springer (ISBN 978-3-319-57707-4/pbk; 978-3-319-57708-1/ebook). x, 239 p. (2017). MSC: 68-06 68N15 68N19 00B25 PDFBibTeX XMLCite \textit{S. Liu} (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer (2017; Zbl 1460.68011) Full Text: DOI
Liu, Shaoying (ed.); Duan, Zhenhua (ed.) Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. (English) Zbl 1460.68010 Lecture Notes in Computer Science 9559. Cham: Springer (ISBN 978-3-319-31219-4/pbk; 978-3-319-31220-0/ebook). viii, 219 p. (2016). MSC: 68-06 68N15 68N19 00B25 PDFBibTeX XMLCite \textit{S. Liu} (ed.) and \textit{Z. Duan} (ed.), Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer (2016; Zbl 1460.68010) Full Text: DOI
Pugh, Bill (ed.); Tseng, Chau-Wen (ed.) Languages and compilers for parallel computing. 15th workshop, LCPC 2002. College Park, MD, USA July 25–27, 2002. Revised papers. (English) Zbl 1084.68500 Lecture Notes in Computer Science 2481. Berlin: Springer (ISBN 3-540-30781-8/pbk). xi, 377 p. (2005). MSC: 68-06 68N15 68N19 68N20 PDFBibTeX XMLCite \textit{B. Pugh} (ed.) and \textit{C.-W. Tseng} (ed.), Languages and compilers for parallel computing. 15th workshop, LCPC 2002. College Park, MD, USA July 25--27, 2002. Revised papers. Berlin: Springer (2005; Zbl 1084.68500) Full Text: DOI
Huntbach, Matthew M.; Ringwood, Graem A. Agent-oriented programming. From Prolog to guarded definite clauses. (English) Zbl 1044.68002 Lecture Notes in Computer Science 1630. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-66683-4/pbk). xiv, 386 p. (1999). MSC: 68-02 68T01 68T20 68T40 68N17 68N15 68N19 68M14 PDFBibTeX XMLCite \textit{M. M. Huntbach} and \textit{G. A. Ringwood}, Agent-oriented programming. From Prolog to guarded definite clauses. Berlin: Springer (1999; Zbl 1044.68002)
Akşit, Mehmet (ed.); Matsuoka, Satoshi (ed.) ECOOP ’97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9–13, 1997. Proceedings. (English) Zbl 0872.00048 Lecture Notes in Computer Science 1241. Berlin: Springer (ISBN 3-540-63089-9). xi, 531 p. (1997). MSC: 00B25 68-06 68N15 68Q60 68Q10 PDFBibTeX XMLCite \textit{M. Akşit} (ed.) and \textit{S. Matsuoka} (ed.), ECOOP '97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9--13, 1997. Proceedings. Berlin: Springer (1997; Zbl 0872.00048)
Akşit, Mehmet (ed.); Matsuoka, Satoshi (ed.) ECOOP ’97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9–13, 1997. Proceedings. (English) Zbl 0889.68037 Lecture Notes in Computer Science. 1241. Berlin: Springer. xi, 531 p. (1997). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68N99 00B25 68-06 68N15 68Q60 68Q10 PDFBibTeX XMLCite \textit{M. Akşit} (ed.) and \textit{S. Matsuoka} (ed.), ECOOP '97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9--13, 1997. Proceedings. Berlin: Springer (1997; Zbl 0889.68037)
Perram, John W. (ed.); Müller, Jean-Pierre (ed.) Distributed software agents and applications. 6th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW ’94, Odense, Denmark, August 3-5, 1994. Proceedings. (English) Zbl 0851.68105 Lecture Notes in Computer Science 1069. Lecture Notes in Artificial Intelligence. Berlin: Springer. viii, 219 p. (1996). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68T35 68Q10 68-06 00B25 PDFBibTeX XMLCite \textit{J. W. Perram} (ed.) and \textit{J.-P. Müller} (ed.), Distributed software agents and applications. 6th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW '94, Odense, Denmark, August 3-5, 1994. Proceedings. Berlin: Springer (1996; Zbl 0851.68105) Full Text: DOI
Olthoff, Walter (ed.) ECOOP ’95 – object-oriented programming. 9th European conference, Århus, Denmark, August 7–11, 1995. Proceedings. (English) Zbl 0840.68025 Lecture Notes in Computer Science 952. Berlin: Springer (ISBN 978-3-540-60160-9/pbk). xi, 471 p. (1995). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68N99 00B25 68-06 68N15 68N19 68Q10 68Q60 PDFBibTeX XMLCite \textit{W. Olthoff} (ed.), ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings. Berlin: Springer (1995; Zbl 0840.68025) Full Text: DOI
Ellis, Gerard (ed.); Levinson, Robert (ed.); Rich, William (ed.); Sowa, John F. (ed.) Conceptual structures: applications, implementation and theory. 3rd International Conference on Conceptual Structures, ICCS ’95, Santa Cruz, CA, USA, August 14-18, 1995. Proceedings. (English) Zbl 0840.68110 Lecture Notes in Computer Science 954. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. ix, 352 p. (1995). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68T30 68-06 00B25 68T05 68T15 68Q60 PDFBibTeX XMLCite \textit{G. Ellis} (ed.) et al., Conceptual structures: applications, implementation and theory. 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995. Proceedings. Berlin: Springer-Verlag (1995; Zbl 0840.68110)
de Bakker, J. W. (ed.); de Roever, W. P. (ed.); Rozenberg, G. (ed.) Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings. (English) Zbl 0875.00080 Lecture Notes in Computer Science. 489. Berlin: Springer-Verlag. VIII, 442 p. (1991). MSC: 00B25 68-06 68N15 PDFBibTeX XMLCite \textit{J. W. de Bakker} (ed.) et al., Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings. Berlin: Springer-Verlag (1991; Zbl 0875.00080) Full Text: DOI
Miola, Alfonso (ed.) Design and implementation of symbolic computation systems. International symposium DISCO ’90, Capri, Italy, April 10-12, 1990. Proceedings. (English) Zbl 0757.68013 Lecture Notes in Computer Science. 429. Berlin etc.: Springer-Verlag. XII, 284 p. (1990). Reviewer: Francis John Wright (London) MSC: 68-06 68N15 68W30 68T15 68U05 68N17 68Q42 68T35 PDFBibTeX XMLCite \textit{A. Miola} (ed.), Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0757.68013)
Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek LOGLAN ’88. Report on the programming language. (English) Zbl 0703.68029 Lecture Notes in Computer Science, 414. Berlin etc.: Springer-Verlag. X, 133 p. DM 28.00 (1990). Reviewer: Josef Šajda (Bratislava) MSC: 68N15 68N01 68-01 PDFBibTeX XMLCite \textit{A. Kreczmar} et al., LOGLAN '88. Report on the programming language. Berlin etc.: Springer-Verlag (1990; Zbl 0703.68029) Full Text: DOI
de Bakker, J. W. (ed.); Nijman, A. J. (ed.); Treleaven, P. C. (ed.) PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures. (English) Zbl 0624.68001 Lecture Notes in Computer Science, 258. Berlin etc.: Springer-Verlag. XII, 480 p.; DM 60.50 (1987). Reviewer: G.E.Tseytlin MSC: 68-06 00B25 PDFBibTeX XML