東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Programming languages and systems = ...

European Symposium on Programming (2020 :)

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 /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Programming languages and systems/ edited by Peter Muller.
其他題名:	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 /
其他題名:	ESOP 2020
其他作者:	Muller, Peter.
團體作者:	European Symposium on Programming
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xv, 772 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer programming - Congresses. -
電子資源:	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)