Formal models and practical tools for information systems design: Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1979
|
| Schlagworte: | |
| Beschreibung: | IX, 297 S. graph.Darst. |
| ISBN: | 0444853944 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003363450 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 900725s1979 xx d||| |||| 10||| eng d | ||
| 020 | |a 0444853944 |9 0-444-85394-4 | ||
| 035 | |a (OCoLC)5333736 | ||
| 035 | |a (DE-599)BVBBV003363450 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-706 |a DE-11 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a Z699.A1 | |
| 082 | 0 | |a 029 | |
| 245 | 1 | 0 | |a Formal models and practical tools for information systems design |b Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 |c Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider* |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1979 | |
| 300 | |a IX, 297 S. |b graph.Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Informatiesystemen |2 gtt | |
| 650 | 7 | |a Modellen |2 gtt | |
| 650 | 7 | |a Ontwerpen |2 gtt | |
| 650 | 7 | |a conception base donnée |2 inriac | |
| 650 | 7 | |a conception système information |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a modèle formel |2 inriac | |
| 650 | 7 | |a recherche documentaire |2 inriac | |
| 650 | 7 | |a système information |2 inriac | |
| 650 | 7 | |a évaluation système |2 inriac | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Information storage and retrieval systems |v Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1979 |z Oxford |2 gnd-content | |
| 689 | 0 | 0 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
| 689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schneider, Hans-Jochen |e Sonstige |4 oth | |
| 711 | 2 | |a Working Conference on Formal Models and Practical Tools for Information Systems Design |d 1979 |c Oxford |j Sonstige |0 (DE-588)818221-8 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002124529 | |
| 980 | 4 | |a (DE-12)AK15120142 | |
| 980 | 4 | |a (DE-12)AK15120143 | |
| 980 | 4 | |a (DE-12)AK19670774 | |
| 980 | 4 | |a (DE-12)AK19670775 | |
Datensatz im Suchindex
| _version_ | 1820868307182419968 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV003363450 |
| callnumber-first | Z - Library Science |
| callnumber-label | Z699 |
| callnumber-raw | Z699.A1 |
| callnumber-search | Z699.A1 |
| callnumber-sort | Z 3699 A1 |
| callnumber-subject | Z - Books and Writing |
| classification_rvk | SS 1979 |
| ctrlnum | (OCoLC)5333736 (DE-599)BVBBV003363450 |
| dewey-full | 029 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 029 - [Unassigned] |
| dewey-raw | 029 |
| dewey-search | 029 |
| dewey-sort | 229 |
| dewey-tens | 020 - Library and information sciences |
| discipline | Allgemeines |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV003363450</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900725s1979 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444853944</subfield><subfield code="9">0-444-85394-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)5333736</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003363450</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Z699.A1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">029</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal models and practical tools for information systems design</subfield><subfield code="b">Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979</subfield><subfield code="c">Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 297 S.</subfield><subfield code="b">graph.Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatiesystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modellen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ontwerpen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception base donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système information</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">recherche documentaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système information</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">évaluation système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information storage and retrieval systems</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1979</subfield><subfield code="z">Oxford</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schneider, Hans-Jochen</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Working Conference on Formal Models and Practical Tools for Information Systems Design</subfield><subfield code="d">1979</subfield><subfield code="c">Oxford</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)818221-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002124529</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK15120142</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK15120143</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK19670774</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK19670775</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1979 Oxford gnd-content |
| genre_facet | Konferenzschrift 1979 Oxford |
| id | DE-604.BV003363450 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:18Z |
| institution | BVB |
| institution_GND | (DE-588)818221-8 |
| isbn | 0444853944 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002124529 |
| oclc_num | 5333736 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-706 DE-11 DE-188 DE-83 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-706 DE-11 DE-188 DE-83 |
| physical | IX, 297 S. graph.Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider* Amsterdam North-Holland 1979 IX, 297 S. graph.Darst. txt rdacontent n rdamedia nc rdacarrier Informatiesystemen gtt Modellen gtt Ontwerpen gtt conception base donnée inriac conception système information inriac langage formel inriac modèle formel inriac recherche documentaire inriac système information inriac évaluation système inriac Computer programming Congresses Formal languages Congresses Information storage and retrieval systems Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1979 Oxford gnd-content Informationssystem (DE-588)4072806-7 s Softwareentwicklung (DE-588)4116522-6 s DE-604 Schneider, Hans-Jochen Sonstige oth Working Conference on Formal Models and Practical Tools for Information Systems Design 1979 Oxford Sonstige (DE-588)818221-8 oth |
| spellingShingle | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 Informatiesystemen gtt Modellen gtt Ontwerpen gtt conception base donnée inriac conception système information inriac langage formel inriac modèle formel inriac recherche documentaire inriac système information inriac évaluation système inriac Computer programming Congresses Formal languages Congresses Information storage and retrieval systems Congresses Softwareentwicklung (DE-588)4116522-6 gnd Informationssystem (DE-588)4072806-7 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4072806-7 (DE-588)1071861417 |
| title | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 |
| title_auth | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 |
| title_exact_search | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 |
| title_full | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider* |
| title_fullStr | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider* |
| title_full_unstemmed | Formal models and practical tools for information systems design Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 Urheber: Working Conference on Formal Models and Practical Tools for Information Systems Design <1979, Oxford>. Hrsg. von Hans-Jochen Schneider* |
| title_short | Formal models and practical tools for information systems design |
| title_sort | formal models and practical tools for information systems design proceedings of the ifip tc 8working conference on formal models and practical tools for information systems design oxford u k april 17 20 1979 |
| title_sub | Proceedings of the IFIP TC-8Working Conference on formal models and practical tools for information systems design Oxford, U.K., April 17-20, 1979 |
| topic | Informatiesystemen gtt Modellen gtt Ontwerpen gtt conception base donnée inriac conception système information inriac langage formel inriac modèle formel inriac recherche documentaire inriac système information inriac évaluation système inriac Computer programming Congresses Formal languages Congresses Information storage and retrieval systems Congresses Softwareentwicklung (DE-588)4116522-6 gnd Informationssystem (DE-588)4072806-7 gnd |
| topic_facet | Informatiesystemen Modellen Ontwerpen conception base donnée conception système information langage formel modèle formel recherche documentaire système information évaluation système Computer programming Congresses Formal languages Congresses Information storage and retrieval systems Congresses Softwareentwicklung Informationssystem Konferenzschrift 1979 Oxford |
| work_keys_str_mv | AT schneiderhansjochen formalmodelsandpracticaltoolsforinformationsystemsdesignproceedingsoftheifiptc8workingconferenceonformalmodelsandpracticaltoolsforinformationsystemsdesignoxfordukapril17201979 AT workingconferenceonformalmodelsandpracticaltoolsforinformationsystemsdesignoxford formalmodelsandpracticaltoolsforinformationsystemsdesignproceedingsoftheifiptc8workingconferenceonformalmodelsandpracticaltoolsforinformationsystemsdesignoxfordukapril17201979 |