» książki » Computers - Languages - General
 |
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:
651,63 |
 |
Reachability Problems: 4th International Workshop, Rp 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ISBN: 9783642153488 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and...
This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and wa...
|
cena:
203,61 |
 |
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
ISBN: 9783642153747 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, August 31 September 3, 2010. CONCUR 2010 was organized by CNRS, INRIA, ENS Cachan and the UniversiteDenisDiderot. The purpose of the CONCUR conference is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. The principal topics include basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets; logics...
This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, August 31 ...
|
cena:
407,25 |
 |
Hybrid Metaheuristics: 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
ISBN: 9783642160530 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research in hybrid metaheuristics is now established as a reference ?eld in the areas of optimization and problem solving. Hybrid metaheuristics have a strong impactonapplicationsbecausethey providee?cientandpowerfulproblemso- ing techniques for optimization problems in industry. Furthermore, the related interdisciplinary research community provides a fertile environment where in- vative techniques are presented and discussed. The International Workshop on Hybrid Metaheuristics pursues the direction of combining application-oriented and foundational research. This is dem- strated by the...
Research in hybrid metaheuristics is now established as a reference ?eld in the areas of optimization and problem solving. Hybrid metaheuristics have ...
|
cena:
203,61 |
 |
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
ISBN: 9783642161445 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010.The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven...
This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Langu...
|
cena:
203,61 |
 |
Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings
ISBN: 9783642162640 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.
Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 201...
|
cena:
203,61 |
 |
Parsing Techniques: A Practical Guide
ISBN: 9781441919014 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition. This second edition presents new developments and discoveries that have been made in the field. Parsing techniques have grown considerably in importance, both in computational linguistics where such parsers are the only option, and computer science,... Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing te... |
cena:
896,01 |
 |
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook
ISBN: 9781441954657 / Angielski / Miękka / 505 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As information technologies become increasingly distributed and accessible to larger number of people and as commercial and government organizations are challenged to scale their applications and services to larger market shares, while reducing costs, there is demand for software methodologies and appli- tions to provide the following features: Richer application end-to-end functionality; Reduction of human involvement in the design and deployment of the software; Flexibility of software behaviour; and Reuse and composition of existing software applications and systems in novel or adaptive...
As information technologies become increasingly distributed and accessible to larger number of people and as commercial and government organizations a...
|
cena:
610,90 |
 |
SIMD Programming Manual for Linux and Windows
ISBN: 9781849969208 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A number of widely used contemporary processors have instruction-set extensions for improved performance in multi-media applications. The aim is to allow operations to proceed on multiple pixels each clock cycle. Such instruction-sets have been incorporated both in specialist DSPchips such as the Texas C62xx (Texas Instruments, 1998) and in general purpose CPU chips like the Intel IA32 (Intel, 2000) or the AMD K6 (Advanced Micro Devices, 1999). These instruction-set extensions are typically based on the Single Instruc tion-stream Multiple Data-stream (SIMD) model in which a single instruction...
A number of widely used contemporary processors have instruction-set extensions for improved performance in multi-media applications. The aim is to al...
|
cena:
590,54 |
 |
The Parametric Lambda Calculus: A Metamodel for Computation
ISBN: 9783642057465 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in...
|
cena:
203,61 |
 |
Duration Calculus: A Formal Approach to Real-Time Systems
ISBN: 9783642074042 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also... Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing ... |
cena:
407,25 |
 |
Developments in Reliable Computing
ISBN: 9789048153503 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation). SCAN-98 attracted more than 100 participants from 21 countries all over the world. During the four days from September 22 to 25, nine highlighted, plenary lectures and over 70 contributed talks were given. These figures indicate a large participation, which was partly caused by the...
The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under t...
|
cena:
407,25 |
 |
Thinking with Diagrams
ISBN: 9789048156955 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research challenges may be part of the reason why so many diagrams are badly designed or badly used. This is ironic when the user interfaces of computer software and the worldwide web are becoming...
This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representati...
|
cena:
570,17 |
 |
