» książki » Computers - Programming - General
 |
ESL Models and Their Application: Electronic System Level Design and Verification in Practice
ISBN: 9781461425410 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book arises from experience the authors have gained from years of work as industry practitioners in the field of Electronic System Level design (ESL). At the heart of all things related to Electronic Design Automation (EDA), the core issue is one of models: what are the models used for, what should the models contain, and how should they be written and distributed. Issues such as interoperability and tool transportability become central factors that may decide which ones are successful and those that cannot get sufficient traction in the industry to survive. Through a set of... This book arises from experience the authors have gained from years of work as industry practitioners in the field of Electronic System Level desig... |
cena:
453,56 |
 |
Introduction to Databases: From Biological to Spatio-Temporal
ISBN: 9781447125334 / Angielski / Miękka / 743 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduced forty years ago, relational databases proved unusually succe- ful and durable. However, relational database systems were not designed for modern applications and computers. As a result, specialized database systems now proliferate trying to capture various pieces of the database market. Database research is pulled into di?erent directions, and speci- ized database conferences are created. Yet the current chaos in databases is likely only temporary because every technology, including databases, becomes standardized over time. The history of databases shows periods of chaos followed...
Introduced forty years ago, relational databases proved unusually succe- ful and durable. However, relational database systems were not designed for m...
|
cena:
363,81 |
 |
Lineare Programmierung: Ein Programmiertes Lehrbuch Für Studierende Des Faches Operations Research
ISBN: 9783110019926 / Niemiecki / Twarda / 365 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Programmiersprachen für die numerische Werkzeugmaschinensteuerung
ISBN: 9783110042405 / Niemiecki / Twarda / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Programmierübungen in FORTRAN
ISBN: 9783110083675 / Niemiecki / Twarda / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Einführung in das Programmieren in PASCAL
ISBN: 9783110095326 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Software-Konzepte der Wirtschaftsinformatik
ISBN: 9783110099010 / Niemiecki / Twarda / 295 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Boinc: Hochleistungsrechnen Mit Berkeley Open Infrastructure for Network Computing
ISBN: 9783642233821 / Niemiecki / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mit BOINC konnen komplexe und rechenintensive Probleme im Sinne des Public Resource Computing gelost werden: Freiwillige melden sich bei einem BOINC-Projekt an und stellen ihre Rechnerressourcen zur Verfugung. Der Autor erlautert die einzelnen Entwicklungsschritte, so dass ein voll funktionsfahiges BOINC-Projekt erstellt und effizient gewartet werden kann. Komplexe Zusammenhange werden anhand der Unified Modeling Language (UML) veranschaulicht. Mit detaillierten Beschreibungen der Programmierschnittstelle und praxisnahen Fallbeispielen."
Mit BOINC konnen komplexe und rechenintensive Probleme im Sinne des Public Resource Computing gelost werden: Freiwillige melden sich bei einem BOINC-P...
|
cena:
253,23 |
 |
Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
ISBN: 9783642308345 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Published in honor of the 65th birthday of Bernd Kramer, this book offers 11 contributions by close scientific companions on such topics as Petri nets and theoretical computer science, software and service engineering, cloud computing and e-learning.
Published in honor of the 65th birthday of Bernd Kramer, this book offers 11 contributions by close scientific companions on such topics as Petri nets...
|
cena:
202,19 |
 |
Application and Theory of Petri Nets: 33rd International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
ISBN: 9783642311307 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012.
Constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, h...
|
cena:
202,19 |
 |
Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, Usa, July 7-13, 2012 Proceedings
ISBN: 9783642314230 / Angielski / Miękka / 789 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security,...
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, US...
|
cena:
202,19 |
 |
Descriptional Complexity of Formal Systems: 14th International Workshop, Dcfs 2012, Braga, Portugal, July 23-25, 2012, Proceedings
ISBN: 9783642316227 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena;...
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, P...
|
cena:
202,19 |
 |
Definitive ANTLR 4 Reference
ISBN: 9781934356999 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on top. This completely rewritten new edition of the bestselling Definitive ANTLR Reference shows you how to take advantage of these new features. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file... |
cena:
168,75 |
 |
Embedded Software Design and Programming of Multiprocessor System-On-Chip: Simulink and System C Case Studies
ISBN: 9781461425670 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific communication infrastructure in order to achieve the required performance. Heterogeneous MPSoC includes different types of processing units (DSP, microcontroller, ASIP) and different communication schemes (fast links, non standard memory organization and access). Programming an MPSoC requires the generation of efficient software running on MPSoC from a high level environment, by using the characteristics of the architecture. This task is known... Current multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific commun... |
cena:
444,86 |
 |
