Formal aspects of computing
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic Journal |
| Language: | English |
| Published: |
London :
Springer International,
1989-
|
| Subjects: | |
| Online Access: | Enlace del recurso |
| _version_ | 1849706551761174528 |
|---|---|
| author_corporate | British Computer Society. Specialist Group in Formal Aspects of Computing Science |
| author_corporate_role | |
| author_facet | British Computer Society. Specialist Group in Formal Aspects of Computing Science |
| building | Library A |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 .F66 |
| callnumber-search | QA75.5 .F66 |
| callnumber-sort | QA 275.5 F66 |
| callnumber-subject | QA - Mathematics |
| collection | Ebsco Engineering Source |
| ctrlnum | (EBZ)ebs795269e |
| dateSpan | Vol. 1, no. 1 (Jan./Mar. 1989)- |
| format | Electronic Journal |
| fullrecord | {"leader":"01764cas a22004212a 4500","fields":[{"001":"ebs795269e"},{"003":"EBZ"},{"006":"m d ||||||"},{"007":"cr|unu||||||||"},{"008":"890517c19899999enkqr p o 0 a0eng c"},{"022":{"subfields":[{"a":"1433-299X"},{"y":"0934-5043"},{"y":"0951-5666"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(EBZ)ebs795269e"}],"ind1":" ","ind2":" "}},{"040":{"subfields":[{"a":"EUE "},{"b":"eng "},{"d":"EBZ"}],"ind1":" ","ind2":" "}},{"042":{"subfields":[{"a":"pcc nsdp"}],"ind1":" ","ind2":" "}},{"050":{"subfields":[{"a":"QA75.5"},{"b":".F66"}],"ind1":"0","ind2":"0"}},{"130":{"subfields":[{"a":"Formal aspects of computing (Online)"}],"ind1":"0","ind2":" "}},{"222":{"subfields":[{"a":"Formal aspects of computing"}],"ind1":"1","ind2":"0"}},{"245":{"subfields":[{"a":"Formal aspects of computing"},{"h":"[electronic resource]."}],"ind1":"0","ind2":"0"}},{"246":{"subfields":[{"a":"\u8ba1\u7b97\u7684\u5f62\u5f0f\u65b9\u9762"}],"ind1":"2","ind2":" "}},{"260":{"subfields":[{"a":"London :"},{"b":"Springer International,"},{"c":"1989-"}],"ind1":" ","ind2":" "}},{"310":{"subfields":[{"a":"Quarterly"}],"ind1":" ","ind2":" "}},{"362":{"subfields":[{"a":"Vol. 1, no. 1 (Jan./Mar. 1989)-"}],"ind1":"0","ind2":" "}},{"500":{"subfields":[{"a":"Title from cover."}],"ind1":" ","ind2":" "}},{"550":{"subfields":[{"a":"\"Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science.\""}],"ind1":" ","ind2":" "}},{"650":{"subfields":[{"a":"Computer science"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Computers."},{"2":"gtt"}],"ind1":"1","ind2":"7"}},{"650":{"subfields":[{"a":"Programmeren (computers)"},{"2":"gtt"}],"ind1":"1","ind2":"7"}},{"650":{"subfields":[{"a":"Formele talen."},{"2":"gtt"}],"ind1":"1","ind2":"7"}},{"650":{"subfields":[{"a":"Informatique"},{"v":"Pe\u0301riodiques."}],"ind1":" ","ind2":"6"}},{"650":{"subfields":[{"a":"Computer science."},{"2":"fast"},{"0":"(OCoLC)fst00872451"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"periodika"},{"x":"tansze\u0301ki"}],"ind1":"0","ind2":"4"}},{"655":{"subfields":[{"a":"Periodicals."},{"2":"fast"},{"0":"(OCoLC)fst01411641"}],"ind1":" ","ind2":"7"}},{"710":{"subfields":[{"a":"British Computer Society."},{"b":"Specialist Group in Formal Aspects of Computing Science."}],"ind1":"2","ind2":" "}},{"773":{"subfields":[{"t":"Engineering Source "},{"d":"EBSCO"}],"ind1":"0","ind2":" "}},{"776":{"subfields":[{"i":"Online version:"},{"t":"Formal aspects of computing (Online)"},{"x":"1433-299X"},{"w":"(DLC) 00227046"},{"w":"(OCoLC)42939863"}],"ind1":"0","ind2":"8"}},{"776":{"subfields":[{"t":"Formal aspects of computing"},{"x":"0934-5043"},{"w":"(OCoLC)19718812"},{"w":"(DLC)91650960"}],"ind1":"1","ind2":" "}},{"856":{"subfields":[{"3":"Abstracts available: Mar 2007-Mar 2017."},{"u":"https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=egs&jid=O4E&scope=site"},{"z":"Enlace del recurso"}],"ind1":"4","ind2":"0"}},{"901":{"subfields":[{"a":"Academic Journal"}],"ind1":" ","ind2":" "}}]}
|
| genre | Periodicals. fast (OCoLC)fst01411641 |
| genre_facet | Periodicals. Périodiques. |
| id | ebs795269e |
| illustrated | Illustrated |
| institution | EBSCO |
| issn | 1433-299X 0934-5043 |
| language | English |
| publishDate | 1989 |
| publisher | Springer International, |
| record_format | marc |
| spelling | Formal aspects of computing (Online) Formal aspects of computing Formal aspects of computing [electronic resource]. 计算的形式方面 London : Springer International, 1989- Quarterly Vol. 1, no. 1 (Jan./Mar. 1989)- Title from cover. "Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science." Computer science Periodicals. Computers. gtt Programmeren (computers) gtt Formele talen. gtt Informatique Périodiques. Computer science. fast (OCoLC)fst00872451 periodika tanszéki Periodicals. fast (OCoLC)fst01411641 British Computer Society. Specialist Group in Formal Aspects of Computing Science. Engineering Source EBSCO Online version: Formal aspects of computing (Online) 1433-299X (DLC) 00227046 (OCoLC)42939863 Formal aspects of computing 0934-5043 (OCoLC)19718812 (DLC)91650960 Abstracts available: Mar 2007-Mar 2017. https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=egs&jid=O4E&scope=site Enlace del recurso |
| spellingShingle | Formal aspects of computing Computer science Periodicals. Computers. gtt Programmeren (computers) gtt Formele talen. gtt Informatique Périodiques. Computer science. fast (OCoLC)fst00872451 periodika tanszéki |
| thumbnail | /EBSCO/ebsco_engineeringsource/logo.png |
| title | Formal aspects of computing |
| title_alt | Formal aspects of computing (Online) 计算的形式方面 |
| title_auth | Formal aspects of computing |
| title_full | Formal aspects of computing [electronic resource]. |
| title_fullStr | Formal aspects of computing [electronic resource]. |
| title_full_unstemmed | Formal aspects of computing [electronic resource]. |
| title_short | Formal aspects of computing |
| title_sort | formal aspects of computing |
| topic | Computer science Periodicals. Computers. gtt Programmeren (computers) gtt Formele talen. gtt Informatique Périodiques. Computer science. fast (OCoLC)fst00872451 periodika tanszéki |
| topic_facet | Computer science Computers. Programmeren (computers) Formele talen. Informatique Computer science. periodika tanszéki |
| url | https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=egs&jid=O4E&scope=site |
| work_keys_str_mv | UT formalaspectsofcomputingonline AT britishcomputersocietyspecialistgroupinformalaspectsofcomputingscience formalaspectsofcomputing AT britishcomputersocietyspecialistgroupinformalaspectsofcomputingscience jìsuàndexíngshìfāngmiàn |