The Semantics and Proof Theory of the Logic of Bunched Implications
ISBN: 9789048160723 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono- graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within...
This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof t...
|
cena:
610,90 |
 |
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
ISBN: 9789048164745 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modem computer systems possess two main characteristics: their ever growing complexity and the increasing number and range of abnormal situa tions they have to cope with successfully in order to deliver the service. Developing such systems is ademanding task requiring discipline and cIear thinking, which are best ensured by the right design mechanisms aiming at both appropriate system structuring and a disciplined provision of fault toler ance. The groundlaying research of the 60s and 70s created a solid basis in this area by developing a number of fundamental mechanisms, such as ACID...
Modem computer systems possess two main characteristics: their ever growing complexity and the increasing number and range of abnormal situa tions the...
|
cena:
407,25 |
 |
Symbolic Dynamics and Geometry: Using D* in Graphics and Game Programming
ISBN: 9781568812809 / Angielski / Twarda / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explains how to use the symbolic differentiation system D* for applications in computer games and engineering simulation. The authors describe how to create procedural 3D geometric models, link them together to form multibody physical systems, and simulate and display their physical behavior in real time. The symbolic differentiation capabilities of D* can be used in a wide variety of technical applications, including computer graphics, engineering, and mechanical simulation. Two Lagrangian physics simulation and procedural 3D geometric modeling are developed in great... This book explains how to use the symbolic differentiation system D* for applications in computer games and engineering simulation. The authors des... |
cena:
847,88 |
 |
The Art of Image Processing with Java
ISBN: 9781568817170 / Angielski / Twarda / 343 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introductory image processing text is ideal for college students studying computer science or software engineering. With an emphasis on software design, the text builds on an accessible mathematical foundation and on extensive sample Java code to teach students the fundamentals of image processing. The text is accompanied by rich illustrations that demonstrate the results of performing processing on famous art pieces. This approach gives readers real-world examples of ways they may use image processing. Each chapter includes problems for students, and an online supplement offers...
This introductory image processing text is ideal for college students studying computer science or software engineering. With an emphasis on software ...
|
cena:
458,80 |
 |
Das C++ Kompendium: Stl, Objektfabriken, Exceptions
ISBN: 9783642047862 / Niemiecki / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfaltiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft. In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu fast allen Gebieten der Programmierung unter C++ betrachtet. Der Leser wird schrittweise anhand praktischer Aufgaben an die Problemstellungen herangefuhrt. Besonderer Wert wird auf den... Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfaltiger, komplexer Problemstel... |
cena:
144,59 |
 |
Informatik Für Ingenieure Und Naturwissenschaftler: Eine Anschauliche Einführung in Das Programmieren Mit C Und Java
ISBN: 9783540262435 / Niemiecki / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Lehrbuch lehnt sich an die erfolgreiche Mathematik fur Ingenieure desselben Autors an. Es fuhrt zunachst in die Grundlagen der Informatik und Datenverarbeitung ein. Vor allem aber befahigt es den Leser, in den beiden wichtigen Programmiersprachen C und Java zu programmieren. Mit der Kombination aus beiden Sprachen, die in den Anwendungen weit verbreitet sind, stellt dieses Buch ein neues Angebot dar. Die Themen des Buches werden nicht nur angerissen. Vielmehr erwirbt der Leser echtes Handlungswissen, so dass er nach Lekture des Buches konkrete Programme in beiden Sprachen schreiben kann....
Das Lehrbuch lehnt sich an die erfolgreiche Mathematik fur Ingenieure desselben Autors an. Es fuhrt zunachst in die Grundlagen der Informatik und Date...
|
cena:
152,21 |
 |
Auf Der Fährte Von C#: Einführung Und Referenz
ISBN: 9783540278887 / Niemiecki / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten anderen BA1/4chern zu C# wird dabei aber nicht das Schreiben von Code, sondern das objektorientierte Denken und die Entwicklung eines guten Programmierstils in den Mittelpunkt gestellt. Da der Autor als Zielplattform nicht nur .NET, sondern auch Mono anspricht, und zudem bereits Version 3.0 der Sprache C# und deren Erweiterungen wie beispielsweise LambdaausdrA1/4cke, Erweiterungsmethoden und Linq abdeckt, sind Sie auch fA1/4r die Zukunft gut...
a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten an...
|
cena:
171,27 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
