» książki » Computers - Programming - General
topmenu
 |
Handbook of Open Source Tools
ISBN: 9781441977182 / Angielski / Twarda / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Handbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software applications. The book contains information on more than 200 open-source tools which include software construction utilities for compilers, virtual-machines, database, graphics, high-performance computing, OpenGL, geometry, algebra, graph theory, GUIs and more. Special highlights for software construction utilities and application libraries are included. Each tool is covered in the context of a real like application development setting. This unique handbook... Handbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software applications... |
cena:
644,07 |
 |
Advanced Topics in Term Rewriting
ISBN: 9781441929211 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
cena:
201,24 |
 |
Designing Evolutionary Algorithms for Dynamic Environments
ISBN: 9783642059520 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization and search techniques for many industries. Despite the success of EAs, the resultant solutions are often fragile and prone to failure when the problem changes, usually requiring human intervention to keep the EA on track. Since many optimization problems in engineering, finance, and information technology require systems that can adapt to changes over time, it is desirable that EAs be able to respond to changes in the environment on their own....
The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization an...
|
cena:
201,24 |
 |
Theory of Semi-Feasible Algorithms
ISBN: 9783642075810 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The primary goal of this book is unifying and making more widely accessible the vibrant stream of research - spanning more than two decades - on the theory of semi-feasible algorithms. In doing so it demonstrates the richness inherent in central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. The book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science. Another aim of this book is to lay out a path along which the reader can quickly reach the frontiers of current research, and...
The primary goal of this book is unifying and making more widely accessible the vibrant stream of research - spanning more than two decades - on the t...
|
cena:
402,53 |
 |
Artificial Intelligence in Logic Design
ISBN: 9789048165834 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are three outstanding points of this book. First: for the first time, a collective point of view on the role of artificial intelligence paradigm in logic design is introduced. Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres. The chapters of the book have been carefully reviewed by equally qualified experts. All contributors are experienced in practical electronic design and in teaching engineering courses. Thus, the book's...
There are three outstanding points of this book. First: for the first time, a collective point of view on the role of artificial intelligence paradigm...
|
cena:
603,81 |
 |
Reasoning Robots: The Art and Science of Programming Robotic Agents
ISBN: 9789048167838 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor...
The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing...
|
cena:
201,24 |
 |
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
ISBN: 9783540170822 / Angielski / Miękka / 525 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of...
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed sys...
|
cena:
402,53 |
 |
Evolutionary Algorithms in Engineering Applications
ISBN: 9783642082825 / Angielski / Miękka / 555 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population genetics. They are appealing because they are simple, easy to interface, and easy to extend. This volume is concerned with applications of evolutionary algorithms and associated strategies in engineering. It will be useful for engineers, designers, developers, and researchers in any scientific discipline interested in the applications of evolutionary algorithms. The volume consists of five parts, each with four or five chapters. The topics are chosen to emphasize...
Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population genetics. They are appealing...
|
cena:
563,56 |
 |
Application-Driven Architecture Synthesis
ISBN: 9780792393559 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing.
In order to deal with the stringent timing requirements and the intricacies of complex real-time signal and data processing, target architecture styles and target application domains have been adopted to make the synthesis approach feasible. These approaches are also heavily application-driven, which is illustrated by many realistic demonstrations, used as examples in the book. The focus is on domains where application-specific solutions are... Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing.
In... |
cena:
603,81 |
 |
On the Move to Meaningful Internet Systems: Otm 2010: Confederated International Conferences: Coopis, Is, DOA and Odbase, Hersonissos, Crete, Greece,
ISBN: 9783642169489 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. and ontologies, and CoopIS(CooperativeInformationSystems, since 1993), c- ering the application of these technologies in an enterprise context through, for example, work?owsystemsandknowledgemanagement. In2007theISworkshop (Information Security) was added to try cover also the speci?c issues of security in complex Internet-based information systems. Each of the main conferences speci?cally seeks high-quality contributions and encourages researchers to treat their respective topics within a framework that incorporates jointly (a) theory, (b) conceptual design and development, and (c)...
and ontologies, and CoopIS(CooperativeInformationSystems, since 1993), c- ering the application of these technologies in an enterprise context through...
|
cena:
201,24 |
 |
Validated Designs for Object-oriented Systems
ISBN: 9781849969437 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. ...Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers... |
cena:
281,60 |
 |
Object Oriented Simulation: A Modeling and Programming Perspective
ISBN: 9781441955005 / Angielski / Miękka / 431 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object Oriented Simulation Jose Garrido About this textbook: Object Oriented Simulation will qualify as a valuable resource to students and accomplished professionals and researchers alike, as it provides an extensive, yet comprehensible introduction to the basic principles of object-oriented modeling, design and implementation of simulation models. Key features include an introduction to modern commercial graphical simulation and animation software, accessible breakdown of OOSimL language constructs through... Object Oriented Simulation Jose Garrido About this textbook: Object Oriented Simulation<... |
cena:
603,81 |
 |
