» książki » Computers - Programming - Compilers
 |
Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783662544334 / Angielski / Miękka / 992 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions.
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, hel...
|
cena:
419,54 |
 |
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
ISBN: 9783030731403 / Angielski / Miękka / 95 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
419,54 |
 |
Engineering a Compiler
ISBN: 9780128154120 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
424,48 |
 |
Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-Solving Approach
ISBN: 9781041109570 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
440,40 |
 |
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:
443,69 |
 |
Agile Software Development with C# 4th Edition
ISBN: 9781088022849 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
459,83 |
 |
SQL and NoSQL Database Fourth Edition
ISBN: 9798295762482 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
459,83 |
 |
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:
461,50 |
 |
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:
461,50 |
 |
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:
461,50 |
 |
An Introduction to Language Processing with Perl and PROLOG: An Outline of Theories, Implementation, and Application with Special Consideration of Eng
ISBN: 9783642064050 / Angielski / Miękka / 515 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automatically process text and spoken data. With the processing power and techniques now available, research is scaling up from lab prototypes to real-world, proven applications. This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved,... The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automaticall... |
cena:
477,63 |
 |
Engineering a Compiler
ISBN: 9780120884780 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience building state-of-the-art compilers. They will help you fully understand important techniques such as compilation of imperative and object-oriented languages, construction of static single... This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest development... |
cena:
477,92 |
 |
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:
482,48 |
 |
Compiler
ISBN: 9783110020588 / Niemiecki / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
486,96 |
 |
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:
487,70 |
 |
Guide to C# and Object Orientation
ISBN: 9781852335816 / Angielski / Twarda / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows readers how to get the most out of C# using Object Orientation. The author takes a hands-on approach to learning C# and object orientation, using lots of worked examples. The text provides an ideal base from which to start programming. After introducing the C# language and object orientation, John Hunt goes on to explain: how to construct a user interface for a simple editor; how to obtain information on files and directories and how objects can be stored and restored using serialization... -Presents C# and object-orientation as a coherent whole, using one to strengthen the...
This book shows readers how to get the most out of C# using Object Orientation. The author takes a hands-on approach to learning C# and object orienta...
|
cena:
502,69 |
 |
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:
503,45 |
 |
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:
503,45 |
 |
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:
503,45 |
 |
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:
503,45 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
