東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Programming languages and systems = ...

European Symposium on Programming (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Programming languages and systems/ edited by Peter Muller.
Reminder of title:	29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
remainder title:	ESOP 2020
other author:	Muller, Peter.
corporate name:	European Symposium on Programming
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xv, 772 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer programming - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-44914-8
ISBN:	9783030449148

Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
Programming languages and systems29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /[electronic resource] :ESOP 2020edited by Peter Muller. - Cham :Springer International Publishing :2020. - xv, 772 p. :ill., digital ;24 cm. - Lecture notes in computer science,120750302-9743 ;. - Lecture notes in computer science ;12075..

Open access.

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

ISBN: 9783030449148

Standard No.: 10.1007/978-3-030-44914-8doiSubjects--Topical Terms:

840468
Computer programming
--Congresses.

LC Class. No.: QA76.6 / .E87 2020

Dewey Class. No.: 005.1

Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
LDR:01764nmm a2200385 a 4500 001 2217637
003 DE-He213
005 20200417113245.0
006 m d
007 cr nn 008maaau
008 201120s2020 sz s 0 eng d
020 $a 9783030449148 $q (electronic bk.)
020 $a 9783030449131 $q (paper)
024 7 $a 10.1007/978-3-030-44914-8 $2 doi
035 $a 978-3-030-44914-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6 $b .E87 2020
072 7 $a UMX $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMX $2 thema
072 7 $a UMC $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.6 $b .E89 2020
111 2 $a European Symposium on Programming $n (29th : $d 2020 : $c Dublin, Ireland) $3 3451013
245 1 0 $a Programming languages and systems $h [electronic resource] : $b 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / $c edited by Peter Muller.
246 3 $a ESOP 2020
246 3 $a ETAPS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xv, 772 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12075
490 1 $a Theoretical computer science and general issues
506 $a Open access.
520 $a This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
650 0 $a Computer programming $v Congresses. $3 840468
650 0 $a Programming languages (Electronic computers) $v Congresses. $3 622523
650 1 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
650 2 4 $a Control Structures and Microprogramming. $3 895886
650 2 4 $a Information Systems and Communication Service. $3 891044
650 2 4 $a Natural Language Processing (NLP) $3 3381674
650 2 4 $a Theory of Computation. $3 892514
700 1 $a Muller, Peter. $3 1073254
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a ETAPS (Conference) $n (23rd : $d 2020 : $c Dublin, Ireland) $3 3451015
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 12075. $3 3451014
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-44914-8
950 $a Computer Science (Springer-11645)