Algorithmen: Entwurf von Algorithmen zum Loesen allgemeiner Probleme
ISBN: 9781955786577 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Algoritmos: Guia practica para aprender algoritmos para principiantes
ISBN: 9781955786492 / Hiszpański Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Algorithms: Design Algorithms to Solve Common Problems
ISBN: 9781955786478 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Algoritmos: Disenar algoritmos para resolver problemas comunes
ISBN: 9781955786508 / Hiszpański Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Algorithmen: Fortgeschrittene Datenstrukturen fur Algorithmen
ISBN: 9781955786584 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Algoritmos: Estructuras de datos avanzadas para algoritmos
ISBN: 9781955786515 / Hiszpański Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
99,99 zł |
Thermal-Aware Testing of Digital VLSI Circuits and Systems
ISBN: 9780367607098 / Angielski / Miękka / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
100,89 zł |
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
ISBN: 9783540574798 / Niemiecki / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd...
|
|
cena:
107,67 zł |
An Introduction to Logic Circuit Testing
ISBN: 9783031797842 / Angielski / Miękka / 99 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circuits/systems. The material covered in the book should be sufficient for a course, or part of a course, in digital circuit testing for senior-level undergraduate and first-year graduate students in Electrical Engineering and Computer Science. The book will also be a valuable resource for engineers working in the industry. This book has four chapters. Chapter 1 deals with various types of faults that may occur in very large scale integration...
An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circ...
|
|
cena:
107,67 zł |
Logikkalküle in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
ISBN: 9783834818874 / Niemiecki / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuls, also zwischen Semantik und Syntax. Wie dieser Graben uberwunden wird, wird fur verschiedene auch nicht-klassische Logiken vorgefuhrt:
Pradikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfuhrende Ubersicht uber Logiken gegeben, die an manchen Stellen der Informatik benotigt werden, zu deren... Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und...
|
|
cena:
107,82 zł |
Exploring Alternate Realities Through Parallel Worlds
ISBN: 9788196782580 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
108,65 zł |
Effective Logic Computation: Revised Edition
ISBN: 9780999140215 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
114,04 zł |
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979
ISBN: 9783540095118 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
115,36 zł |
Stacs 84: Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984
ISBN: 9783540129202 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et Technique) and GI (Gesellschaft fur Informatik)
Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et Technique) and GI (Gesellschaft fur Informatik)
|
|
cena:
115,36 zł |
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik
ISBN: 9783540643920 / Niemiecki / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die...
Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten ...
|
|
cena:
118,60 zł |
Theoretische Informatik: Eine Kompakte Einführung
ISBN: 9783540013136 / Niemiecki / Twarda / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch losbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu losen? (Theorie der Berechnungskomplexitat, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) ...Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a.... |
|
cena:
118,60 zł |
Logo! 8: A Practical Introduction, with Circuit Solutions and Example Programs
ISBN: 9783895784453 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Addressing students and engineers, but also hobby engineers, this practical guide will help to easily and cost-effectively implement technical solutions in home and installation technology, as well as small-scale automation solutions in machine and plant engineering.
The book descriptively illustrates how to plan LOGO 8 projects, develop programs and how to select the hardware. Standard control technology scenarios are demonstrated by building on the fundamentals of modern information technology and with the help of several real-life sample switches. In addition, readers are provided... Addressing students and engineers, but also hobby engineers, this practical guide will help to easily and cost-effectively implement technical solutio...
|
|
cena:
119,54 zł |
PLC Programming Using RSLogix 5000: Understanding Ladder Logic and the Studio 5000 Platform
ISBN: 9781806309092 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
125,16 zł |
Make: FPGAs: Turning Software Into Hardware with Eight Fun and Easy DIY Projects
ISBN: 9781457187858 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate Arrays (FPGAs), you can design such a machine with your mouse and keyboard. When you deploy it to the FPGA, it immediately takes on the behavior that you defined. Want to create something that behaves like a display driver integrated circuit? How about a CPU with an instruction set you dreamed up? Or your very own Bitcoin miner You can do all... What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending i... |
|
cena:
125,33 zł |
Algorithmen: Dieses Buch enthalt: Praktischer Leitfaden zum Erlernen von Algorithmen fur Anfanger + Entwurf von Algorithmen zum Loesen allgemeiner Probleme + Fortgeschrittene Datenstrukturen fur Algor
ISBN: 9781955786591 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
125,33 zł |