Campusbibliothek

Teaching formal methods (Titelsatznr. 31508)

[ MARC ]
MARC-Details
000 -Satzkennung
Kontrollfeld mit fester Länge 05090nam a2200973 u 4500
001 - Kontrollnummer
Kontrollfeld 1615004335
003 - Kontrollnummer Identifier
Kontrollfeld DE-627
005 - Datum und Zeit der letzten Transaktion
Kontrollfeld 20231009164201.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 041207s2004 gw ||||| 00| ||eng c
013 ## - Kontrollinformationen für Patente
Nummer 397624212
015 ## - Nummer der Nationalbibliografie
Nummer der Nationalbibliografie 04,N44,0041
Quelle dnb
016 7# - Kontrollnummer der nationalbibliografischen Agentur
Datensatzkontrollnummer 972367071
Quelle DE-101
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 3540236112
-- 3-540-23611-2
024 3# - Anderer Standardidentifier
Standardnummer oder Code 9783540236115
024 8# - Anderer Standardidentifier
Standardnummer oder Code 11339786
Nähere Angaben Best.-Nr.
028 52 - Verlegernummer
Verlegernummer 11339786
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-627)1615004335
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-576)114866279
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-599)DNB972367071
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)249881922
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)57297858
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
050 #0 - Signatur der Library of Congress
Notation QA76.9.F67
082 0# - Notation nach der Dewey Decimal Classification
Notation 004
082 0# - Notation nach der Dewey Decimal Classification
Notation 005.13/1
082 0# - Notation nach der Dewey Decimal Classification
Notation 005.131
082 04 - Notation nach der Dewey Decimal Classification
Notation 004
084 ## - Andere Notation
Notation SS 4800
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143528:
084 ## - Andere Notation
Notation 54.04
Quelle der Nummer bkl
084 ## - Andere Notation
Notation 54.51
Quelle der Nummer bkl
084 ## - Andere Notation
Notation 54.10
Quelle der Nummer bkl
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC)
Notation Sa 18
245 10 - Titel
Titel Teaching formal methods
Zusatz zum Titel CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004; proceedings
Verfasserangabe etc. C. Neville Dean ... (eds.)
263 ## - Geplantes Erscheinungsdatum
Geplantes Erscheinungsdatum Erscheint: November 2004. - : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
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 2004
300 ## - Physische Beschreibung
Umfang X, 249 S.
Andere physische Details graph. Darst.
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 3294
500 ## - Allgemeine Fußnote
Allgemeine Fußnote Literaturangaben
505 80 - Fußnote zu strukturierten Inhaltsangaben
Fußnote zu strukturierten Inhaltsangaben Literaturangaben
520 ## - Fußnote zu Zusammenfassungen usw.
Fußnote zur Zusammenfassung usw. This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004. The 15 revised full papers presented togehter with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods
580 ## - Fußnote zum Umfang der Verknüpfungseintragung
Fußnote zum Umfang der Verknüpfungseintragung Dean, Neville: Teaching Formal Methods
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 Formal methods (Computer science)
Allgemeine Unterteilung Study and teaching
Unterteilung nach Form Congresses
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort
Sachschlagwort oder geografischer Name als Eintragungselement Computer software
Allgemeine Unterteilung Development
-- Study and teaching
Unterteilung nach Form Congresses
653 ## - Indexierungsterm - Nicht normiert
-- Formale Methode
-- 21134253X
653 ## - Indexierungsterm - Nicht normiert
-- Formale Methode
-- 21134253X
653 ## - Indexierungsterm - Nicht normiert
-- Informatikstudium
-- 208968415
653 ## - Indexierungsterm - Nicht normiert
-- Informatikstudium
-- 208968415
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
Chronologische Unterteilung 2004
Geografische Unterteilung Gent
IDN des Normdatensatzes oder Standardnummer (DE-588)1071861417
-- (DE-627)826484824
-- (DE-576)433375485
Quelle der Ansetzung oder des Terms gnd-content
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
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)4333722-3
-- (DE-627)148061516
-- (DE-576)21134253X
-- Formale Methode
-- gnd
689 01 -
-- s
-- (DE-588)4026896-2
-- (DE-627)106286692
-- (DE-576)208968415
-- Informatikstudium
-- gnd
689 0# -
-- DE-101
689 10 -
-- s
-- (DE-588)4333722-3
-- (DE-627)148061516
-- (DE-576)21134253X
-- Formale Methode
-- gnd
689 11 -
-- s
-- (DE-588)4026896-2
-- (DE-627)106286692
-- (DE-576)208968415
-- Informatikstudium
-- gnd
689 1# -
-- (DE-627)
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only]
Geografischer Name BO
700 1# - Nebeneintragung - Personenname
Personenname Dean, Neville
Funktionsbezeichnung Hrsg.
IDN des Normdatensatzes oder Standardnummer (DE-588)124631266
-- (DE-627)363456902
-- (DE-576)176519734
Code für Beziehungskennzeichnung edt
Koha-Normdatenidentnummer 24742
700 1# - Nebeneintragung - Personenname
Personenname Dean, C. Neville
Code für Beziehungskennzeichnung oth
700 1# - Nebeneintragung - Personenname
Personenname Boute, Raymond T.
Code für Beziehungskennzeichnung oth
711 2# - Nebeneintragung - Kongressname
Kongress- oder Gebietskörperschaftsname als Eintragungselement Symposium on Teaching Formal Methods
Zählung eines Teils/einer Abteilung/eines Kongresses 1
Datum des Kongresses oder der Vertragsunterzeichnung 2004
Ort des Kongresses Gent
IDN des Normdatensatzes oder Standardnummer (DE-588)6035303-X
-- (DE-627)473108186
-- (DE-576)200085433
Code für Beziehungskennzeichnung oth
Koha-Normdatenidentnummer 26730
775 0# - Andere Ausgabe
Haupteintragung Online-Ausg.: / Dean, Neville: Teaching Formal Methods
776 08 - Andere physische Form
Verweisungsphrase Online-Ausg.
Haupteintragung Dean, Neville
Titel Teaching Formal Methods
Ort, Verlag und Erscheinungsjahr Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
Physische Beschreibung Online-Ressource
Datensatzkontrollnummer (DE-627)1649232845
-- (DE-576)322894034
Internationale Standardbuchnummer 9783540236115
800 ## - Nebeneintragung unter dem Gesamttitel - Personenname
Bandnummer/Folgebezeichnung 3294
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 3294
856 42 - Elektronische Adresse und Zugriff
URL <a href="https://swbplus.bsz-bw.de/bsz114866279cov.jpg">https://swbplus.bsz-bw.de/bsz114866279cov.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://swbplus.bsz-bw.de/bsz114866279vor.htm">https://swbplus.bsz-bw.de/bsz114866279vor.htm</a>
Kontaktstelle für Hilfe beim Zugriff V:DE-576
Elektronisches Format text/html
Spezifische Materialangaben Einführung/Vorwort
856 42 - Elektronische Adresse und Zugriff
URL <a href="https://swbplus.bsz-bw.de/bsz114866279inh.htm">https://swbplus.bsz-bw.de/bsz114866279inh.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="http://www.loc.gov/catdir/enhancements/fy0823/2004113937-d.html">http://www.loc.gov/catdir/enhancements/fy0823/2004113937-d.html</a>
Verknüpfungstext Publisher description
Spezifische Materialangaben Inhaltstext
889 ## -
-- (DE-627)397624212
935 ## -
-- mdedup
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.04
-- Ausbildung
-- Beruf
-- Organisationen
-- Informatik
-- (DE-627)106410792
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
Exemplare
Ausgeschieden Verloren Beschädigt Nicht entleihbar Sammlung Besitzstand/Homebranch/Heimatbibliothek Gebäude/Aufenthaltsbibliothek Aufstellungsort Erwerbungsdatum Inventarnummer Anzahl Ausleihen Signatur Barcode Letzte Aktivität Koha-Medientyp
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Max-Planck-Institut für Informatik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Series (GF) 07/12/2004 MPI-I-B-12971   LNCS 3294 2000000200156 13/09/2023 Buch

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha