Acta Informatica (Record no. 1773)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02216nas a22004095i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1432-0525 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260610082454.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150723s||||||||gw uu poo|||||| b|EN |d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 1432-0525 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/236.1432-0525 |
| Source of number or code | doi |
| 210 10 - ABBREVIATED TITLE | |
| Abbreviated title | Acta Informatica |
| 245 10 - TITLE STATEMENT | |
| Title | Acta Informatica |
| Medium | [electronic resource] / |
| Statement of responsibility, etc. | edited by Henning Fernau, Christel Baier, Ernst-Rüdiger Olderog. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin/Heidelberg : |
| Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
| -- | Imprint: Springer. |
| 300 ## - online resource | |
| Other physical details | online resource. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research papers, survey articles and shorter contributions (notes). Topics include theoretical aspects of the following items [notice that you will get a refined list when clicking on these items]. Algorithms and their analysis Automata and formal languages Computability and complexity Data handling Discrete Mathematics Logic (in Computer Science) Mathematical foundations of Artificial Intelligence Programming language theory Security Systems theory Verification This includes also modern topics like Quantum Computing. . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer networks . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Data structures (Computer science). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Engineering and Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Data Structures and Information Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Theory of Computation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Fernau, Henning. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Baier, Christel. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Olderog, Ernst-Rüdiger. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed version: |
| International Standard Serial Number | 0001-5903 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/236.1432-0525">https://doi.org/10.1007/236.1432-0525</a> |
| Public note | Hybrid |
No items available.