MARC-Details
000 -Satzkennung |
Kontrollfeld mit fester Länge |
06260nam a2201333 u 4500 |
001 - Kontrollnummer |
Kontrollfeld |
330990446 |
003 - Kontrollnummer Identifier |
Kontrollfeld |
DE-627 |
005 - Datum und Zeit der letzten Transaktion |
Kontrollfeld |
20231009152111.0 |
007 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Information |
Kontrollfeld mit fester Länge |
tu |
008 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Angaben |
Kontrollfeld mit fester Länge |
010628s2001 gw ||||| 00| ||eng c |
015 ## - Nummer der Nationalbibliografie |
Nummer der Nationalbibliografie |
01,N28,0450 |
Quelle |
dnb |
015 ## - Nummer der Nationalbibliografie |
Nummer der Nationalbibliografie |
01,A34,0969 |
Quelle |
dnb |
016 7# - Kontrollnummer der nationalbibliografischen Agentur |
Datensatzkontrollnummer |
961727764 |
Quelle |
DE-101 |
020 ## - Internationale Standardbuchnummer |
Internationale Standardbuchnummer |
3540423141 |
Bezugsbedingungen |
brosch. : DM 98.00 |
-- |
3-540-42314-1 |
024 3# - Anderer Standardidentifier |
Standardnummer oder Code |
9783540423140 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-627)330990446 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-576)09272714X |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-599)GBV330990446 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)248514621 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)313739688 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(ZBM)0969.00086 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(ZBM)0969.00086 |
040 ## - Katalogisierungsquelle |
Original-Katalogisierungsstelle |
DE-627 |
Katalogisierungssprache |
ger |
Übertragungsstelle |
DE-627 |
Beschreibungsfestlegungen |
rakwb |
041 ## - Sprachcode |
Sprachcode des Textes/der Tonspur oder des separaten Titels |
eng |
044 ## - Ländercode der veröffentlichenden/herstellenden Stelle |
ISO-Ländercode |
XA-DE |
-- |
XD-US |
-- |
XA-ES |
084 ## - Andere Notation |
Notation |
28 |
Quelle der Nummer |
sdnb |
084 ## - Andere Notation |
Notation |
SS 4800 |
Quelle der Nummer |
rvk |
IDN des Normdatensatzes oder Standardnummer |
(DE-625)rvk/143528: |
084 ## - Andere Notation |
Notation |
*00B25 |
Quelle der Nummer |
msc |
084 ## - Andere Notation |
Notation |
68-06 |
Quelle der Nummer |
msc |
084 ## - Andere Notation |
Notation |
54.51 |
Quelle der Nummer |
bkl |
084 ## - Andere Notation |
Notation |
54.10 |
Quelle der Nummer |
bkl |
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
Notation (OCLC) (R) ; Notation, CALL (RLIN) (NR) |
a |
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
Notation |
Sa 18 |
245 10 - Titel |
Titel |
Static analysis |
Zusatz zum Titel |
8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings |
Verfasserangabe etc. |
SAS 2001. Patrick Cousot (ed.) |
246 30 - Titelvarianten |
Hauptsachtitel/Kurztitel |
SAS 2001 |
263 ## - Geplantes Erscheinungsdatum |
Geplantes Erscheinungsdatum |
brosch. : DM 98.00 |
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort |
Berlin |
-- |
Heidelberg [u.a.] |
Produzent, Herausgeber, Distributor, Hersteller |
Springer |
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
2001 |
300 ## - Physische Beschreibung |
Umfang |
XI, 436 S. |
Andere physische Details |
graph. Darst. |
Maße |
24 cm |
336 ## - Inhaltstyp |
Inhaltstypterm |
Text |
Inhaltstypcode |
txt |
Quelle |
rdacontent |
337 ## - Medientyp |
Bezeichnung des Medientyps |
ohne Hilfsmittel zu benutzen |
Medientypcode |
n |
Quelle |
rdamedia |
338 ## - Datenträgertyp |
Datenträgertypbezeichnung |
Band |
Datenträgertypcode |
nc |
Quelle |
rdacarrier |
490 1# - Gesamttitelangabe |
Gesamttitelangabe |
Lecture notes in computer science |
Bandnummer/Folgebezeichnung |
2126 |
580 ## - Fußnote zum Umfang der Verknüpfungseintragung |
Fußnote zum Umfang der Verknüpfungseintragung |
Static Analysis |
583 1# - Fußnote zum Bearbeitungsvermerk |
Bearbeitung |
Archivierung/Langzeitarchivierung gewährleistet |
Autorisierende Stelle |
PEBW |
Quelle der Ansetzung oder des Terms |
pdager |
Das Unterfeld gibt die Institution an, auf die sich das Feld bezieht |
DE-31 |
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Computer programming |
Allgemeine Unterteilung |
Congresses |
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Programming languages (Electronic computers) |
Allgemeine Unterteilung |
Congresses |
650 #4 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Computer programming |
Allgemeine Unterteilung |
Congresses |
650 #4 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Programming languages (Electronic computers) |
Allgemeine Unterteilung |
Congresses |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Constraint-logische Programmierung |
-- |
211858560 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Constraint-logische Programmierung |
-- |
211858560 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
212412167 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
CI0012246 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmanalyse |
-- |
209966513 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmanalyse |
-- |
209966513 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmtransformation |
-- |
210616369 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmtransformation |
-- |
210616369 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
211263192 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Statische Analyse |
-- |
CI0011638 |
655 #7 - Indexierungsterm - Genre/Form |
Genre/Form oder fokussierter Term |
Konferenzschrift |
Chronologische Unterteilung |
2001 |
Geografische Unterteilung |
Paris |
IDN des Normdatensatzes oder Standardnummer |
(DE-588)1071861417 |
-- |
(DE-627)826484824 |
-- |
(DE-576)433375485 |
Quelle der Ansetzung oder des Terms |
gnd-content |
689 00 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 0# - |
-- |
DE-101 |
689 10 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 11 - |
-- |
s |
-- |
(DE-588)4175841-9 |
-- |
(DE-627)105361038 |
-- |
(DE-576)209966513 |
-- |
Programmanalyse |
-- |
gnd |
689 1# - |
-- |
DE-101 |
689 20 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 21 - |
-- |
s |
-- |
(DE-588)4263654-1 |
-- |
(DE-627)104149574 |
-- |
(DE-576)210616369 |
-- |
Programmtransformation |
-- |
gnd |
689 2# - |
-- |
DE-101 |
689 30 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 31 - |
-- |
s |
-- |
(DE-588)4382849-8 |
-- |
(DE-627)187131228 |
-- |
(DE-576)211858560 |
-- |
Constraint-logische Programmierung |
-- |
gnd |
689 3# - |
-- |
DE-101 |
689 40 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 41 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 4# - |
-- |
DE-101 |
689 50 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 5# - |
-- |
(DE-627) |
689 60 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 61 - |
-- |
s |
-- |
(DE-588)4175841-9 |
-- |
(DE-627)105361038 |
-- |
(DE-576)209966513 |
-- |
Programmanalyse |
-- |
gnd |
689 6# - |
-- |
(DE-627) |
689 70 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 71 - |
-- |
s |
-- |
(DE-588)4263654-1 |
-- |
(DE-627)104149574 |
-- |
(DE-576)210616369 |
-- |
Programmtransformation |
-- |
gnd |
689 7# - |
-- |
(DE-627) |
689 80 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 81 - |
-- |
s |
-- |
(DE-588)4382849-8 |
-- |
(DE-627)187131228 |
-- |
(DE-576)211858560 |
-- |
Constraint-logische Programmierung |
-- |
gnd |
689 8# - |
-- |
(DE-627) |
689 90 - |
-- |
s |
-- |
(DE-588)4325372-6 |
-- |
(DE-627)128784458 |
-- |
(DE-576)211263192 |
-- |
Statische Analyse |
-- |
gnd |
689 91 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 9# - |
-- |
(DE-627) |
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only] |
Geografischer Name |
BO |
700 1# - Nebeneintragung - Personenname |
Personenname |
Cousot, Patrick |
Funktionsbezeichnung |
Hrsg. |
Code für Beziehungskennzeichnung |
edt |
711 2# - Nebeneintragung - Kongressname |
Kongress- oder Gebietskörperschaftsname als Eintragungselement |
SAS |
Zählung eines Teils/einer Abteilung/eines Kongresses |
8 |
Datum des Kongresses oder der Vertragsunterzeichnung |
2001 |
Ort des Kongresses |
Paris |
IDN des Normdatensatzes oder Standardnummer |
(DE-588)10022163-4 |
-- |
(DE-627)330366351 |
-- |
(DE-576)198487665 |
Code für Beziehungskennzeichnung |
oth |
Koha-Normdatenidentnummer |
23701 |
775 0# - Andere Ausgabe |
Haupteintragung |
Online-Ausg.: / Static Analysis |
776 08 - Andere physische Form |
Verweisungsphrase |
Online-Ausg. |
Titel |
Static Analysis |
Ort, Verlag und Erscheinungsjahr |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 |
Physische Beschreibung |
Online-Ressource |
Datensatzkontrollnummer |
(DE-627)1646448855 |
-- |
(DE-576)280586450 |
Internationale Standardbuchnummer |
9783540477648 |
800 ## - Nebeneintragung unter dem Gesamttitel - Personenname |
Bandnummer/Folgebezeichnung |
212600 |
830 #0 - Nebeneintragung unter dem Gesamttitel - Einheitstitel |
Einheitstitel |
Lecture notes in computer science |
Datensatzkontrollnummer |
(DE-627)129300152 |
-- |
(DE-576)014492687 |
-- |
(DE-600)121909-1 |
Internationale Standardseriennummer |
0302-9743 |
Kontrollunterfeld |
ns |
Bandnummer/Folgebezeichnung |
2126 |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz09272714xinh.htm">https://swbplus.bsz-bw.de/bsz09272714xinh.htm</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Inhaltsverzeichnis |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz09272714xkap.htm">https://swbplus.bsz-bw.de/bsz09272714xkap.htm</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Kapitel 1 |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz09272714xcov.jpg">https://swbplus.bsz-bw.de/bsz09272714xcov.jpg</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Cover |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://zbmath.org/?q=an:0969.00086">https://zbmath.org/?q=an:0969.00086</a> |
Kontaktstelle für Hilfe beim Zugriff |
B:ZBM |
Zugriffszeiten |
2021-04-12 |
Verknüpfungstext |
Zentralblatt MATH |
Spezifische Materialangaben |
Inhaltstext |
935 ## - |
-- |
sf |
935 ## - |
-- |
Blocktest |
936 rv - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
SS 4800 |
-- |
Lecture notes in computer science |
-- |
Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen |
-- |
Schriftenreihen (indiv. Sign.) |
-- |
Lecture notes in computer science |
-- |
(DE-627)1271461242 |
-- |
(DE-625)rvk/143528: |
-- |
(DE-576)201461242 |
936 bk - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
54.51 |
-- |
Programmiermethodik |
-- |
(DE-627)106418122 |
936 bk - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
54.10 |
-- |
Theoretische Informatik |
-- |
(DE-627)106418815 |
942 ## - Zusätzliche Felder (Koha) |
Koha-Medientyp |
Buch |