Foundations of Software Science and Computation Structures (Record no. 6154)

MARC details
000 -LEADER
fixed length control field 03931naaaa2200817uu 4500
001 - CONTROL NUMBER
control field https://library.oapen.org/handle/20.500.12657/48218
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230323120730.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 20210420s2021 xx |||||o ||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-030-71995-1
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030719951
040 ## - CATALOGING SOURCE
Original cataloging agency oapen
Transcribing agency oapen
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-030-71995-1
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 UY
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYQ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UN
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Kiefer, Stefan
Relationship edt
245 10 - TITLE STATEMENT
Title Foundations of Software Science and Computation Structures
Remainder of title 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2021
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (574 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 12650
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 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights https://creativecommons.org/licenses/by/4.0/
Source of term cc
-- https://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 Computer science
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial intelligence
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Databases
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming / software development
Source of heading or term bicssc
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical Logic and Formal Languages
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Theory of Computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural Language Processing (NLP)
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Database Management
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming Techniques
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Formal Languages and Automata Theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term automata theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term databases
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal languages
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computational linguistics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term open access
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term categorical models and logics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term language theory, automata, and games
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term modal, spatial, and temporal logics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term type theory and proof theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term concurrency theory and process calculi
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term rewriting theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term logical foundations of data bases
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term models of software security
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term logical aspects of computation complexity
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term logics of programming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical theory of computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer science
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural language & machine translation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Database programming
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer programming / software engineering
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Tasson, Christine
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kiefer, Stefan
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Tasson, Christine
Relationship oth
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/id/48d2e368-57a1-4b44-8884-6ed2ef43beb5/9783030719951.pdf">https://library.oapen.org/bitstream/id/48d2e368-57a1-4b44-8884-6ed2ef43beb5/9783030719951.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="https://library.oapen.org/handle/20.500.12657/48218">https://library.oapen.org/handle/20.500.12657/48218</a>
Access status 0
Public note OAPEN Library: description of the publication
909 ## - Составили записи
-- 4
-- Darya Shvetsova
-- 4
-- Darya Shvetsova

No items available.