![]() |
Networks and Systems Management: Platforms Analysis and Evaluation
ISBN: 9780792398790 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The deployment of communications networks and distributed computing systems requires the use of open, standards-based, integrated management systems. During the last five years, the overall industry effort to develop, enhance, and integrate man- agement systems has crystallized in the concept of management platforms. Manage- ment platforms are software systems which provide open, multi vendor, multiprotocol distributed management services. They allow multiple management applications to run over core platform services which constitute the essential part of the management platform framework....
The deployment of communications networks and distributed computing systems requires the use of open, standards-based, integrated management systems. ...
|
cena:
816,44 |
![]() |
Reliability of Software Intensive Systems
ISBN: 9780815513612 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Reliability of Software Intensive Systems".
"Reliability of Software Intensive Systems".
|
cena:
248,83 |
![]() |
Logic of Domains
ISBN: 9780817635701 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena tational semantics: SFP domains, and the less standard, but important, category of stable...
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are int...
|
cena:
408,20 |
![]() |
Scientific Pascal
ISBN: 9780817637606 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a self-contained text on the Pascal programming language that will be of great interest to science and technology students, scientists, and engineers, who will appreciate the clarity and facility of Pascal. Its emphasis on scientific problems is unique. Every aspect of Pascal programming is illustrated and applied (including graphics, DOS, BIOS, and mouse programming) through hundreds of worked examples and exercises culled from the numerical analysis and algorithm literature. All of the book's programs have been tested, and they are listed in a clear, uncluttered format. The...
This book is a self-contained text on the Pascal programming language that will be of great interest to science and technology students, scientists, a...
|
cena:
204,08 |
![]() |
Algol-Like Languages
ISBN: 9780817638801 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this...
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory o...
|
cena:
408,20 |
![]() |
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
ISBN: 9780817639273 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in...
During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: th...
|
cena:
544,24 |
![]() |
Algol-Like Languages
ISBN: 9780817639372 / Angielski / Twarda / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction 1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the...
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language...
|
cena:
544,24 |
![]() |
Scheduling and Load Balancing in Parallel and Distributed Systems
ISBN: 9780818665875 / Angielski / Miękka / 503 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in hardware and software technologies have led to an increased interest in the use of large-scale parallel and distributed systems for database, real-time, defense, and large-scale commercial applications. One of the biggest system issues is developing effective techniques for the distribution of multiple program processes on multiple processors. This book discusses how to schedule the processes among processing elements to achieve the expected performance goals, such as minimizing execution time, minimizing communication delays, or maximizing resource utilization.
This... Advances in hardware and software technologies have led to an increased interest in the use of large-scale parallel and distributed systems for databa...
|
cena:
457,20 |
![]() |
Digital Design and Modeling with VHDL and Synthesis
ISBN: 9780818677168 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Digital Systems Design with VHDL and Synthesis presents an integrated approach to digital design principles, processes, and implementations to help the reader design much more complex systems within a shorter design cycle. This is accomplished by introducing digital design concepts, VHDL coding, VHDL simulation, synthesis commands, and strategies together.
The author focuses on the ultimate product of the design cycle: the implementation of a digital design. VHDL coding, synthesis methodologies and verification techniques are presented as tools to support the final design... Digital Systems Design with VHDL and Synthesis presents an integrated approach to digital design principles, processes, and implementations to ...
|
cena:
586,56 |
![]() |
Tcl/TK for Programmers: With Solved Exercises That Work with Unix and Windows
ISBN: 9780818685156 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introduction to Tcl/Tk bridges the gaps between introductions, comprehensive manuals, and collections of scripts that solve particular problems. There are over 200 exercises with solutions for both Unix and Windows platforms.
Tcl/Tk for Programmers introduces high-level Tcl/Tk scripting language to experienced programmers with either Unix or Windows backgrounds. It includes a short introduction to TCP/IP, introductions on writing client-side scripts and GUI interfaces as well as integrating scripts with C/C++. In addition to covering version 8.0/8.0, the book describes the... This introduction to Tcl/Tk bridges the gaps between introductions, comprehensive manuals, and collections of scripts that solve particular problems. ...
|
cena:
492,25 |
![]() |
Software Engineering Measurement
ISBN: 9780849315039 / Angielski / Twarda / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The product of many years of practical experience and research in the software measurement business, this technical reference helps you select what metrics to collect, how to convert measurement data to management information, and provides the statistics necessary to perform these conversions. The author explains how to manage software development measurement systems, how to build software measurement tools and standards, and how to construct controlled experiments using standardized measurement tools.There are three fundamental questions that this book seeks to answer. First, exactly how do...
The product of many years of practical experience and research in the software measurement business, this technical reference helps you select what me...
|
cena:
671,97 |
![]() |
Programming Language Fundamentals by Example
ISBN: 9780849370168 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professional learning experience based on professional methods applied with professional standards. It provides an understanding of the many languages and notations used in computer science, the formal models used to design phases, and the foundations of languages including linguistics and logic.
To give students a thorough, working knowledge of programming languages, this textbook uses a semester-long project in which students create a programming... Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professi...
|
cena:
462,86 |
![]() |
Algorithms and Data Structures in C++
ISBN: 9780849371714 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algorithms and Data Structures in C++ introduces modern issues in the theory of algorithms, emphasizing complexity, graphs, parallel processing, and visualization. To accomplish this, the book uses an appropriate subset of frequently utilized and representative algorithms and applications in order to demonstrate the unique and modern aspects of the C++ programming language.
What makes this book so valuable is that many complete C++ programs have been compiled and executed on multiple platforms. Each program presented is a stand-alone functional program. A number of applications that... Algorithms and Data Structures in C++ introduces modern issues in the theory of algorithms, emphasizing complexity, graphs, parallel processing, and v...
|
cena:
472,82 |
![]() |
Discrete Event Simulation: A Practical Approach
ISBN: 9780849371745 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discrete Event Simulation is a process-oriented text/reference that utilizes an eleven-step model to represent the simulation process from problem formulation to implementation and documentation. The book presents the necessary level of detail required to fully develop a model that produces meaningful results and considers the tools necessary to interpret those results. Sufficient background information is provided so that the underlying concepts of simulation are understood.
Major topics covered in Discrete Event Simulation include probability and distributional theory, statistical... Discrete Event Simulation is a process-oriented text/reference that utilizes an eleven-step model to represent the simulation process from problem for...
|
cena:
368,29 |
![]() |
Windows Assembly Language and Systems Programming: 16- And 32-Bit Low-Level Programming for the PC and Windows
ISBN: 9780879304744 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. -Access Real mode from Protected mode; Protected mode from Real mode Apply OOP concepts to assembly language programs Interface assembly language programs with high-level languages Achieve direct hardware manipulation and memory access Explore the archite
-Access Real mode from Protected mode; Protected mode from Real mode Apply OOP concepts to assembly language programs Interface assembly language prog...
|
cena:
368,29 |
![]() |
A Guide to Programming Languages: Overview and Comparison
ISBN: 9780890068120 / Angielski / Twarda / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This reference is intended for experienced practitioners, consultants and students working on building practical applications. It discusses the most widely-used programming languages and their fuctional pros and cons for application and development. The author provides: a brief overview of programming languages principles and concepts; numerous diagrams, charts and sample programs; coverage of object-oriented programming and visual programming; and tables rating languages on such subjects as simplicity, data structuring, portability and efficiency.
This reference is intended for experienced practitioners, consultants and students working on building practical applications. It discusses the most w...
|
cena:
434,61 |
![]() |
Programming Languages and Operational Semantics: An Introduction
ISBN: 9780954300630 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a concise introduction to the essential concepts in
programming languages, using techniques from operational semantics. It is addressed to undergraduate students, as a complement to programming languages or operational semantics courses. There are three parts in the book, highlighting three major programming paradigms: - imperative languages: the main features of these languages are illustrated using Java, C, Pascal - functional languages: modern languages such as ML and Haskell are used to describe the functional style of programming - logic languages: the last... This book provides a concise introduction to the essential concepts in programming languages, using techniques from operational semantics. It is |
cena:
101,16 |
![]() |
Danny Goodman's Applescript Handbook
ISBN: 9780966551419 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This latest edition will help you:
Enhance your productivity by freeing yourself from the drudgery of tasks in the Finder Automate the Finder and third-party applications, including: FileMaker Pro; QuarkXPress; Microsoft Excel; HyperCard; Microsoft Word; WordPerfect; MacWrite Pro; TouchBase; Customize your own system and give your scripts professional polish Rely on OSA (Open Scripting Architecture) infrastructure to provide a consistent scripting foundation for applications and accommodate future scripting systems Get a head start today learning all the powerful tools of your... This latest edition will help you:
Enhance your productivity by freeing yourself from the drudgery of tasks in the Finder Automate the Finder an... |
cena:
137,25 |
![]() |
The Inform Designer's Manual
ISBN: 9780971311930 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its invention in 1993, Inform has been used to design hundreds of interactive novels and short stories in eight languages. This text includes a critical history of interactive writings and the university games of the 1970s. (Computer Books--Languages/Programming)
Since its invention in 1993, Inform has been used to design hundreds of interactive novels and short stories in eight languages. This text includes a ...
|
cena:
144,11 |
![]() |
Optimized Asip Synthesis from Architecture Description Language Models
ISBN: 9781402056857 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it to common implementation practice. It provides case-studies that emphasize that neither the architectural advantages nor the design space of ASIPs are sacrificed for an automated implementation. New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific p... |
cena:
408,20 |