MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02660naaaa2200493uu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
https://directory.doabooks.org/handle/20.500.12854/26387 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220714193312.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-3-030-17127-8 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-17127-8 |
| Terms of availability |
doi |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
English |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMB |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMX |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bojańczyk, Mikołaj |
| Relator code |
edt |
| 9 (RLIN) |
1282424 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher, distributor, etc |
Springer Nature |
| Date of publication, distribution, etc |
2019 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 electronic resource (542 p.) |
| 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 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
|---|
| Terms governing use and reproduction |
Creative Commons |
| -- |
https://creativecommons.org/licenses/by/4.0 |
| -- |
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 as entry element |
Discrete mathematics |
| Source of heading or term |
bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming / software development |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
921274 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms & data structures |
| Source of heading or term |
bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming & scripting languages: general |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
854920 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
855105 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
2458 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Artificial intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science-Mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Data structures (Computer science) |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Programming languages (Electronic computers) |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer programming |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Simpson, Alex |
| Relator code |
edt |
| 9 (RLIN) |
1282425 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bojańczyk, Mikołaj |
| Relator code |
oth |
| 9 (RLIN) |
1282424 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Simpson, Alex |
| Relator code |
oth |
| 9 (RLIN) |
1282425 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf">https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf</a> |
| -- |
0 |
| Public note |
DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://directory.doabooks.org/handle/20.500.12854/26387">https://directory.doabooks.org/handle/20.500.12854/26387</a> |
| -- |
0 |
| Public note |
DOAB: description of the publication |
