» książki » Computers - Languages - General
topmenu
 |
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
ISBN: 9783642699641 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book...
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ...
|
cena:
407,25 |
 |
Computing in Horn Clause Theories
ISBN: 9783642738265 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a unifying approach to semantical concepts and deductive methods used in recursive, equational and logic programming, data type specification and automated theorem-proving. The common background is Horn logic with equality. Although this logic does not cover the full first-order logic, it supplies us with a language that allows "natural" problem specifications, offers several semantical views (functional, relational, inductive, behavioural, etc.) and puts at our disposal a number of more or less special-purpose deductive methods, which can be used as rapid prototyping...
This book presents a unifying approach to semantical concepts and deductive methods used in recursive, equational and logic programming, data type spe...
|
cena:
203,61 |
 |
Advances in Object-Oriented Graphics I
ISBN: 9783642763052 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented systems have gained a great deal of popularity recently and their application to graphics has been very successful. This book documents a number of recent advances and indicates numerous areas of current research. The purpose of the book is: - to demonstrate the extraordinary practical utility of object-oriented methods in computer graphics (including user interfaces, image synthesis, CAD), - to examine outstanding research issues in the field of object-oriented graphics, and in particular to investi- gate extensions and shortcomings of the methodology when applied to computer...
Object-oriented systems have gained a great deal of popularity recently and their application to graphics has been very successful. This book document...
|
cena:
407,25 |
 |
The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
ISBN: 9783642821240 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Augmented Transition Network Grammars are at present the most widely used method for analyzing natural languages. Despite the increasing po pularity of this method, however, no extensive papers on ATN-Grammars have been presented which would be accessible to a larger number of per sons engaged in the problem from both the theoretical and practical points of view. Augmented Transition Networks (ATN) are derived from state automata. Like a finite state automaton, an ATN consists of a collection of la beled states and arcs, a distinguished start state and a set of distin guished final states....
Augmented Transition Network Grammars are at present the most widely used method for analyzing natural languages. Despite the increasing po pularity o...
|
cena:
407,25 |
 |
Query Processing in Database Systems
ISBN: 9783642823770 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an anthology of the results of research and development in database query processing during the past decade. The relational model of data provided tremendous impetus for research into query processing. Since a relational query does not specify access paths to the stored data, the database management system (DBMS) must provide an intelligent query-processing subsystem which will evaluate a number of potentially efficient strategies for processing the query and select the one that optimizes a given performance measure. The degree of sophistication of this subsystem, often called...
This book is an anthology of the results of research and development in database query processing during the past decade. The relational model of data...
|
cena:
407,25 |
 |
Programming Languages for Industrial Robots
ISBN: 9783642827471 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Previous works on industrial robots dealt with "programming" and "programming languages" only in passing; no comparison was made between characteristics of the individual programming lan guages. This book, therefore, gives a detailed account of industrial robot programming and its environment. Mter introducing basic concepts special attention is paid to the language constructs relevant to robot programming. The features of various elements of the languages ex amined are compared. The languages are based on the following concepts: SRL - high-level programming language based on AL with PASCAL...
Previous works on industrial robots dealt with "programming" and "programming languages" only in passing; no comparison was made between characteristi...
|
cena:
203,61 |
 |
On Object-Oriented Database Systems
ISBN: 9783642843761 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented database systems have been approached with mainly two major intentions in mind, namely to better support new application areas including CAD/CAM, office automation, knowledge engineering, and to overcome the impendance mismatch' between data models and programming languages. This volume gives a comprehensive overwiew of developments in this flourishing area of current database research. Data model and language aspects, interface and database design issues, architectural and implementation questions are covered. Although based on a series of workshops, the contents of this book...
Object-oriented database systems have been approached with mainly two major intentions in mind, namely to better support new application areas includi...
|
cena:
407,25 |
 |
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Pap
ISBN: 9783642324949 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, F...
|
cena:
187,35 |
 |
Mathematical Foundations of Computer Science 2012: 37th International Symposium, Mfcs 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
ISBN: 9783642325885 / Angielski / Miękka / 825 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems,...
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held ...
|
cena:
447,98 |
 |
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
ISBN: 9783642328190 / Angielski / Miękka / 960 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 228 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high-performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; peer to peer computing; distributed systems and algorithms; parallel...
This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in Augu...
|
cena:
203,61 |
 |
Partnering with Microsoft: How to Make Money in Trusted Partnership with the Global Software Powerhouse
ISBN: 9780123954923 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advance Praise for Partnering with Microsoft: '"Partnering with Microsoft" is the first great book about the breathtaking culture, opportunity and roadmap for joining Microsoft's 850,000 partners cutting an impressive B swath in the marketpl
This inside guide to effective partnering with Microsoft reveals how to become a trusted partner in order to gain supportive co-marketing, assured referrals, and joint success in selling complementary products and services. Advance Praise for Partnering with Microsoft: '"Partnering with Microsoft" is the first great book about the breathtaking culture, opportunity and roa...
|
cena:
274,26 |
 |
