topmenu
• Nauka
[3090713]
[1812092]
[52353]
[156406]
• Komiksy
[36497]
[23076]
[611051]
• Hobby
[103270]
[1744]
[194823]
[382]
• Słowniki
[2994]
• Inne
[446649]
[242]
[166396]
[420635]
• Religia
[508575]
[545]
• Sport
[61132]
• Sztuka
[249371]
[3442]
[230899]
• Zdrowie
[98302]
[126]
• Zabawki
[2532]
[4027]
[273]
[8376]
Programowanie
ilość książek w kategorii: 16942
 |
The Road to the Unified Software Development Process
ISBN: 9780521787741 / Angielski / Miękka / 2000 / 378 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Ivar Jacobson is one of the most important figures in the software development industry. Together with his colleagues Grady Booch and James Rumbaugh, he has been pivotal to the creation of the Unified Modeling Language and Rational's Unified Software Development Process. In this book, Stefan Bylund has collected and revised Ivar Jacobson's articles from Object Magazine, JOOP, ROAD, and Component Strategies. It not only presents his most influential work, but also tracks the development of the Unified Software Development Process. An excellent reference for software professionals interested in...
Ivar Jacobson is one of the most important figures in the software development industry. Together with his colleagues Grady Booch and James Rumbaugh, ...
|
cena:
301,59 |
 |
Design Patterns in Communications Software
ISBN: 9780521790406 / Angielski / Twarda / 2001 / 562 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This definitive compendium of design patterns in communication software, gathered together by Linda Rising, includes contributions by James O. Coplien, Douglas C. Schmidt, Robert Hanmer, Greg Utas, Just van den Broecke, Don Olson, Carlos O'Ryan, Christopher D. Gill, and other experts from the patterns field. Engineers and other professionals working in the field of communications software development will find this unique reference extremely useful.
This definitive compendium of design patterns in communication software, gathered together by Linda Rising, includes contributions by James O. Coplien...
|
cena:
489,08 |
 |
The Standard ML Basis Library
ISBN: 9780521791427 / Angielski / Twarda / 2004 / 484 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming....
|
cena:
451,58 |
 |
The Standard ML Basis Library
ISBN: 9780521794787 / Angielski / Miękka / 2004 / 484 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming....
|
cena:
291,26 |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521806084 / Angielski / Twarda / 2001 / 800 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
cena:
1060,92 |
 |
Specifying Software: A Hands-On Introduction
ISBN: 9780521808149 / Angielski / Twarda / 2002 / 302 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional...
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year und...
|
cena:
371,90 |
 |
Memory-Based Language Processing
ISBN: 9780521808903 / Angielski / Twarda / 2005 / 198 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Memory-based language processing--a machine learning and problem solving method for language technology--is based on the idea that the direct re-use of examples using analogical reasoning is more suited for solving language processing problems than the application of rules extracted from those examples. This book discusses the theory and practice of memory-based language processing, showing its comparative strengths over alternative methods of language modelling. Language is complex, with few generalizations, many sub-regularities and exceptions, and the advantage of memory-based language...
Memory-based language processing--a machine learning and problem solving method for language technology--is based on the idea that the direct re-use o...
|
cena:
296,91 |
 |
UML by Example
ISBN: 9780521810517 / Angielski / Twarda / 2004 / 276 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Ghinwa Jalloul's step-by-step introduction to object-oriented software development is suitable for teacher training as well as for practicing software engineers. Jalloul presents seven complete case studies and several smaller examples documented in UML, derived from small software projects developed for, and delivered to, real users. They are preceded by an overview of the object-oriented modeling artifacts in UML, on which the remainder of the book relies. The case studies provide a medium for experimental use and act as templates that can be tailored by readers to fit specific needs and...
Ghinwa Jalloul's step-by-step introduction to object-oriented software development is suitable for teacher training as well as for practicing software...
|
cena:
371,90 |
 |
Memory as a Programming Concept in C and C++
ISBN: 9780521817202 / Angielski / Twarda / 2003 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective memory usage. The overwhelming majority of "bugs" and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are notoriously difficult to resolve. Moreover, the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books. Most professional programmers learn about it entirely through actual experience of the problems it causes.
Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective m...
|
cena:
656,49 |
 |
Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML
ISBN: 9780521817332 / Angielski / Twarda / 2004 / 878 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Written to address the technical concerns faced by mobile developers, this book explores the differences between mobile and stationary applications and the architectural and software development concepts needed to build mobile applications. Reza B'Far guides the developer through the development process, using UML from design to implementation. He focuses on general concepts, while using platforms as examples or as possible tools. After introducing UML, XML, and the derivative tools necessary for developing mobile software applications, B'Far demonstrates how to build user interfaces for...
Written to address the technical concerns faced by mobile developers, this book explores the differences between mobile and stationary applications an...
|
cena:
479,70 |
 |
