![]() |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
cena:
414,91 zł |
![]() |
Prolog: The Standard: Reference Manual
ISBN: 9783540593041 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. The book contains a comprehensible full description of the standardized language together with an executable...
This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming langua...
|
cena:
430,95 zł |
![]() |
Programming Methodology
ISBN: 9781441929648 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
430,95 zł |
![]() |
PROLOG Versus You: An Introduction to Logic Programming
ISBN: 9783540175773 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the...
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedi...
|
cena:
430,95 zł |
![]() |
Software Product Management: The Ispma(r)-Compliant Study Guide and Handbook
ISBN: 9783662651155 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive overview on SPM for beginners as well as best practices, methodology and in-depth discussions for experienced product managers. This includes product strategy, product planning, participation in strategic management activities and orchestration of the functional units of the company. The book is based on the results of the International Software Product Management Association (ISPMA®, SPM Body of Knowledge V.2) which is led by a group of SPM... Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive ov... |
cena:
430,95 zł |
![]() |
Principles and Practice of Constraint Programming: 14th International Conference, Cp 2008, Sydney, Australia, September 14-18, 2008, Proceedings
ISBN: 9783540859574 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14 18, 2008. The conference was held in conjunction with the International Conference on Automated Planning and Scheduling (ICAPS 2008) and the International Conference on Knowledge Representation and R- soning (KR 2008). Information about the conference can be found at the w- sitehttp: //www. unimelb. edu. au/cp2008/. Held annually, the CP conference series is the premier international conference on constraint...
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydne...
|
cena:
450,54 zł |
![]() |
Handbook of Open Source Tools
ISBN: 9781489991492 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Handbook of Open Source Tools for Advanced Programs introduces a comprehensive collection of advanced open source tools useful in developing software applications. The tools presented 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 are presented in the perspective of software development when starting a new project. Each tool is covered in the context of a real like application development setting.... Handbook of Open Source Tools for Advanced Programs introduces a comprehensive collection of advanced open source tools useful in developing softwa... |
cena:
450,54 zł |
![]() |
Logic Programming: 19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings
ISBN: 9783540206422 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December...
|
cena:
470,13 zł |
![]() |
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ISBN: 9783642551970 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for the typed lambda calculus with recursion and probabilistic choices. It exploits statistical distributions as domains and defines appropriate denotational semantics for the introduced lambda calculus. It proofs important correspondence theorems between the established operational and denotational semantics. In the second part, we review the power of inductive logics as the foundation for expert reasoning systems.
In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for...
|
cena:
470,13 zł |
![]() |
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ISBN: 9783662568729 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
470,13 zł |
![]() |
Deductive Software Verification - The Key Book: From Theory to Practice
ISBN: 9783319498119 / Angielski / Miękka / 702 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It... Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in ... |
cena:
470,13 zł |
![]() |
New Opportunities for Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings
ISBN: 9783319904207 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions.
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. ...
|
cena:
470,13 zł |
![]() |
The World of Programming Languages
ISBN: 9780387964409 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and forests. Nevertheless, there is great local variation; Vermont does not look like Utah. Similarly, if we rise above the details of a few programming languages, we can discern features that are common to many languages. This is the programming language landscape; the main features include variables, types, control structures, and input/output. Again, there is local variation; Pascal does not look like Basic. This work is a broad and comprehensive...
The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and for...
|
cena:
470,13 zł |
![]() |
Pattern Recognition and Image Processing in C++
ISBN: 9783528054915 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projects in small groups (2 4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of image processing and image analysis, basics of speech processing, object oriented programming, software design, and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe...
Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projec...
|
cena:
470,13 zł |
![]() |
Agile Software Development with C# 4th Edition
ISBN: 9781088022849 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
473,80 zł |
![]() |
Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems
ISBN: 9781800204805 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
478,58 zł |
![]() |
Compiler
ISBN: 9783110020588 / Niemiecki / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
481,48 zł |
![]() |
C Compilers for Asips: Automatic Compiler Generation with Lisa
ISBN: 9781489984050 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. 1 Motivation Digital information technology has revolutionized the world during the last few decades. Todayabout98%ofprogrammabledigitaldevicesareactuallyembedded 132]. Theseembeddedsystemshavebecomethemainapplicationareaofinfor- tiontechnologyhardwareandarethebasistodeliverthesophisticatedfunctionality of today s technical devices. As shown in Fig. 1. 1(a), current forecasts predict a worldwideembeddedsystemmarketof$88billionin2009. Millions of Gates 40 25% 300 2004 35 Available Gates 2009 250 20% Used Gates AAGR% 30 200 Design Productivity Gap 25 15% Design Productivity Gap 20 150 10%...
1. 1 Motivation Digital information technology has revolutionized the world during the last few decades. Todayabout98%ofprogrammabledigitaldevicesarea...
|
cena:
512,60 zł |
![]() |
C++ Template Metaprogramming in Practice: A Deep Learning Framework
ISBN: 9780367609566 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
518,65 zł |
![]() |
Optimizing Compilers for Modern Architectures: A Dependence-Based Approach
ISBN: 9781558602861 / Angielski / Twarda / 790 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern computer architectures designed with high-performance microprocessors offer tremendous potential gains in performance over previous designs. Yet their very complexity makes it increasingly difficult to produce efficient code and to realize their full potential. This landmark text from two leaders in the field focuses on the pivotal role that compilers can play in addressing this critical issue. The basis for all the methods presented in this book is data dependence, a fundamental compiler analysis tool for optimizing programs on high-performance microprocessors and parallel... Modern computer architectures designed with high-performance microprocessors offer tremendous potential gains in performance over previous designs.... |
cena:
523,89 zł |