comp  (19 730 Angebote unter 18 333 149 Artikeln)

IDS Griff RETRO chrom Hebelgriff Serie: Retro Hersteller: Ideal Standard Farbe / Oberfläche: Chrom (glänzend) Oberfläche: verchromt Gewicht: 0,193 kg Artikel-Nr.: H961437AA Weitere technische Eigen...

The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researc...

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of th...

Sportiver Notebookrucksack mit ansprechendem Design. Idealer Begleiter in der Berufswelt, bei Messen oder Freizeit. - Passend für alle gängigen 17" Notebooks. - Geringes Eigengewicht für optimalen ...

Explores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for form...

Explores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for form...

Gepolstert von oben bis unten: Vom Notebookfach, Media-Player-Fach, Schultergurten bis zum Rückensystem.

1 Aufbau von Datenverarbeitungsanlagen.- 1.1 Allgemeines.- 1.2 Eingabeeinheiten.- 1.3 Speicher.- 1.4 Rechenwerk.- 1.5 Steuerwerk.- 1.6 Ausgabeeinheit.- 1.7 Externe Speicher.- 1.8 Struktur einer Dat...

This book develops a theory of extrapolation spaces with applications to classical and modern analysis. Extrapolation theory aims to provide a general framework to study limiting estimates in analy...

Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7 Com...

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico....

Zubehör-Typ = Adapter The SEGGER Adapts from the standard J-Link 20-pin 0.1″ target connector to Xilinx 14-pin 2 mm connector (comp. Platform Cable USB II).Package includes: 14-pin 2mm ribbon cable

Frontmatter -- INHALT -- Der Apparat von W. Thomson zur Beobachtung der atmosphärischen Electricität -- Ueber eine zweckmässige Einrichtung des Spiegelgalvanometers -- Die photometrischen Apparate,...