Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
58 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Publikation

58 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computer arithmetic and formal proofs : verifying floating-point algorithms with the coq system
    Boldo, Sylvie ; Melquiond, Guillaume
    2017
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Computer Arithmetic and Formal Proofs : Verifying Floating-Point Algorithms with the Coq System
    Boldo, Sylvie ; Melquiond, Guillaume, Sonstige
    2017
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
    Chlipala, Adam
    2013
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
    Chlipala, Adam
    2013
    Online Buch
    Zugriff:
    Volltext - Inhaltsverzeichnis
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Le coq d'or : Natalia Goncharova's designs for the Ballets Russes : Busch-Reisinger Museum, May 10 - August 24, 2003
    Gončarova, Natalija, Sonstige ; Homann, Joachim, Sonstige
    2003
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Coq au vin
    Carter, Charlotte
    1999
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Dictionary catalogue of the Byzantine collection of the Dumbarton Oaks Research Library, Washington, D.C.. 3. Bum - Coq
    University, Harvard
    1975
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    "Le coq, c'est moi!" : Brancusi's Pasarea Maiastra ; nationalistic self-portrait?
    Shanken, Edward A.
    In: Art criticism; (1998)
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    'Le Coq d'Or' : folk traditions and the making of high culture
    Kramer, Cheryl
    In: Inferno; (1994)
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Competitive displacement : extinction of the yellow scale, Aonidiella Citrina (Coq.) (Homoptera: Diaspididae), by its ecological homologue, the California red scale, Aonidiella Aurantii (Mask.) in Southern California
    Debach, Paul ; Hendrickson, Robert M. ; et al.
    1978
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Formalising LPOs and invariants in Coq
    Korver, Henri P. ; Sellink, Alex
    1995
    Buch
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Dictionary catalogue of the Byzantine Collection of the Dumbarton Oaks Research Library, Washington DC. 3. Bum - Coq
    Dumbarton Oaks Research Library and Collection
    1975
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Le coq et le cagou : essays on French & Pacific languages ; in honour of Jim Hollyman
    Corne, Chris, Sonstige ; Hollyman
    1986
    Buch
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Modern and old master prints : George Bellows "The (Great) White Hope" lithograph ; Pablo Picasso " La toilette de la mere" etching ; Felix Braquemond "Le vieux coq" etching and works by Bonnard, Braque, Chagall, De Chirico, Giacometti, Hassam, Laurencin, Moore, Orozco, Pechstein, Vasarely : property of various owners : public auction: Tuesday, September 29 at 2 p.m.
    Galleries, Parke-Bernet
    1970
    Buch
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    The Stein, Pelliot, and von Le Coq collections
    Bell, Hamilton
    In: The Burlington magazine for connoisseurs; (1914)
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    English and continental furniture, clocks, carpets and papier maché, bronzes and other works of art : including a bronze group of Le Genie de la Danse after J. B. Carpeaux, a bronze group of L'Enfant au Coq after Adriano Cecioni, Firenze, a Jennens and Bettridge papier maché tray, an ormolu-mounted Burr-walnut bureau de dame, French, late 19th century and other decorative cabinet and seat furniture which will be sold by auction on Wednesday, 17th May, 1972 ... by Sotheby's Belgravia, London ; [196 Nummern]
    Belgravia, Sotheby's
    1972
    Buch
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Designs for costumes and decors : ballet, opera, theater : the property of Mr. Igor Stravinsky, New York, the property of the Rt. Hon. the Marquess of Salisbury, K.G., P.C., the property of Monsieur Jean Hugo, Lunel, France, the property of Richard Buckle, Esq., London, the property of the library of the late Serge Grigoriev, the property of Mrs. B. Freedman, London, the property of Mr. R. Eric Gustafson, New York, the property of Eardley Knollys, Esq., London : including Léon Bakst - costume design for the Mistress of the wardrobe in The sleeping Beauty, New York, 1916, Boris Anisfeld - designs for Le Roi de Lahore, 1924, Pablo Picasso - Nemtchinova and Felix rehearsing Le Tricorne, 1919, Pablo Picasso - a scene from Pulchinella, 1919, Giorgio de Chirico - design for the decor of Protée, 1938, Sonia Delaunay - costume simultané, 1916, Natalia Gontcharova - eleven panels depicting the principal characters in Coq d'Or, Snegourotchka and Swan Lake, circa 1922, Marc Chagall - portrait of Igor Stravinsky, 1949, Alexandre Benois - design for the decor of Le Malade Imaginaire, 1911, Georges Yakoulov - costume designs for Le Pas d'Acier, 1927, Joseph Urban - designs for the Ziegfeld Follies, circa 1921 and also works by: Georges Braque, Mstislav Doboujinsky, Fortunato Depero, André Derain, Erté, Valentine Gross, Mikhail Larionov, Enrico Prampolini, Pedro Pruna, Sergeï Soudeikine, Georges Valmier, Léon Zack, and others : public auction Wednesday, May 6, 1970
    Galleries, Parke-Bernet
    1970
    Buch
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Pitman's business man's encyclopaedia and dictionary of commerce. 2. Coq - Int.
    Slater, J. A., Sonstige
    1923
    Buch
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Collier's encyclopedia : twenty volumes with bibliography and index. 6. Coq - Eau
    Barry, Charles P., Sonstige
    1950
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -