Finde Tipps, Bewertungen und Funktionen zu Tobias Nipkow Types for Proofs, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tobias Nipkow - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 404, publicationDate : 2008-06-13, authors : Tobias Nipkow, Henk Barendregt, ISBN : 3540580859
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540580850
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Isabelle HOL A, zum Preis von 58.54 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 240, publicationDate : 2002-04-03, releaseDate : 2002-04-03, authors : Tobias Nipkow, ISBN : 3540433767
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540433767
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Concrete Semantics With, zum Preis von 71.89 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2014, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 298, publicationDate : 2014-12-15, authors : Tobias Nipkow, Gerwin Klein, languages : english, ISBN : 3319105418
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319105413
Finde Tipps, Bewertungen und Funktionen zu Tobias Nipkow Concrete Semantics With, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tobias Nipkow - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2016-09-10, releaseDate : 2016-09-10, authors : Tobias Nipkow, ISBN : 331935759X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319357591
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Rewriting Techniques and, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 360, publicationDate : 2008-06-13, authors : Tobias Nipkow, ISBN : 354064301X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540643012
Erhalte Tipps, Meinungen und Funktionen zu Tobias Nipkow Automated Reasoning First, das für 106.99 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Tobias Nipkow - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 728, publicationDate : 2008-06-13, authors : Tobias Nipkow, Alexander Leitsch, Rajeev Gore, ISBN : 3540422544
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540422549
Finde Tipps, Bewertungen und Funktionen zu Jean Christophe Filli tre GEBRAUCHT, das für 11.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jean-Christophe Filliâtre - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2006, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 288, publicationDate : 2008-10-10, publishers : Jean-Christophe Filliâtre, languages : english, ISBN : 3540314288
Zustand: used
Verfügbarkeit: in_stock
Versandkosten: 1.99
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540314288
Entdecke Informationen, Ratschläge und Preise für LEDVANCE damp proof eco 2520lm, das für 40.92 € verkauft wird und in der Kategorie Innenbeleuchtung erhältlich ist; dieses Produkt wird von Proshop.de verkauft und von LEDVANCE hergestellt.
Damp-proof luminaires, classic shape with 3x1.5mm2 throughwiring. Product features: High luminous efficacy: up to 135 lm/W. Type of protection: IP65. Beam angle: 110°, 90° x 60°, 30°x 80°. Through-wiring 3x1.5mm2 already installed. Polycarbonate housing. Product benefits: Low flicker 5 %. Evenly distributed light. Energy savings of up to 60 % (compared to luminaires that use fluorescent lamps. Easy installation, no tools required for connection. 5 years guarantee. Areas of application: Industrial and storage facilities. Car parks and underpasses. Garages. Workshops, assembly lines. Equipment / Accessories: Stainless steel clamps with safety screws included. Mounting accessories included (suspension kit, theft protection kit).
Zustand: new
Verfügbarkeit: in_stock
Versandkosten: 4.99
Lieferzeit: 4 Tage
EAN: 4099854080326
Erhalte Tipps, Meinungen und Funktionen zu LEDVANCE damp proof eco 2520lm, das für 40.92 € erhältlich ist; dieses Produkt ist in der Kategorie Innenbeleuchtung gelistet, wird von LEDVANCE hergestellt und von Proshop.de verkauft.
Damp-proof luminaires, classic shape with 3x1.5mm2 throughwiring. Product features: High luminous efficacy: up to 135 lm/W. Type of protection: IP65. Beam angle: 110°, 90° x 60°, 30°x 80°. Through-wiring 3x1.5mm2 already installed. Polycarbonate housing. Product benefits: Low flicker 5 %. Evenly distributed light. Energy savings of up to 60 % (compared to luminaires that use fluorescent lamps. Easy installation, no tools required for connection. 5 years guarantee. Areas of application: Industrial and storage facilities. Car parks and underpasses. Garages. Workshops, assembly lines. Equipment / Accessories: Stainless steel clamps with safety screws included. Mounting accessories included (suspension kit, theft protection kit).
Zustand: new
Verfügbarkeit: in_stock
Versandkosten: 4.99
Lieferzeit: 4 Tage
EAN: 4099854080326
Finde Tipps, Bewertungen und Funktionen zu Peter Dybjer Types for Proofs, das für 53.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Peter Dybjer - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2008-06-13, authors : Peter Dybjer, Jan Smith, Bengt Nordstr??m, ISBN : 3540605797
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540605799
Erhalte Tipps, Meinungen und Funktionen zu Stefano Berardi Types for Proofs, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Stefano Berardi - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1996, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2008-06-13, authors : Stefano Berardi, Mario Coppo, ISBN : 3540617809
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540617808
Entdecke Informationen, Ratschläge und Preise für Thorsten Altenkirch Types for Proofs, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Thorsten Altenkirch - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2008-06-13, authors : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, ISBN : 3540665374
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540665373
Finde Tipps, Bewertungen und Funktionen zu Andrews Peter B An Introduction, das für 121.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Andrews, Peter B. - und wird von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 2nd ed. 2002, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 390, publicationDate : 2002-07-31, authors : Andrews, Peter B., ISBN : 1402007639
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402007637
Erhalte Tipps, Meinungen und Funktionen zu Robert Pollack Types for Proofs, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Robert Pollack - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 256, publicationDate : 2008-06-13, authors : Robert Pollack, Paul Callaghan, James McKinna, Zhaohui Luo, ISBN : 3540432876
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540432876
Entdecke Informationen, Ratschläge und Preise für Stefano Berardi Types for Proofs, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Stefano Berardi - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 424, publicationDate : 2008-06-13, releaseDate : 2004-08-15, authors : Stefano Berardi, Ferruccio Damiani, Mario Coppo, ISBN : 3540221646
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540221647
Entdecke Informationen, Ratschläge und Preise für Harvey Newcomb The Four Pillars, das für 31.3 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Harvey Newcomb - hergestellt.
Binding : Taschenbuch, Label : Wipf and Stock, Publisher : Wipf and Stock, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 310, publicationDate : 2021-03-30, releaseDate : 2021-03-30, authors : Harvey Newcomb, ISBN : 1725299151
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781725299153
Finde Tipps, Bewertungen und Funktionen zu Marino Miculan Types for Proofs, das für 42.4 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Marino Miculan - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 3, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2008-07-07, releaseDate : 2008-07-04, publishers : Marino Miculan, ISBN : 3540680845
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540680840
Entdecke Informationen, Ratschläge und Preise für Eduardo Gimenez Types for Proofs, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Eduardo Gimenez - hergestellt.
Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 388, publicationDate : 2008-06-13, authors : Eduardo Gimenez, Christine Paulin-Mohring, languages : english, ISBN : 3540651373
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540651376
Finde Tipps, Bewertungen und Funktionen zu Andrews Peter B An Introduction, das für 96.26 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Andrews, Peter B. - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2nd ed. 2002. Softcover reprint of the original 2nd ed. 2002, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 412, publicationDate : 2010-12-09, releaseDate : 2010-12-09, authors : Andrews, Peter B., ISBN : 9048160790
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9789048160792
Entdecke Informationen, Ratschläge und Preise für Stefano Berardi Types for Proofs, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Stefano Berardi - hergestellt.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 332, publicationDate : 2009-06-19, releaseDate : 2009-06-19, publishers : Stefano Berardi, languages : english, ISBN : 3642024432
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642024436