×

Found 14 Documents (Results 1–14)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  68T30 68-06 00B25 68T05 68T15 68Q60
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Year of Publication

Main Field

all top 3

Software