Verfügbarkeit: Boolean models and methods in mathematics, computer science, and engineering

Boolean models and methods in mathematics, computer science, and engineering:

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Crama, Yves 1958- (HerausgeberIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 2010
Schriftenreihe:	Encyclopedia of mathematics and its applications 134
Schlagworte:	Statistische Entscheidungstheorie Boolesche Algebra Maschinelles Lernen
Online-Zugang:	Cover Inhaltsverzeichnis 80 13 Inhaltsverzeichnis
Beschreibung:	XVIII, 759 S. graph. Darst.
ISBN:	9780521847520

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036706143
003	DE-604
005	20110630
007	t
008	101006s2010 d\|\|\| \|\|\|\| 00\|\|\| eng d
016	7		\|a 626325234 \|2 DE-101
020			\|a 9780521847520 \|9 978-0-521-84752-0
035			\|a (OCoLC)796185766
035			\|a (DE-599)GBV626325234
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-634 \|a DE-11 \|a DE-355
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
245	1	0	\|a Boolean models and methods in mathematics, computer science, and engineering \|c ed. by Yves Crama ...
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 2010
300			\|a XVIII, 759 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Encyclopedia of mathematics and its applications \|v 134
650	0	7	\|a Statistische Entscheidungstheorie \|0 (DE-588)4077850-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Maschinelles Lernen \|0 (DE-588)4193754-5 \|2 gnd \|9 rswk-swf
689	0	0	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	0	1	\|a Statistische Entscheidungstheorie \|0 (DE-588)4077850-2 \|D s
689	0	2	\|a Maschinelles Lernen \|0 (DE-588)4193754-5 \|D s
689	0		\|5 DE-604
700	1		\|a Crama, Yves \|d 1958- \|0 (DE-588)112187854 \|4 edt
830		0	\|a Encyclopedia of mathematics and its applications \|v 134 \|w (DE-604)BV000903719 \|9 134
856	4		\|u http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg \|3 Cover
856	4		\|u http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html \|3 Inhaltsverzeichnis
856	4		\|u http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html \|3 80
856	4		\|u http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html \|3 13
856	4	2	\|m Digitalisierung UB Regensburg \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020624450&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020624450

Datensatz im Suchindex

_version_	1804143348420706304
adam_text	Contents Preface page vii Introduction ix Acknowledgments xiii Contributors xv Acronyms and Abbreviations xvii Part I Algebraic Structures 1 Compositions and Clones of Boolean Functions 3 Reinhard Pöschel and Ivo Rosenberg 2 Decomposition of Boolean Functions 39 Jan C. Bioch Part II Logic 3 Proof Theory 79 Alasdair Urquhart 4 Probabilistic Analysis of Satisfiability Algorithms 99 John Franco 5 Optimization Methods in Logic 160 John Hooker Part III Learning Theory and Cryptography 6 Probabilistic Learning and Boolean Functions 197 Martin Anthony 7 Learning Boolean Functions with Queries 221 Robert H. Sloan, Balázs Szörényi, and György Turan vi Contents 8 Boolean Functions for Cryptography and Error-Correcting Codes 257 Claude Carlet 9 Vectorial Boolean Functions for Cryptography 398 Claude Carlet Part IV Graph Representations and Efficient Computation Models 10 Binary Decision Diagrams 473 Beate Bollig, Martin Sauerhoff, Detlef Sieling, and Ingo Wegener 11 Circuit Complexity 506 Matthias Krause and Ingo Wegener 12 Fourier Transforms and Threshold Circuit Complexity 531 Jehoshua Brück 13 Neural Networks and Boolean Functions 554 Martin Anthony 14 Decision Lists and Related Classes of Boolean Functions 577 Martin Anthony Part V Applications in Engineering 15 Hardware Equivalence and Property Verification 599 J.-H. Roland Jiang and Tiziano Villa 16 Synthesis of Multilevel Boolean Networks 675 Tiziano Villa, Robert K. Bray ton, and Alberto L. Sangiovanni- Vincentelli 17 Boolean Aspects of Network Reliability 723 Charlesi Colbourn
any_adam_object	1
author2	Crama, Yves 1958-
author2_role	edt
author2_variant	y c yc
author_GND	(DE-588)112187854
author_facet	Crama, Yves 1958-
building	Verbundindex
bvnumber	BV036706143
classification_rvk	SK 130
ctrlnum	(OCoLC)796185766 (DE-599)GBV626325234
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02086nam a2200445 cb4500</leader><controlfield tag="001">BV036706143</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110630 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101006s2010 d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">626325234</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521847520</subfield><subfield code="9">978-0-521-84752-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796185766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV626325234</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean models and methods in mathematics, computer science, and engineering</subfield><subfield code="c">ed. by Yves Crama ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 759 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="1" ind2=" "><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">134</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistische Entscheidungstheorie</subfield><subfield code="0">(DE-588)4077850-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Statistische Entscheidungstheorie</subfield><subfield code="0">(DE-588)4077850-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crama, Yves</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)112187854</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">134</subfield><subfield code="w">(DE-604)BV000903719</subfield><subfield code="9">134</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html</subfield><subfield code="3">80</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html</subfield><subfield code="3">13</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020624450&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020624450</subfield></datafield></record></collection>
id	DE-604.BV036706143
illustrated	Illustrated
indexdate	2024-07-09T22:46:14Z
institution	BVB
isbn	9780521847520
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020624450
oclc_num	796185766
open_access_boolean
owner	DE-634 DE-11 DE-355 DE-BY-UBR
owner_facet	DE-634 DE-11 DE-355 DE-BY-UBR
physical	XVIII, 759 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Cambridge Univ. Press
record_format	marc
series	Encyclopedia of mathematics and its applications
series2	Encyclopedia of mathematics and its applications
spelling	Boolean models and methods in mathematics, computer science, and engineering ed. by Yves Crama ... Cambridge [u.a.] Cambridge Univ. Press 2010 XVIII, 759 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Encyclopedia of mathematics and its applications 134 Statistische Entscheidungstheorie (DE-588)4077850-2 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Maschinelles Lernen (DE-588)4193754-5 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 s Statistische Entscheidungstheorie (DE-588)4077850-2 s Maschinelles Lernen (DE-588)4193754-5 s DE-604 Crama, Yves 1958- (DE-588)112187854 edt Encyclopedia of mathematics and its applications 134 (DE-604)BV000903719 134 http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg Cover http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html Inhaltsverzeichnis http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html 80 http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html 13 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020624450&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Boolean models and methods in mathematics, computer science, and engineering Encyclopedia of mathematics and its applications Statistische Entscheidungstheorie (DE-588)4077850-2 gnd Boolesche Algebra (DE-588)4146280-4 gnd Maschinelles Lernen (DE-588)4193754-5 gnd
subject_GND	(DE-588)4077850-2 (DE-588)4146280-4 (DE-588)4193754-5
title	Boolean models and methods in mathematics, computer science, and engineering
title_auth	Boolean models and methods in mathematics, computer science, and engineering
title_exact_search	Boolean models and methods in mathematics, computer science, and engineering
title_full	Boolean models and methods in mathematics, computer science, and engineering ed. by Yves Crama ...
title_fullStr	Boolean models and methods in mathematics, computer science, and engineering ed. by Yves Crama ...
title_full_unstemmed	Boolean models and methods in mathematics, computer science, and engineering ed. by Yves Crama ...
title_short	Boolean models and methods in mathematics, computer science, and engineering
title_sort	boolean models and methods in mathematics computer science and engineering
topic	Statistische Entscheidungstheorie (DE-588)4077850-2 gnd Boolesche Algebra (DE-588)4146280-4 gnd Maschinelles Lernen (DE-588)4193754-5 gnd
topic_facet	Statistische Entscheidungstheorie Boolesche Algebra Maschinelles Lernen
url	http://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg http://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html http://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html http://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020624450&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000903719
work_keys_str_mv	AT cramayves booleanmodelsandmethodsinmathematicscomputerscienceandengineering

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis
Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge