ZIB

1

Book

Proceedings of the International Workshop on Parallel Symbolic Computation / (2010)

Association for Computing Machinery

New York :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the International Workshop on Parallel Symbolic Computation /

Contributer: Association for Computing Machinery

Publisher: New York :ACM,

Year of publication: 2010

Pages: 106 S.

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

2

Book

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 / (2010)

Watt, Stephen M. [[Hrsg.]]

New York, NY :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 /

Author: Watt, Stephen M.

Contributer: Association for Computing Machinery

Publisher: New York, NY :ACM,

Year of publication: 2010

Pages: XVI, 363 S. : , graph. Darst.

ISBN: 978-1-4503-0150-3

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

3

Book

Proofs from THE BOOK / (2010)

Aigner, Martin ; Ziegler, Günter M. ; Hofmann, Karl H.

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Proofs from THE BOOK /

Author: Aigner, Martin

Contributer: Ziegler, Günter M. , Hofmann, Karl H.

Edition: 4. ed.

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2010

Pages: VIII, 274 S. : , Ill., graph. Darst. ; , 25 cm, 860 gr.

ISBN: 978-3-642-00855-9 , 978-642-00856-6

Type of Medium: Book

Language: English

Parallel Title: Aigner, Martin: Das Buch der Beweise

URL: http://d-nb.info/99594685X/04

URL: http://zbmath.org/?q=an:1185.00001

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

4

Book

¬Das¬ Buch der Beweise / (2010)

Aigner, Martin ; Ziegler, Günter M. ; Hofmann, Karl H. [[Zeichner]]

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: ¬Das¬ Buch der Beweise /

Author: Aigner, Martin

Contributer: Ziegler, Günter M. , Hofmann, Karl H.

Uniform Title: Proofs from THE BOOK 〈dt.〉

Edition: 3. Aufl.

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2010

Pages: VIII, 310 S. : , Ill., graph. Darst.

ISBN: 978-3-642-02258-6

Type of Medium: Book

Language: German

URL: http://zbmath.org/?q=an:1177.00002

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

5

Journal/Serial

ACM transactions on programming languages and systems : ACM TOPLAS (from 1979)

Association for Computing Machinery

New York, NY :Assoc., ; 1.1979/80 -

add to mindlist on the mindlist

Details

Title: ACM transactions on programming languages and systems : ACM TOPLAS

Author: Association for Computing Machinery

Publisher: New York, NY :Assoc.,

Year of publication: 1979

Dates of Publication: 1.1979/80 -

ISSN: 0164-0925

Type of Medium: Journal/Serial

Language: Undetermined

URL: Zugriff auf Volltexte nicht möglich

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

6

Book

Matroide und Transversaltheorie; 2 (1976)

Aigner, Martin

Berlin u.a. :Springer,

add to mindlist on the mindlist

Details

Title: Matroide und Transversaltheorie; 2

Author: Aigner, Martin

Publisher: Berlin u.a. :Springer,

Year of publication: 1976

Pages: 324 S.

Series Statement: Kombinatorik 2

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

7

Journal/Serial

ACM transactions on database systems : a publ. of the Assoc. for Computing Machinery (from 1976)

Association for Computing Machinery

New York, NY [u.a.] :ACM Press, ; 1.1976 -

add to mindlist on the mindlist

Details

Title: ACM transactions on database systems : a publ. of the Assoc. for Computing Machinery

Author: Association for Computing Machinery

Publisher: New York, NY [u.a.] :ACM Press,

Year of publication: 1976

Dates of Publication: 1.1976 -

ISSN: 0362-5915

Type of Medium: Journal/Serial

URL: http://portal.acm.org/browse_dl.cfm?linked=1&part=transaction&idx=J777&coll=portal&dl=ACM&CFID=10620765&CFTOKEN=96237998

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin