![]() |
ERLANG Programming: A Concurrent Approach to Software Development
ISBN: 9780596518189 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an in-depth introduction to Erlang, a programming language ideal for any situation where concurrency, fault tolerance, and fast response is essential. Erlang is gaining widespread adoption with the advent of multi-core processors and their new scalable approach to concurrency. With this guide you'll learn how to write complex concurrent programs in Erlang, regardless of your programming background or experience. This book is an in-depth introduction to Erlang, a programming language ideal for any situation where concurrency, fault tolerance, and fast respon... |
cena:
195,86 |
![]() |
The Teaching and Learning of Programming
ISBN: 9783639025477 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
352,54 |
![]() |
Communication and Architectural Support for Network-Based Parallel Computing: First International Workshop, Canpc'97, San Antonio, Texas, Usa, Februar
ISBN: 9783540625735 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997.
The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for... This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parall...
|
cena:
200,77 |
![]() |
Fault Tolerance for Microcomputers: The Application Oriented Paradigm
ISBN: 9780893918842 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
283,55 |
![]() |
Just-In-Time Systems for Computing Environments
ISBN: 9780899308289 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Explains how "Just-In-Time Systems" (JITS) function, and why they are increasingly sought by those who do not wish to develop customised computing systems. JITS are developed in a graded manner in line with customer needs as they arise; they also utilise commonalities in business systems.
Explains how "Just-In-Time Systems" (JITS) function, and why they are increasingly sought by those who do not wish to develop customised computing sys...
|
cena:
360,89 |
![]() |
Program Construction: International Summer School
ISBN: 9783540092513 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
188,73 |
![]() |
Verifying Concurrent Processes Using Temporal Logic
ISBN: 9783540112051 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
200,77 |
![]() |
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
ISBN: 9783540589761 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.
The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming... This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in ...
|
cena:
200,77 |
![]() |
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
ISBN: 9783540593409 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.
This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of... This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in F...
|
cena:
200,77 |
![]() |
Modelling Autonomic Communications Environments: Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceeding
ISBN: 9783540873549 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE International Workshop on Modelling Autonomic Communications Environments (MACE 2008).Asin the last two years, this workshopwasheld aspart of Manweek, the International Week on Management of Networks and Services, which took place on the lovely Island of Samos in Greece. MACEstartedasanexperimentin2006, andcreatedasmallcommunitythat now?nds itselfattractedbackeachyearby afeeling ofexcitement-thatthere is something new going on. Certainly, MACE is not as shiny or...
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE International Workshop on...
|
cena:
200,77 |
![]() |
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich
ISBN: 9783540329381 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in cr- tography, zero-knowledge proofs serve as a good benchmark for the study of...
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze-...
|
cena:
401,58 |
![]() |
The Semantic Web - Iswc 2006: 5th International Semantic Web Conference, Iswc 2006, Athens, Ga, Usa, November 5-9, 2006, Proceedings
ISBN: 9783540490296 / Angielski / Miękka / 1004 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolve or perish this is the motto for living systems. Judging by this saying, the Web is alive and well: new sites and business ideas are coming online almost daily and are able to attract millions of users often. The more recently coined term Web 2.0 summarizes many of the new developments, capturing efforts making the Web more interactive (like Ajax), more collaborative (like Wikis), or more relationship oriented (like online social networks), aiming to partially fulfill the original promise of the Web. These new Web developments offer an opportunity and challenge for the Semantic Web:...
Evolve or perish this is the motto for living systems. Judging by this saying, the Web is alive and well: new sites and business ideas are coming onli...
|
cena:
602,40 |
![]() |
Signals and Systems with MATLAB
ISBN: 9783540929536 / Angielski / Twarda / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is primarily intended for junior-level students who take the courses on signals and systems . It may be useful as a reference text for practicing engineers and scientists who want to acquire some of the concepts required for signal proce- ing. The readers are assumed to know the basics about linear algebra, calculus (on complex numbers, differentiation, and integration), differential equations, Laplace R transform, and MATLAB . Some knowledge about circuit systems will be helpful. Knowledge in signals and systems is crucial to students majoring in Electrical Engineering. The main...
This book is primarily intended for junior-level students who take the courses on signals and systems . It may be useful as a reference text for pract...
|
cena:
401,58 |
![]() |
Artificial Intelligence in Logic Design
ISBN: 9781402020520 / Angielski / Twarda / 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:
602,40 |
![]() |
Software Engineering & Development
ISBN: 9781606921463 / Angielski / Twarda / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software engineering is one of the most knowledge intensive jobs. Thus, having a good knowledge management (KM) strategy in these organisations is important. This book examines software processes from a knowledge perspective flow, in order to identify the knowledge needs of such processes for proposing systems or strategies to address those needs.
Software engineering is one of the most knowledge intensive jobs. Thus, having a good knowledge management (KM) strategy in these organisations is imp...
|
cena:
847,26 |
![]() |
Algol-Like Languages
ISBN: 9780817639365 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to review the attempts over recent years to use programming languages based on ALGOL 60, using Backus' original document as an introduction.
In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to revi...
|
cena:
401,58 |
![]() |
Innovations in Information Systems Modeling: Methods and Best Practices
ISBN: 9781605662787 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modeling is used across a number of tasks in connection to information systems, but it is rare to see and easily compare all the uses of diagrammatical models as knowledge representation in one place, highlighting both commonalities and differences between different kinds of modeling. Innovations in Information Systems Modeling: Methods and Best Practices provides up-to-date coverage of central topics in information systems modeling and architectures by leading researchers in the field. With chapters presented by top researchers from countries around the globe, this book provides a truly...
Modeling is used across a number of tasks in connection to information systems, but it is rare to see and easily compare all the uses of diagrammatica...
|
cena:
993,96 |
![]() |
Reasoning Robots: The Art and Science of Programming Robotic Agents
ISBN: 9781402030680 / Angielski / Twarda / 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:
200,77 |
![]() |
Numerical Methods With VBA Programming
ISBN: 9780763749644 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Numerical Methods with VBA Programming provides a unique and unified treatment of numerical methods and VBA computer programming, topics that naturally support one another within the study of engineering and science. This engaging text incorporates real-world scenarios to motivate technical material, helping students understand and retain difficult and key concepts. Such examples include comparing a two-point boundary value problem to determining when you should leave for the airport to catch a scheduled flight.
Numerical Methods with VBA Programming provides a unique and unified treatment of numerical methods and VBA computer programming, topics that naturall...
|
cena:
465,29 |
![]() |
Higher-Order Components for Grid Programming: Making Grids More Usable
ISBN: 9783642008405 / Angielski / Twarda / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A major challenge in grid computing remains the application software development for this new kind of infrastructure. Grid application programmers have to take into account several complicated aspects: distribution of data and computations, parallel computations on different sites and processors, heterogeneity of the involved computers, load balancing, etc. Grid programmers thus demand novel programming methodologies that abstract over such technical details while preserving the beneficial features of modern grid middleware. For this purpose, the authors introduce Higher-Order... A major challenge in grid computing remains the application software development for this new kind of infrastructure. Grid application programmers ... |
cena:
401,58 |