Perspectives of system informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
Schriftenreihe: | Lecture notes in computer science
2244 |
Schlagworte: | |
Beschreibung: | Literaturangaben |
Beschreibung: | XIII, 548 S. Ill. |
ISBN: | 354043075X |
Internformat
MARC
LEADER | 00000nam a22000008cb4500 | ||
---|---|---|---|
001 | BV014063392 | ||
003 | DE-604 | ||
005 | 20020208 | ||
007 | t| | ||
008 | 011211s2001 gw a||| |||| 10||| eng d | ||
016 | 7 | |a 963181581 |2 DE-101 | |
020 | |a 354043075X |9 3-540-43075-X | ||
035 | |a (OCoLC)48836410 | ||
035 | |a (DE-599)BVBBV014063392 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-384 |a DE-91G |a DE-739 |a DE-824 |a DE-83 |a DE-706 | ||
050 | 0 | |a QA75.5 | |
082 | 0 | |a 005.1 |2 21 | |
084 | |a DAT 001f |2 stub | ||
245 | 1 | 0 | |a Perspectives of system informatics |b 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers |c Dines Bjørner ... (ed.) |
264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
300 | |a XIII, 548 S. |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 2244 | |
500 | |a Literaturangaben | ||
650 | 7 | |a Fundamentele informatica |2 gtt | |
650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
650 | 4 | |a Logiciels - Congrès | |
650 | 7 | |a Logiciels - Congrès |2 ram | |
650 | 7 | |a Programmatuurtechniek |2 gtt | |
650 | 7 | |a Systèmes informatiques - Congrès |2 ram | |
650 | 7 | |a UML |2 inriac | |
650 | 7 | |a analyse programme |2 inriac | |
650 | 7 | |a développement système |2 inriac | |
650 | 7 | |a génie logiciel |2 inriac | |
650 | 7 | |a logique programmation |2 inriac | |
650 | 7 | |a méthode formelle |2 inriac | |
650 | 7 | |a programmation avec contrainte |2 inriac | |
650 | 7 | |a programmation logique |2 inriac | |
650 | 7 | |a réseau Petri |2 inriac | |
650 | 7 | |a sémantique programme |2 inriac | |
650 | 7 | |a théorie programmation |2 inriac | |
650 | 4 | |a Informatik | |
650 | 4 | |a Computer programming |v Congresses | |
650 | 4 | |a Computer science |v Congresses | |
650 | 4 | |a Systems engineering |v Congresses | |
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wissenstechnik |0 (DE-588)4192641-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Nowosibirsk |2 gnd-content | |
689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 3 | |5 DE-604 | |
689 | 4 | 0 | |a Wissenstechnik |0 (DE-588)4192641-9 |D s |
689 | 4 | |5 DE-604 | |
700 | 1 | |a Bjørner, Dines |d 1937- |e Sonstige |0 (DE-588)10903046X |4 oth | |
711 | 2 | |a International Andrei Ershov Memorial Conference |n 4 |d 2001 |c Nowosibirsk-Akademgorodok |j Sonstige |0 (DE-588)10030881-8 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 2244 |w (DE-604)BV000000607 |9 2244 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009632085 |
Datensatz im Suchindex
_version_ | 1820874909474095104 |
---|---|
adam_text | |
any_adam_object | |
author_GND | (DE-588)10903046X |
building | Verbundindex |
bvnumber | BV014063392 |
callnumber-first | Q - Science |
callnumber-label | QA75 |
callnumber-raw | QA75.5 |
callnumber-search | QA75.5 |
callnumber-sort | QA 275.5 |
callnumber-subject | QA - Mathematics |
classification_rvk | SS 4800 |
classification_tum | DAT 001f |
ctrlnum | (OCoLC)48836410 (DE-599)BVBBV014063392 |
dewey-full | 005.1 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1 |
dewey-search | 005.1 |
dewey-sort | 15.1 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV014063392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020208</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">011211s2001 gw a||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963181581</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354043075X</subfield><subfield code="9">3-540-43075-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48836410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014063392</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives of system informatics</subfield><subfield code="b">4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers</subfield><subfield code="c">Dines Bjørner ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 548 S.</subfield><subfield code="b">Ill.</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2244</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes informatiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">UML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation avec contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenstechnik</subfield><subfield code="0">(DE-588)4192641-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Nowosibirsk</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Wissenstechnik</subfield><subfield code="0">(DE-588)4192641-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bjørner, Dines</subfield><subfield code="d">1937-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10903046X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Andrei Ershov Memorial Conference</subfield><subfield code="n">4</subfield><subfield code="d">2001</subfield><subfield code="c">Nowosibirsk-Akademgorodok</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10030881-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2244</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2244</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009632085</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2001 Nowosibirsk gnd-content |
genre_facet | Konferenzschrift 2001 Nowosibirsk |
id | DE-604.BV014063392 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:07:12Z |
institution | BVB |
institution_GND | (DE-588)10030881-8 |
isbn | 354043075X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009632085 |
oclc_num | 48836410 |
open_access_boolean | |
owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-83 DE-706 |
owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-83 DE-706 |
physical | XIII, 548 S. Ill. |
publishDate | 2001 |
publishDateSearch | 2001 |
publishDateSort | 2001 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers Dines Bjørner ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XIII, 548 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2244 Literaturangaben Fundamentele informatica gtt Kunstmatige intelligentie gtt Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt Systèmes informatiques - Congrès ram UML inriac analyse programme inriac développement système inriac génie logiciel inriac logique programmation inriac méthode formelle inriac programmation avec contrainte inriac programmation logique inriac réseau Petri inriac sémantique programme inriac théorie programmation inriac Informatik Computer programming Congresses Computer science Congresses Systems engineering Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Wissenstechnik (DE-588)4192641-9 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Nowosibirsk gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Logische Programmierung (DE-588)4195096-3 s Softwareentwicklung (DE-588)4116522-6 s Wissenstechnik (DE-588)4192641-9 s Bjørner, Dines 1937- Sonstige (DE-588)10903046X oth International Andrei Ershov Memorial Conference 4 2001 Nowosibirsk-Akademgorodok Sonstige (DE-588)10030881-8 oth Lecture notes in computer science 2244 (DE-604)BV000000607 2244 |
spellingShingle | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers Lecture notes in computer science Fundamentele informatica gtt Kunstmatige intelligentie gtt Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt Systèmes informatiques - Congrès ram UML inriac analyse programme inriac développement système inriac génie logiciel inriac logique programmation inriac méthode formelle inriac programmation avec contrainte inriac programmation logique inriac réseau Petri inriac sémantique programme inriac théorie programmation inriac Informatik Computer programming Congresses Computer science Congresses Systems engineering Congresses Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Wissenstechnik (DE-588)4192641-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
subject_GND | (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4192641-9 (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)1071861417 |
title | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers |
title_auth | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers |
title_exact_search | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers |
title_full | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers Dines Bjørner ... (ed.) |
title_fullStr | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers Dines Bjørner ... (ed.) |
title_full_unstemmed | Perspectives of system informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers Dines Bjørner ... (ed.) |
title_short | Perspectives of system informatics |
title_sort | perspectives of system informatics 4th international andrei ershov memorial conference psi 2001 akademgorodok novosibirsk russia july 2 6 2001 revised papers |
title_sub | 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers |
topic | Fundamentele informatica gtt Kunstmatige intelligentie gtt Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt Systèmes informatiques - Congrès ram UML inriac analyse programme inriac développement système inriac génie logiciel inriac logique programmation inriac méthode formelle inriac programmation avec contrainte inriac programmation logique inriac réseau Petri inriac sémantique programme inriac théorie programmation inriac Informatik Computer programming Congresses Computer science Congresses Systems engineering Congresses Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Wissenstechnik (DE-588)4192641-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
topic_facet | Fundamentele informatica Kunstmatige intelligentie Logiciels - Congrès Programmatuurtechniek Systèmes informatiques - Congrès UML analyse programme développement système génie logiciel logique programmation méthode formelle programmation avec contrainte programmation logique réseau Petri sémantique programme théorie programmation Informatik Computer programming Congresses Computer science Congresses Systems engineering Congresses Softwareentwicklung Theoretische Informatik Wissenstechnik Logische Programmierung Programmierung Konferenzschrift 2001 Nowosibirsk |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT bjørnerdines perspectivesofsysteminformatics4thinternationalandreiershovmemorialconferencepsi2001akademgorodoknovosibirskrussiajuly262001revisedpapers AT internationalandreiershovmemorialconferencenowosibirskakademgorodok perspectivesofsysteminformatics4thinternationalandreiershovmemorialconferencepsi2001akademgorodoknovosibirskrussiajuly262001revisedpapers |