Formalisation des notions de machine et de programme:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Paris
Gauthier-Villars
1969
|
| Series: | Collection programmation
Publications de l'Institut de Programmation de la Faculté des Sciences de Paris |
| Subjects: | |
| Physical Description: | XIV, 218 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003713132 | ||
| 003 | DE-604 | ||
| 005 | 20120420 | ||
| 007 | t | ||
| 008 | 900813s1969 d||| |||| 00||| fre d | ||
| 035 | |a (OCoLC)7697085 | ||
| 035 | |a (DE-599)BVBBV003713132 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-91G |a DE-20 |a DE-83 | ||
| 050 | 0 | |a QA76.5 | |
| 100 | 1 | |a Nolin, Louis |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formalisation des notions de machine et de programme |c par Louis Nolin |
| 264 | 1 | |a Paris |b Gauthier-Villars |c 1969 | |
| 300 | |a XIV, 218 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Collection programmation | |
| 490 | 0 | |a Publications de l'Institut de Programmation de la Faculté des Sciences de Paris | |
| 650 | 4 | |a Algorithmes | |
| 650 | 4 | |a Langages de programmation | |
| 650 | 4 | |a Ordinateurs | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Electronic digital computers | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002363447 | ||
Record in the Search Index
| _version_ | 1804118057941991424 |
|---|---|
| any_adam_object | |
| author | Nolin, Louis |
| author_facet | Nolin, Louis |
| author_role | aut |
| author_sort | Nolin, Louis |
| author_variant | l n ln |
| building | Verbundindex |
| bvnumber | BV003713132 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5 |
| callnumber-search | QA76.5 |
| callnumber-sort | QA 276.5 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)7697085 (DE-599)BVBBV003713132 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01343nam a2200409 c 4500</leader><controlfield tag="001">BV003713132</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120420 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900813s1969 d||| |||| 00||| fre d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)7697085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003713132</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.5</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nolin, Louis</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalisation des notions de machine et de programme</subfield><subfield code="c">par Louis Nolin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Gauthier-Villars</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 218 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="490" ind1="0" ind2=" "><subfield code="a">Collection programmation</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Publications de l'Institut de Programmation de la Faculté des Sciences de Paris</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002363447</subfield></datafield></record></collection> |
| id | DE-604.BV003713132 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:04:15Z |
| institution | BVB |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002363447 |
| oclc_num | 7697085 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-83 |
| physical | XIV, 218 S. graph. Darst. |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Gauthier-Villars |
| record_format | marc |
| series2 | Collection programmation Publications de l'Institut de Programmation de la Faculté des Sciences de Paris |
| spelling | Nolin, Louis Verfasser aut Formalisation des notions de machine et de programme par Louis Nolin Paris Gauthier-Villars 1969 XIV, 218 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Collection programmation Publications de l'Institut de Programmation de la Faculté des Sciences de Paris Algorithmes Langages de programmation Ordinateurs Algorithms Electronic digital computers Programming languages (Electronic computers) Programmierung (DE-588)4076370-5 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Programmierung (DE-588)4076370-5 s Formalisierung (DE-588)4123217-3 s DE-604 |
| spellingShingle | Nolin, Louis Formalisation des notions de machine et de programme Algorithmes Langages de programmation Ordinateurs Algorithms Electronic digital computers Programming languages (Electronic computers) Programmierung (DE-588)4076370-5 gnd Formalisierung (DE-588)4123217-3 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4123217-3 |
| title | Formalisation des notions de machine et de programme |
| title_auth | Formalisation des notions de machine et de programme |
| title_exact_search | Formalisation des notions de machine et de programme |
| title_full | Formalisation des notions de machine et de programme par Louis Nolin |
| title_fullStr | Formalisation des notions de machine et de programme par Louis Nolin |
| title_full_unstemmed | Formalisation des notions de machine et de programme par Louis Nolin |
| title_short | Formalisation des notions de machine et de programme |
| title_sort | formalisation des notions de machine et de programme |
| topic | Algorithmes Langages de programmation Ordinateurs Algorithms Electronic digital computers Programming languages (Electronic computers) Programmierung (DE-588)4076370-5 gnd Formalisierung (DE-588)4123217-3 gnd |
| topic_facet | Algorithmes Langages de programmation Ordinateurs Algorithms Electronic digital computers Programming languages (Electronic computers) Programmierung Formalisierung |
| work_keys_str_mv | AT nolinlouis formalisationdesnotionsdemachineetdeprogramme |