The Simd Model of Parallel Computation
ISBN: 9781461276067 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1.1 Background There are many paradigmatic statements in the literature claiming that this is the decade of parallel computation. A great deal of research is being de voted to developing architectures and algorithms for parallel machines with thousands, or even millions, of processors. Such massively parallel computers have been made feasible by advances in VLSI (very large scale integration) technology. In fact, a number of computers having over one thousand pro cessors are commercially available. Furthermore, it is reasonable to expect that as VLSI technology continues to improve, massively...
1.1 Background There are many paradigmatic statements in the literature claiming that this is the decade of parallel computation. A great deal of rese...
|
cena:
202,19 |
 |
Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983
ISBN: 9783642464928 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
|
cena:
404,42 |
 |
Cad-Datenaustausch-Knigge: Step-2dbs Für Architekten Und Bauingenieure
ISBN: 9783642480515 / Niemiecki / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Baupl{ne werden heute zunehmend mit CAD-Systemen erstellt. Ein Austausch derCAD-Daten unter den an der Bauplanung be- teiligten Architekten und Ingenieuren er-ffnet dabei weit- reichende M-glichkeiten den CAD-Einsatz wirtschaftlicher zu gestalten und die Planungsqualit{t zu steigern. F}r den Da- tentransfer zwischen verschiedenen CAD-Systemen wird eine Schnittstelle, ein sogenanntes Datenaustauschformat, ben-- tigt. Die zuk}nftige Standardschnittstelle wird STEP-2DBS sein, da sie speziell auf die Bed}rfnisse des Bauwesens aus- gelegt ist und vom Bundesbauministerium und den Baubeh-rden als...
Baupl{ne werden heute zunehmend mit CAD-Systemen erstellt. Ein Austausch derCAD-Daten unter den an der Bauplanung be- teiligten Architekten und Ingeni...
|
cena:
170,08 |
 |
Verification and Validation of Real-Time Software
ISBN: 9783642702266 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may range from being inconvenient to disastrous in both economic and human terms. As a result, there is much pressure to develop and apply techniques to improve the reliability of real-time software so that the frequency and consequences of failure are reduced to a level that is as low as reasonably...
W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and...
|
cena:
202,19 |
 |
Unix ALS Basis Für Softwareentwicklung
ISBN: 9783642702655 / Niemiecki / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. UNIX ist ein dialogorientiertes Mehrbenutzer-Betriebssystem. Es wurde in den fru hen 70er Jahren an den Bell Laboratories fur Systeme der Serie DEC PDP-}} ent wickelt. Die Mitte 70er Jahre fertiggestellte Version von UNIX konzentrierte seine zielsystemspezifischen Teile auf einen relativ kleinen Kern. Damit offnete sich UNIX der Weg fur einen Einsatz auf breiter Front, wie er nur fur ein herstellerun abhangiges Betriebssystem denkbar ist. Die enorme Verbreitung begann sich vor erst an Universitaten sowie an Forschungs-und Entwicklungslabors bemerkbar zu machen, wobei UNIX bis in die spateren...
UNIX ist ein dialogorientiertes Mehrbenutzer-Betriebssystem. Es wurde in den fru hen 70er Jahren an den Bell Laboratories fur Systeme der Serie DEC PD...
|
cena:
151,15 |
 |
Denkfallen Und Programmierfehler
ISBN: 9783642753251 / Niemiecki / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch wird die Programmiertatigkeit vom Standpunkt der evolutionaren Erkenntnistheorie neu beleuchtet. Die Auseinandersetzung mit dem Induktionsproblem mundet in die Formulierung der sogenannten negativen Methode. Sie bietet die besten Aussichten auf Erfolg beim Programmieren und ermoglicht optimales Lernen aus den Fehlern. Die Denkfallen beim Programmieren werden anhand typischer und gelaufiger Programmierfehler aufgezeigt und in ein geschlossenes System gebracht. Eine darauf aufbauende systematische Fehleranalyse fuhrt zu konkreten Handlungsanweisungen. Die praktische Bedeutung...
In diesem Buch wird die Programmiertatigkeit vom Standpunkt der evolutionaren Erkenntnistheorie neu beleuchtet. Die Auseinandersetzung mit dem Indukti...
|
cena:
207,85 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
