Breugel, Franck van: Comparative metric semantics of programming languages

: nondeterminism and recursion / Franck van Breugel. - Boston : Birkhäuser, 1998. - XIX, 220 S. : graph. Darst.; 25 cm - (Progress in theoretical computer science)

ISBN 978-3-7643-3927-2 / 3-7643-3927-6 Pp. : sfr 118.00

Literaturverz. S. 201 - 216

Quelle: DNB

Naundorf, Holger: Ein denotationales Modell für parallele objektbasierte Systeme

/ von Holger Naundorf. - Stuttgart : Teubner, 1997. - X, 186 S. : graph. Darst.; 23 cm - (MuPAD-Reports)

ISBN 978-3-519-02197-1 / 3-519-02197-8 kart. : DM 52.00, sfr 47.00, S 380.00

Quelle: DNB

McCusker, Guy: Games and full abstraction for a functional metalanguage with recursive types

/ Guy McCusker. - London : Springer, 1998. - XIII, 189 S. : graph. Darst.; 24 cm - (CPHC/BCS distinguished dissertations)

ISBN 978-3-540-76255-3 / 3-540-76255-8 Pp. : DM 139.00

Literaturverz. S. 175 - 184

Quelle: DNB

Böhm, Verónica: La imperfectividad en la prensa española y su relación con las categorías semánticas de modalidad y evidencialidad

/ Verónica Böhm. - Frankfurt am Main : Peter Lang Edition, 2016. - 621 Seiten : Illustrationen; 22 cm, 890 g - (Potsdam linguistic investigations; Vol. 19)

ISBN 978-3-631-66776-7 / 3-631-66776-0 Festeinband : EUR 99.95 (DE), EUR 102.70 (AT), sfr 116.00 (freier Preis)

Quelle: DNB

Principles of declarative programming

: 10th international symposium ; proceedings / PLILP '98, held jointly with the 6th International Conference ALP '98, Pisa, Italy, September 1998. C. Palamidessi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1490)

ISBN 978-3-540-49766-0

Lizenzpflichtig

Quelle: DNB

Herbers, Birgit: Verbale Präfigierung im Mittelhochdeutschen

: eine semantisch-funktionale Korpusanalyse / Birgit Herbers. - Tübingen : Niemeyer, 2002. - IX, 372 S.; 22 cm - (Studien zur mittelhochdeutschen Grammatik; 1)

ISBN 978-3-484-77001-0 / 3-484-77001-5 kart. : ca. EUR 80.00

Quelle: DNB