Programming Languages and Systems (Record no. 6184)

MARC details
000 -LEADER
fixed length control field 03867naaaa2200865uu 4500
001 - CONTROL NUMBER
control field http://library.oapen.org/handle/20.500.12657/37721
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230323120735.0
003 - CONTROL NUMBER IDENTIFIER
control field oapen
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr|mn|---annan
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 20200513s2020 xx |||||o ||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-030-44914-8
040 ## - CATALOGING SOURCE
Original cataloging agency oapen
Transcribing agency oapen
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-030-44914-8
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title eng
042 ## - AUTHENTICATION CODE
Authentication code dc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMX
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UT
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMB
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYQL
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Müller, Peter
Relationship edt
245 10 - TITLE STATEMENT
Title Programming Languages and Systems
Remainder 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
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cham
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2020
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (772 p.)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Volume/sequential designation 12075
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
Source of term star
Standardized terminology for access restriction Unrestricted online access
520 ## - SUMMARY, ETC.
Summary, etc. 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.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights by/4.0/
Source of term cc
-- http://creativecommons.org/licenses/by/4.0/
546 ## - LANGUAGE NOTE
Language note English
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming & scripting languages: general
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer networking & communications
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algorithms & data structures
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Natural language & machine translation
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
Source of heading or term bicssc
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming Languages, Compilers, Interpreters
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer Systems Organization and Communication Networks
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Control Structures and Microprogramming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Information Systems and Communication Service
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural Language Processing (NLP)
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Theory of Computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term artificial intelligence
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer programming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer security
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term distributed computer systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term embedded systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal languages
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term linguistics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term mathematics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term model checking
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term object-oriented programming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term parallel processing systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term program compilers
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software architecture
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software quality
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term verification and validation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming & scripting languages: general
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Compilers & interpreters
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer networking & communications
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Algorithms & data structures
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural language & machine translation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer science
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical theory of computation
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Müller, Peter
Relationship oth
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/id/da272459-360d-46e6-a5d9-67f673eb5362/2020_Book_ProgrammingLanguagesAndSystems.pdf">https://library.oapen.org/bitstream/id/da272459-360d-46e6-a5d9-67f673eb5362/2020_Book_ProgrammingLanguagesAndSystems.pdf</a>
Access status 0
Public note OAPEN Library: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="http://library.oapen.org/handle/20.500.12657/37721">http://library.oapen.org/handle/20.500.12657/37721</a>
Access status 0
Public note OAPEN Library: description of the publication
909 ## - Составили записи
-- 4
-- Darya Shvetsova
-- 4
-- Darya Shvetsova

No items available.