Einzeltreffer — DigiBib

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Titel:	Programming Languages and Systems
Autor/in / Beteiligte Person:	Müller, Peter
Link:	View Record from OAPEN (Volltext)
Quelle:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; (2020)
Veröffentlichung:	Cham: Springer Nature; Springer, 2020
Medientyp:	E-Book
Umfang:	772
ISBN:	978-3-030-44914-8 (print) ; 3-030-44914-9 (print)
DOI:	10.1007/978-3-030-44914-8
Schlagwort:	Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Control Structures and Microprogramming Information Systems and Communication Service Natural Language Processing (NLP) Theory of Computation artificial intelligence computer networks computer programming computer security distributed computer systems embedded systems formal languages formal logic linguistics mathematics model checking object-oriented programming parallel processing systems program compilers semantics software architecture software design software engineering software quality verification and validation Programming & scripting languages: general Compilers & interpreters Computer networking & communications Algorithms & data structures Natural language & machine translation Computer science Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation bic Book Industry Communication::U Computing & information technology::UY Computer science
Sonstiges:	Nachgewiesen in: OAPEN Library Sprachen: English Collection: Books ; Imported or submitted locally Original Material: 6c6992af-b843-4f46-859c-f6e9998e40d5 ; 12075 Document Type: book File Description: application/pdf Language: English Rights: URL: http://creativecommons.org/licenses/by/4.0/ Notes: ONIX_20200513_9783030449148_21 ; https://www.springer.com/9783030449148

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

Programming Languages and Systems