Modern Compiler Implementation in Java
ISBN: 9780521820608 / Angielski / Twarda / 2002 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java DEGREESTM(R) classes. The first part is suitable for a one-semester first course in...
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruct...
|
cena:
339,09 |
 |
Principles of Constraint Programming
ISBN: 9780521825832 / Angielski / Twarda / 2003 / 420 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods to solve them rely on the idea of constraint propagation and search. This book meets the need for a modern, multidisciplinary introduction to the field that covers foundations and applications. Written by Krzysztof Apt, an authority on the subject, it will be welcomed by graduate students and professionals. With the insertion of constraint techniques into programming environments, new developments have accelerated the solution process. Constraint programming combines ideas from artificial...
Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods to solve them rely on the idea of constraint propagat...
|
cena:
325,03 |
 |
Designing Digital Computer Systems with Verilog
ISBN: 9780521828666 / Angielski / Twarda / 2004 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Using Verilog, a leading commercial hardware description language, this text describes how to specify, design, and test a complete digital system. After a brief introduction to the Verilog language, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor is defined. The remainder of the book demonstrates how both behavioral and structural models can be developed and intermingled in Verilog.
Using Verilog, a leading commercial hardware description language, this text describes how to specify, design, and test a complete digital system. Aft...
|
cena:
245,34 |
 |
Mobile Web Services
ISBN: 9780521830492 / Angielski / Twarda / 2005 / 286 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes key network elements, software components, and network protocols needed to implement wireless web services successfully, including the concept of user context and its potential to create personalized services. Examined mobile Web functions include location representation and tracking, security schemes, content personalization approaches, privacy mechanisms, and XSLT processing for browser content generation. The author reviews the WAP and i-mode architectures, latest mobile phone features, and describes key aspects of browser mark-up languages (WML, cHTML, and XHTML MP)....
This book describes key network elements, software components, and network protocols needed to implement wireless web services successfully, including...
|
cena:
489,08 |
 |
Algorithms on Strings
ISBN: 9780521848992 / Angielski / Twarda / 2007 / 392 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text and reference on string processes and pattern matching presents examples related to the automatic processing of natural language, to the analysis of molecular sequences and to the management of textual databases. Algorithms are described in a C-like language, with correctness proofs and complexity analysis, to make them ready to implement. The book will be an important resource for students and researchers in theoretical computer science, computational linguistics, computational biology, and software engineering.
This text and reference on string processes and pattern matching presents examples related to the automatic processing of natural language, to the ana...
|
cena:
615,64 |
 |
An Introduction to Parallel and Vector Scientific Computation
ISBN: 9780521864787 / Angielski / Twarda / 2006 / 308 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In this text, students of applied mathematics, science and engineering are introduced to fundamental ways of thinking about the broad context of parallelism. The authors begin by giving the reader a deeper understanding of the issues through a general examination of timing, data dependencies, and communication. These ideas are implemented with respect to shared memory, parallel and vector processing, and distributed memory cluster computing. Threads, OpenMP, and MPI are covered, along with code examples in Fortran, C, and Java. The principles of parallel computation are applied throughout as...
In this text, students of applied mathematics, science and engineering are introduced to fundamental ways of thinking about the broad context of paral...
|
cena:
301,55 |
 |
A Distributed Pi-Calculus
ISBN: 9780521873307 / Angielski / Twarda / 2007 / 259 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in orde...
|
cena:
339,09 |
 |
Reactive Systems: Modelling, Specification and Verification
ISBN: 9780521875462 / Angielski / Twarda / 2007 / 302 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner s CCS and its operational semantics are introduced,...
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various meth...
|
cena:
400,03 |
 |
Numerical Recipes: The Art of Scientific Computing
ISBN: 9780521880688 / Angielski / Twarda / 2007 / 1256 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Co-authored by four leading scientists from academia and industry, Numerical Recipes Third Edition starts with basic mathematics and computer science and proceeds to complete, working routines. Widely recognized as the most comprehensive, accessible and practical basis for scientific computing, this new edition incorporates more than 400 Numerical Recipes routines, many of them new or upgraded. The executable C++ code, now printed in color for easy reading, adopts an object-oriented style particularly suited to scientific applications. The whole book is presented in the informal, easy-to-read...
Co-authored by four leading scientists from academia and industry, Numerical Recipes Third Edition starts with basic mathematics and computer science ...
|
cena:
493,77 |
 |
The Elements of C++ Style
ISBN: 9780521893084 / Angielski / Miękka / 2004 / 192 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Elements of C++ Style is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White's The Elements of Style provides rules of usage for writing in the English language, this text furnishes a set of rules for writing in C++. The authors offer a collection of standards and guidelines for creating solid C++ code that will be easy to understand, enhance and maintain. The book provides conventions for formatting, naming, documentation, programming, and packaging for the latest ANSI standard of C++, and also includes discussion of...
The Elements of C++ Style is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White'...
|
cena:
114,10 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
