Häftad, Engelska, 2020
906 kr
Skickas inom 3-6 vardagar
Georg Weissenbacher – författare
Visar alla böcker från författaren Georg Weissenbacher. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
- Inbunden, Engelska, 2020
991 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2020
821 kr
Skickas inom 3-6 vardagar
- Inbunden, Engelska, 2020
891 kr
Skickas inom 5-8 vardagar
- Del 10982 - Lecture Notes in Computer Science
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Häftad, Engelska, 2018571 kr
Skickas inom 10-15 vardagar
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications. - Del 10981 - Lecture Notes in Computer Science
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Häftad, Engelska, 2018571 kr
Skickas inom 10-15 vardagar
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications. - Häftad, Tyska, 2008
315 kr
Skickas inom 10-15 vardagar
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in systematische Methoden zur Fehlersuche - Geringe Anforderungen an die mathematischen Vorkenntnisse - Ein vereinfachter X86 IA32-Prozessor als AnwendungsbeispielDie vorgestellten Beispiele werden mit Hilfe von Tools wie XILINX ISE und MentorGraphics ModelSim in echte Schaltungen umgesetzt. Diese Tools werden auch im industriellen Alltag eingesetzt. Im Internet werden weitere Übungen, realisierte Beispiele sowie Animationen angeboten. Für Dozenten stehen Folien zum Abrufen bereit. - E-bokPDF, Tyska, 2008
263 kr
Läs direkt efter köp
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in systematische Methoden zur Fehlersuche - Geringe Anforderungen an die mathematischen Vorkenntnisse - Ein vereinfachter X86 IA32-Prozessor als Anwendungsbeispiel
Die vorgestellten Beispiele werden mit Hilfe von Tools wie XILINX ISE und MentorGraphics ModelSim in echte Schaltungen umgesetzt. Diese Tools werden auch im industriellen Alltag eingesetzt. Im Internet werden weitere Übungen, realisierte Beispiele sowie Animationen angeboten. Für Dozenten stehen Folien zum Abrufen bereit.