Software Verification and Validation: An Engineering and Scientific Approach
ISBN: 9781441941008 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The World is lacking an in-depth technical book describing the meth ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech nical reference providing the methods and techniques for building and...
The World is lacking an in-depth technical book describing the meth ods and techniques used to provide confidence in our system software. Not only is ...
|
cena:
342,14 |
 |
Modeling Semantic Web Services: The Web Service Modeling Language
ISBN: 9783642087851 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book lays the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services. The authors introduce the Web Service Modeling Language (WSML) in the form of ontologies.
This book lays the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services. ...
|
cena:
201,24 |
 |
The Complexity Theory Companion
ISBN: 9783642086847 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Invitation Invitation Secret Secret 1 1 Algorithms Algorithms are are at at the the heart heart of of complexity complexity theory. theory. That That is is the the dark dark secret secret of of complexity complexity theory. theory. It It is is recognized recognized by by complex- complex- ity ity theorists, theorists, but but would would be be literally literally incredible incredible to to most most others. others. In In this this book, book, we we hope hope to to make make this this secret secret credible. credible. In In fact, fact, the the real real secret secret is is even even more more...
Invitation Invitation Secret Secret 1 1 Algorithms Algorithms are are at at the the heart heart of of complexity complexity theory. theory. That That ...
|
cena:
229,43 |
 |
Clean Coder, The: A Code of Conduct for Professional Programmers
ISBN: 9780137081073 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programmers who endure and succeed amidst swirling uncertainty and nonstop pressure share a common attribute: They care deeply about the practice of creating software. They treat it as a craft. They are professionals. In The Clean Coder: A Code of Conduct for Professional Programmers, legendary software expert Robert C. Martin introduces the disciplines, techniques, tools, and practices of true software craftsmanship. This book is packed with practical advice-about everything from estimating and coding to refactoring and testing. It covers much more than technique:...
Programmers who endure and succeed amidst swirling uncertainty and nonstop pressure share a common attribute: They care deeply about the practice of c...
|
cena:
186,14 |
 |
Parallele Systeme
ISBN: 9783540160632 / Niemiecki / Mikrofilm / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Systeme paralleler Prozesse gehoren seit jeher zu den reizvollsten Forschungs- gegenstanden der Informatik. Gleichzeitig klafft die Lucke zwischen Theorie und den Bedurfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benotigt wissenschaftlich fundierte Methoden zur Programmkonstruktion fur - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program- miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme erganzt wurden. Der Theoretiker, der das Wesen der...
Systeme paralleler Prozesse gehoren seit jeher zu den reizvollsten Forschungs- gegenstanden der Informatik. Gleichzeitig klafft die Lucke zwischen The...
|
cena:
206,88 |
 |
Mechanismen Zur Synchronisation Paralleler Prozesse
ISBN: 9783540172178 / Niemiecki / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit entspricht inhaltlich meiner im Oktober 1985 yom Fach bereich Informatik der Technischen Hochschule Darmstadt genehmigten Disserta tion. Eine Ubersicht tiber die Themenstellungen der einzelnen Kapitel findet sich im Abschnitt "Thema und Gliederung der Arbeit." Ich mochte nicht versaumen, mich fur die Unterstutzung bei der Anfertigung dieser Arbeit zu bedanken: Mein besonderer Dank gilt Herrn Prof. Dr. J. L. Keedy, der diese Arbeit, zuerst in Darmstadt und spater in Newcastle/Australien, in hervorragender Weise be treut hat. Seine exzellente Sachkenntnis, sein...
Die vorliegende Arbeit entspricht inhaltlich meiner im Oktober 1985 yom Fach bereich Informatik der Technischen Hochschule Darmstadt genehmigten Disse...
|
cena:
206,88 |
 |
Computational Complexity of Bilinear Forms: Algebraic Coding Theory and Applications to Digital Communication Systems
ISBN: 9783540176619 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Wissensbasierte Systeme: 2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
ISBN: 9783540184942 / Niemiecki / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten Produkten der Informatikindustrie und werden im mer mehr zu wichtigen Arbeitsmitteln fur Fachleute und Mitarbeiter in der Wirtschaft, in der Verwaltung und im Bildungsbereich. Der Einsatz dieser Systeme ist verbunden mit betrachtlichen Veranderungen in der Organisationsstruktur und in den Tatigkeitsablaufen, aber auch in den Qualifikationsanforderungen fur Mitarbeiter. Er hat Aus wirkungen auf Unternehmensstrategien, Arbeitsbedingungen und das...
Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten...
|
cena:
206,88 |
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
