Verfügbarkeit: Checking system properties via integer programming

Checking system properties via integer programming:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Melzer, Stefan (VerfasserIn), Esparza, Javier 1964- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	München 1995
Schriftenreihe:	Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] 1995,13
Umfang:	26 S.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV011741053
003	DE-604
005	19980129
007	t\|
008	980129s1995 xx \|\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)258639084
035			\|a (DE-599)BVBBV011741053
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91
088			\|a TUM I 9526
100	1		\|a Melzer, Stefan \|e Verfasser \|4 aut
245	1	0	\|a Checking system properties via integer programming \|c Stefan Melzer ; Javier Esparza
246	1	3	\|a TUM I 9526
264		1	\|a München \|c 1995
300			\|a 26 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] \|v 1995,13
700	1		\|a Esparza, Javier \|d 1964- \|e Verfasser \|0 (DE-588)111831016 \|4 aut
810	2		\|a A] \|t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht \|v 1995,13 \|w (DE-604)BV004627888 \|9 1995,13
943	1		\|a oai:aleph.bib-bvb.de:BVB01-007920659

Datensatz im Suchindex

DE-BY-TUM_call_number	0834 IB.208
DE-BY-TUM_katkey	892661
DE-BY-TUM_location	LSB
DE-BY-TUM_media_number	TEMP3010198
_version_	1821941072539942912
any_adam_object
author	Melzer, Stefan Esparza, Javier 1964-
author_GND	(DE-588)111831016
author_facet	Melzer, Stefan Esparza, Javier 1964-
author_role	aut aut
author_sort	Melzer, Stefan
author_variant	s m sm j e je
building	Verbundindex
bvnumber	BV011741053
ctrlnum	(OCoLC)258639084 (DE-599)BVBBV011741053
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01118nam a2200301 cb4500</leader><controlfield tag="001">BV011741053</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980129 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">980129s1995 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258639084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011741053</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-91</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9526</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Melzer, Stefan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Checking system properties via integer programming</subfield><subfield code="c">Stefan Melzer ; Javier Esparza</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">TUM I 9526</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">26 S.</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">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A]</subfield><subfield code="v">1995,13</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Esparza, Javier</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)111831016</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A]</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht</subfield><subfield code="v">1995,13</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1995,13</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007920659</subfield></datafield></record></collection>
id	DE-604.BV011741053
illustrated	Not Illustrated
indexdate	2024-12-20T10:17:50Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007920659
oclc_num	258639084
open_access_boolean
owner	DE-91 DE-BY-TUM
owner_facet	DE-91 DE-BY-TUM
physical	26 S.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
record_format	marc
series2	Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A]
spellingShingle	Melzer, Stefan Esparza, Javier 1964- Checking system properties via integer programming
title	Checking system properties via integer programming
title_alt	TUM I 9526
title_auth	Checking system properties via integer programming
title_exact_search	Checking system properties via integer programming
title_full	Checking system properties via integer programming Stefan Melzer ; Javier Esparza
title_fullStr	Checking system properties via integer programming Stefan Melzer ; Javier Esparza
title_full_unstemmed	Checking system properties via integer programming Stefan Melzer ; Javier Esparza
title_short	Checking system properties via integer programming
title_sort	checking system properties via integer programming
volume_link	(DE-604)BV004627888
work_keys_str_mv	AT melzerstefan checkingsystempropertiesviaintegerprogramming AT esparzajavier checkingsystempropertiesviaintegerprogramming AT melzerstefan tumi9526 AT esparzajavier tumi9526

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Handapparate (nicht verfügbar)

Bestandsangaben von Handapparate (nicht verfügbar)
Signatur:	0834 IB.208 Lageplan
Exemplar 1	Dauerhaft ausgeliehen Ausgeliehen