int.  (30 964 Angebote unter 17 616 190 Artikeln)

Invited Lectures.- Tableau Algorithms for Description Logics.- Modality and Databases.- Local Symmetries in Propositional Logic.- Comparison.- Design and Results of TANCS-2000 Non-classical (Modal)...

Die Delock PCI Express Karte erweitert Ihren PC um zwei USB 3.0 Ports. Sie können an die Karte sowohl intern als auch extern verschiedene USB 3.0 Geräte wie z.B. Docking Station, Card Reader, Hub, ...

Das IPC 1U-10248 ist das ideale Rack für ein kleines und kostengünstiges Serversystem. Durch die hervorragende Materialqualität und Verarbeitung hat Inter-Tech die Grundlagen für ein äußerst variab...

Der Entschluß, ein Buch über den Ursprung (bzw. die Ursprünge) des - bens zu verfassen, setzt voraus, daß man von diesem wissenschaftlichen ,,großen Problem" noch immer fasziniert ist, wenn auch di...

Diese PCI Express Karte von Delock erweitert den PC um zwei M.2 Slots. An die Karte können bis zu zwei M.2 SATA Module im 22110, 2280, 2260, 2242, 2230 Format angeschlossen werden. Bei der Verwendu...

Das kompakte und praktische Apple USB SuperDrive Laufwerk wird mit einem USB Kabel an das MacBook Pro mit Retina Display, das MacBook Air oder den Mac mini angeschlossen und passt leicht in jede Ta...

Das IPC 3U-30240 ist das perfekte Rack für ein kostengünstiges Serversystem. Durch die hervorragende Materialqualität verbunden mit der exzellenten Verarbeitung hat Inter-Tech die Grundlagen für ei...

IBM Keyboard w/ Int. Pointing Device USB

Agent based evolutionary search is an emerging paradigm in computational int- ligence offering the potential to conceptualize and solve a variety of complex problems such as currency trading, produ...

Diese PCI Express Karte von Delock ermöglicht die Installation von bis zu zwei mSATA Modulen, wie z. B. SSDs.

Origin Storage ist ein globaler Anbieter von IT-Storage-Lösungen und Komponenten. Das Produktportfolio umfasst Lösungen Festplatte, RAID-Lösungen und OEM-Teile. Origin Storage ist stolz auf seine e...

Durch die hervorragende Materialqualität verbunden mit der exzellenten Verarbeitung hat Inter-Tech die Grundlagen für ein äußerst variables Gehäuse geschaffen. So bietet das IPC 4U-40240 die Möglic...

Die Delock PCI Express Karte erweitert Ihren PC um drei externe USB 3.0 Ports sowie einen internen USB 3.0 Port. Sie können an die Karte verschiedene USB 3.0 Geräte, wie z.B. Docking Station, Card ...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT i...