topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
ISBN: 9781441954237 / Angielski / Miękka / 2010 / 263 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The...
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processe...
|
cena:
576,96 zł |
 |
Datenstrukturen Und Effiziente Algorithmen Für Die Logiksynthese Kombinatorischer Schaltungen
ISBN: 9783519029458 / Niemiecki / Miękka / 1999 / 300 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal tungen, also dem Problem, eine moglichst in Platz und Zeit effiziente Rea lisierung einer vorgegebenen Booleschen Funktion zu finden. Viele bekannte und weniger bekannte Wissenschaftler haben sich in den letzten 50 Jahren mit dieser grundlegenden Thematik der Technischen Informatik befafit. Stellver tretend seien C. E. Shannon, W. Quine, EJ. McCluskey, J. P. Roth und O. B. Lupanov genannt. Wahrend sich die Arbeiten bis in die 80er Jahre...
Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal...
|
cena:
161,75 zł |
 |
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
ISBN: 9781402077258 / Angielski / Twarda / 2004 / 263 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The...
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processe...
|
cena:
576,96 zł |
 |
Kompaktkurs VHDL
ISBN: 9783486712926 / Niemiecki / Twarda / 2012 / 290 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Das Buch umfasst den Stoff einer einsemestrigen Vorlesung und bietet dem Leser eine leicht verstandliche und mit vielen interessanten Beispielen unterlegte Einfuhrung in die Sprache. Die Autoren verzichten bewusst auf die Erlauterung nur selten benutzter Konstrukte und konzentrieren ihre Darstellung auf die Betrachtung der Sprache unter dem Aspekt der Schaltkreissynthese. Das Buch verbindet Theorie und praktische Anwendungsbeispiele.
Das Buch umfasst den Stoff einer einsemestrigen Vorlesung und bietet dem Leser eine leicht verstandliche und mit vielen interessanten Beispielen unter...
|
cena:
149,61 zł |
 |
Technische Informatik: Eine Einführende Darstellung
ISBN: 9783486586503 / Niemiecki / Miękka / 2008 / 435 str. Termin realizacji zamówienia: ok. 22 dni roboczych. "Das Buch ist sorgfaltig und didaktisch gut geschrieben und eigent sich deshalb besonders fur Informatik-Studiengange." Czarnecki, FH Kempten
"Das Buch ist sorgfaltig und didaktisch gut geschrieben und eigent sich deshalb besonders fur Informatik-Studiengange." Czarnecki, FH Kempten
|
cena:
171,76 zł |
 |
MPI - Eine Einführung
ISBN: 9783486580686 / Niemiecki / Miękka / 2007 / 387 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Message Passing Interface (MPI) ist ein Protokoll, das parallel Berechnungen auf verteilten, heterogenen, lose-gekoppelten Computersystemen ermoglicht.
Message Passing Interface (MPI) ist ein Protokoll, das parallel Berechnungen auf verteilten, heterogenen, lose-gekoppelten Computersystemen ermoglicht...
|
cena:
322,22 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
