![]() |
Logic in Computer Science: Modelling and Reasoning about Systems
ISBN: 9780521543101 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer ...
|
cena:
381,28 |
![]() |
The Haskell School of Expression: Learning Functional Programming Through Multimedia
ISBN: 9780521644082 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, first published in 2000, teaches functional programming using Haskell and examples drawn from multimedia applications.
This book, first published in 2000, teaches functional programming using Haskell and examples drawn from multimedia applications.
|
cena:
233,10 |
![]() |
Concepts in Programming Languages
ISBN: 9780521780988 / Angielski / Twarda / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Concepts in Programming Languages elucidates the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics...
Concepts in Programming Languages elucidates the central concepts used in modern programming languages, such as functions, types, memory management, a...
|
cena:
355,95 |
![]() |
UML Xtra-Light: How to Specify Your Software Requirements
ISBN: 9780521892421 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Business managers often find it impossible to communicate business objectives and specify their software requirements to technical members of staff. This beginner's guide to the Unified Modeling Language (UML) - the standard for documenting software designs - teaches readers to communicate with software developers in a more focused, effective way. It describes the basic diagrams of the UML modeling notation and shows how they are used to specify requirements in an unambiguous way. When applied on a project, the risk of failure through unclear requirements is removed. If you are a...
Business managers often find it impossible to communicate business objectives and specify their software requirements to technical members of staff. T...
|
cena:
166,91 |
![]() |
Ecological Models and Data in R
ISBN: 9780691125220 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
cena:
339,15 |
![]() |
Objects for Concurrent Constraint Programming
ISBN: 9780792380382 / Angielski / Twarda / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization.
Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a... Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial info...
|
cena:
896,01 |
![]() |
Beginning R: An Introduction to Statistical Programming
ISBN: 9781430245544 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write and save R scripts, build and import data files, and write your own custom statistical functions. R is a powerful open-source implementation of the statistical language S, which was developed by AT&T. R has eclipsed S and the commercially-available S-Plus language, and has become the de facto standard for doing, teaching, and learning computational statistics.
R is both an object-oriented language and a functional language that is easy to learn, easy to use, and... Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write and save R scripts, build...
|
cena:
146,42 |
![]() |
SAP ABAP: Hands-On Test Projects with Business Scenarios
ISBN: 9781430248033 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. SAP ABAP (Advanced Business Application Programming) offers a detailed tutorial on the numerous features of the core programming platform, used for development for the entire SAP software suite. SAP ABAP uses hands on business oriented use cases and a valuable dedicated e-resource to demonstrate the underlying advanced concepts of the OO ABAP environment and the SAP UI. SAP ABAP covers the latest version (NetWeaver 7.3 and SAP application programming release 6.0) of the platform for demonstrating the customization and implementation phases of the SAP software...
SAP ABAP (Advanced Business Application Programming) offers a detailed tutorial on the numerous features of the core programming platform, us...
|
cena:
223,98 |
![]() |
Practical Clojure
ISBN: 9781430272311 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the first definitive reference for the Clojure language, providing both an introduction to functional programming in general and a more specific introduction to Clojure's features. This book demonstrates the use of the language through examples, including features such as software transactional memory (STM) and immutability, which may be new to programmers coming from other languages.
This book is the first definitive reference for the Clojure language, providing both an introduction to functional programming in general and a mor... |
cena:
174,93 |
![]() |
Programming in C++ for Engineering and Science
ISBN: 9781439825341 / Angielski / Miękka / 744 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Developed from the author s many years of teaching computing courses, Programming in C++ for Engineering and Science guides students in designing programs to solve real problems encountered in engineering and scientific applications. These problems include radioactive decay, pollution indexes, digital circuits, differential equations, Internet addresses, data analysis, simulation, quality control, electrical networks, data encryption, beam deflection, and many other areas. To make it easier for novices to develop programs, the author uses an object-centered... Developed from the author s many years of teaching computing courses, Programming in C++ for Engineering and Science guides studen... |
cena:
523,69 |
![]() |
LabVIEW: A Developer's Guide to Real World Integration
ISBN: 9781439839812 / Angielski / Twarda / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LabVIEW has become one of the preeminent platforms for the development of data acquisition and data analysis programs. LabVIEW: A Developer s Guide to Real World Integration explains how to integrate LabVIEW into real-life applications. Written by experienced LabVIEW developers and engineers, the book describes how LabVIEW has been pivotal in solving real-world challenges. Each chapter is self-contained and demonstrates the power and simplicity of LabVIEW in various applications, from image processing to solar tracking systems. Many of the chapters explore... LabVIEW has become one of the preeminent platforms for the development of data acquisition and data analysis programs. LabVIEW: A Developer... |
cena:
1047,38 |
![]() |
A Tale of Two Transformations: Bringing Lean and Agile Software Development to Life
ISBN: 9781439879757 / Angielski / Twarda / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are many books that seek to explain Lean and Agile software that offer theory, techniques, and examples. Michael Levine's first book, A Tale of Two Systems, is one of the best, synthesizing Lean manufacturing and product development with agile software concepts in an engaging business novel. However, there has been precious little practical guidance for those seeking to change existing organizations to become Lean and Agile, until now. Mr. Levine has followed the successful approach of A Tale of Two Systems, telling two simultaneous intertwined and contrasting... There are many books that seek to explain Lean and Agile software that offer theory, techniques, and examples. Michael Levine's first book, A T... |
cena:
234,36 |
![]() |
Data Mashups in R: A Case Study in Real-World Data Analysis
ISBN: 9781449303532 / Angielski / Miękka / 40 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How do you use R to import, manage, visualize, and analyze real-world data? With this short, hands-on tutorial, you learn how to collect online data, massage it into a reasonable form, and work with it using R facilities to interact with web servers, parse HTML and XML, and more. Rather than use canned sample data, you'll plot and analyze current home foreclosure auctions in Philadelphia. This practical mashup exercise shows you how to access spatial data in several formats locally and over the Web to produce a map of home foreclosures. It's an excellent way to explore how the R... How do you use R to import, manage, visualize, and analyze real-world data? With this short, hands-on tutorial, you learn how to collect online dat... |
cena:
62,95 |
![]() |
Spring Data: Modern Data Access for Enterprise Java
ISBN: 9781449323950 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. You can choose several data access frameworks when building Java enterprise applications that work with relational databases. But what about big data? This hands-on introduction shows you how Spring Data makes it relatively easy to build applications across a wide range of new data access technologies such as NoSQL and Hadoop. Through several sample projects, you ll learn how Spring Data provides a consistent programming model that retains NoSQL-specific features and capabilities, and helps you develop Hadoop applications across a wide range of use-cases such as data analysis, event... You can choose several data access frameworks when building Java enterprise applications that work with relational databases. But what about big da... |
cena:
167,95 |
![]() |
Understanding Computation: Impossible Code and the Meaning of Programs
ISBN: 9781449329273 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you'll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming. Rather than use mathematical notation or an unfamiliar academic programming language like Haskell or Lisp, this book uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus. It's ideal for programmers versed in... Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoret... |
cena:
157,04 |
![]() |
Learning R
ISBN: 9781449357108 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn how to perform data analysis with the R language and software environment, even if you have little or no programming experience. With the tutorials in this hands-on guide, you ll learn how to use the essential R tools you need to know to analyze data, including data types and programming concepts. The second half of Learning R shows you real data analysis in action by covering everything from importing data to publishing your results. Each chapter in the book includes a quiz on what you ve learned, and concludes with exercises, most of which involve writing R... Learn how to perform data analysis with the R language and software environment, even if you have little or no programming experience. With the tut... |
cena:
215,94 |
![]() |
Zookeeper: Distributed Process Coordination
ISBN: 9781449361303 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Building distributed applications is difficult enough without having to coordinate the actions that make them work. This practical guide shows how Apache ZooKeeper helps you manage distributed systems, so you can focus mainly on application logic. Even with ZooKeeper, implementing coordination tasks is not trivial, but this book provides good practices to give you a head start, and points out caveats that developers and administrators alike need to watch for along the way. In three separate sections, ZooKeeper contributors Flavio Junqueira and Benjamin Reed introduce the... Building distributed applications is difficult enough without having to coordinate the actions that make them work. This practical guide shows how ... |
cena:
146,95 |
![]() |
Modern Compiler Design
ISBN: 9781461446989 / Angielski / Twarda / 822 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distinguishing between the essential (material that has a high chance of being useful) and the incidental (material that will be of benefit only in exceptional cases) much useful information was packed in this comprehensive volume. The student who has finished this book can expect to understand the workings of and add to a language processor for each of the modern paradigms, and be able to read the literature on how to proceed. The first...
"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully...
|
cena:
488,71 |
![]() |
Embedded Systems Design: An Introduction to Processes, Tools, and Techniques
ISBN: 9781578200733 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a primer on the development process for embedded systems designed to teach the specialised aspects of writing software in this enviroment that are not covered in standard coursework for software developers and electrical engineers. It traces the software and hardware methodologies and the intergration of the two disciplines in the lifecycle. The guide details the steps necessary for designing and producing embedded systems and discusses the key methods and technologies for each phase of the process: specification, partition, design, integration, validation, release, maintenance and...
This is a primer on the development process for embedded systems designed to teach the specialised aspects of writing software in this enviroment that...
|
cena:
249,32 |
![]() |
Enterprise Security Architecture: A Business-Driven Approach
ISBN: 9781578203185 / Angielski / Twarda / 610 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Security is too important to be left in the hands of just one department or employee it s a concern of an entire enterprise. Enterprise Security Architecture shows that having a comprehensive plan requires more than the purchase of security software it requires a framework for developing and maintaining a system that is proactive. The book is based around the SABSA layered framework. It provides a structured approach to the steps and processes involved in developing security architectures. It also considers how some of the major business issues likely to be encountered can be resolved.
Security is too important to be left in the hands of just one department or employee it s a concern of an entire enterprise. Enterprise Security Ar... |
cena:
303,84 |