Implementation and Application of Functional Languages: 22nd International Symposium, Ifl 2010, Alphen Aan Den Rijn, the Netherlands, September 1-3, 2
ISBN: 9783642242755 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference The 13 revised full papers presented were carefully reviewed and were This book constitutes the thoroughly refereed post-conference |
cena:
203,61 |
 |
Pearl: Process and Experiment Automation Realtime Language
ISBN: 9783528035006 / Niemiecki / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Angewandte Informatik ftihlt sich der gesamten Entwicklung auf dem Gebiet der anwendungsbezogenen Arbeiten fUr die Datenverarbeitung und den anwendungsorien tierten Entwicklungen der Informatik verpflichtet. Diese Aufgabe kann mit dem Text teil der Zeitschrift nicht immer erftillt werden. Aus diesem Grunde wurde fUr umfang reichere Beitrage, die nur einen sehr speziellen Leserkreis interessieren, der Depotteil eingefUhrt. Nun warten aber auch Beitrage, die zu umfangreich fUr eine Aufsatzfolge sind und einen breiten Leserkreis interessieren durften, auf die VerOffentlichung. Dabei handelt...
Die Angewandte Informatik ftihlt sich der gesamten Entwicklung auf dem Gebiet der anwendungsbezogenen Arbeiten fUr die Datenverarbeitung und den anwen...
|
cena:
209,31 |
 |
Mikrorechner: Architektur Und Programmierung
ISBN: 9783528043537 / Niemiecki / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch wendet sich an den "Neuling" auf dem Gebiet der Mikroprozessortechnik. Nach einer allgemein gehaltenen Einfiihrung, in der auf die binare Darstellungsweise von Information und die grundsatzliche Architektur eines Mikrorechnersystems eingegangen wird, stellen wir die Struktur von Maschinenbefehlen anhand des Befehlssatzes zweier M ikroprozessoren vor. Auf diesen Grundlagen bauen die nachsten Abschnitte auf: Die Programmierung des Mikroprozessors und die Hardwarekomponenten, die erst die Kommunikation mit dem System ermoglichen. SchlieBlich stellen wir Softwarehilfsmittel vor, die...
Dieses Buch wendet sich an den "Neuling" auf dem Gebiet der Mikroprozessortechnik. Nach einer allgemein gehaltenen Einfiihrung, in der auf die binare ...
|
cena:
209,31 |
 |
Aufbaukurs Ms-DOS: Das Microsoft-Handbuch Zum Professionellen Programmieren Für Den Fortgeschrittenen Anwender
ISBN: 9783528045579 / Niemiecki / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Haben Sie mit Ihrem Computer schon ein paar Monate gearbeitet? Dann wissen Sie ja, daB es sich bei DOS urn mehr als nur urn das Prompt-Zei chen A> handelt. Aber Sie wissen vielleicht nicht, wieviel mehr es gibt? Dieses Buch zeigt Ihnen, wie Sie folgende Dinge ausschlieI31ich mit Hilfe von DOS durchfUhren konnen: Eigene Bildschirmgestaltung durch Fettdruck, Inversschrift und Farbe bei Menu-, Hilfs- oder Anweisungs-Bildschirmausgaben. Erstellen, untersuchen oder verandern einer beliebigen Datei mit be liebigem Dateiinhalt - sogar Programmdateien. Erstellen eines individuellen Menu-Systems, mit...
Haben Sie mit Ihrem Computer schon ein paar Monate gearbeitet? Dann wissen Sie ja, daB es sich bei DOS urn mehr als nur urn das Prompt-Zei chen A> han...
|
cena:
209,31 |
 |
Research in Attacks, Intrusions and Defenses: 15th International Symposium, Raid 2012, Amsterdam, the Netherlands, September 12-14, 2012, Proceedings
ISBN: 9783642333378 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 15th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in Intrusion Detection, RAID 2012, held in Amsterdam, The Netherlands in September 2012. The 18 full and 12 poster papers presented were carefully reviewed and selected from 84 submissions. The papers address all current topics in virtualization, attacks and defenses, host and network security, fraud detection and underground economy, web security, intrusion detection.
This book constitutes the proceedings of the 15th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in I...
|
cena:
203,61 |
 |
Formal Modeling and Analysis of Timed Systems: 10th International Conference, Formats 2012, London, Uk, September 18-20, 2012, Proceedings
ISBN: 9783642333644 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, he...
|
cena:
187,35 |
 |
The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation
ISBN: 9781461285533 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the...
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with...
|
cena:
814,55 |
 |
Object Orientation with Parallelism and Persistence
ISBN: 9781461286257 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promises faster program execution.
The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language... Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation...
|
cena:
610,90 |
 |
Object-Oriented Programming a Unified Foundation
ISBN: 9781461286707 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has...
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric ...
|
cena:
407,25 |
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
