wyszukanych pozycji: 10
Digitaltechnik - Eine Praxisnahe Einführung
ISBN: 9783540777281 / Niemiecki / Miękka / 2008 / 226 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Einfuhrungswerk in die Digitaltechnik wurde speziell fur Bachelorstudenten entwickelt. Es enthalt viele auf den Anfanger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einfuhrung 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.... Dieses Einfuhrungswerk in die Digitaltechnik wurde speziell fur Bachelorstudenten entwickelt. Es enthalt viele auf den Anfanger zugeschnittene prak... |
|
cena:
109,58 zł |
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1
ISBN: 9783319088662 / Angielski / Miękka / 2014 / 877 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination;...
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer...
|
|
cena:
390,87 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
ISBN: 9783030451899 / Angielski / Miękka / 2020 / 501 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
156,32 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
ISBN: 9783030452360 / Angielski / Miękka / 2020 / 425 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
156,32 zł |
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings
ISBN: 9783540372066 / Angielski / Miękka / 2006 / 456 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. ... |
|
cena:
195,42 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013277214 / Angielski / Twarda / 2020 / 438 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
326,52 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013277184 / Angielski / Miękka / 2020 / 516 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
291,86 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013277207 / Angielski / Miękka / 2020 / 438 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
267,11 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013277191 / Angielski / Twarda / 2020 / 516 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
346,32 zł |
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ISBN: 9783642396106 / Angielski / Miękka / 2013 / 281 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...
|
|
cena:
179,82 zł |