» książki » Computers - Languages - General
topmenu
 |
Formal Languages and Compilation
ISBN: 9781849968171 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to...
State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language...
|
cena:
285,06 |
 |
Architecting Dependable Systems VII
ISBN: 9783642172441 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security.This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting...
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be con...
|
cena:
203,61 |
 |
Central European Functional Programming School: Third Summer School, Cefp 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2
ISBN: 9783642176845 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009.
The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages. This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in...
|
cena:
203,61 |
 |
A Logical Approach to Discrete Math
ISBN: 9781441928351 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we...
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basi...
|
cena:
232,11 |
 |
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ISBN: 9783642166112 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians,...
|
cena:
203,61 |
 |
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz
ISBN: 9789048181834 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many years, Professor Rosenkrantz served as the Editor-in-Chief of the Journal of the Association for Computing Machinery (JACM), a very prestigious archival journal in Computer...
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor R...
|
cena:
407,25 |
 |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783642059414 / Angielski / Miękka / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
cena:
447,98 |
 |
Data Mining and Diagnosing IC Fails
ISBN: 9781441937674 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book grew out of an attempt to describe a variety of tools that were developed over a period of years in IBM to analyze Integrated Circuit fail data. The selection presented in this book focuses on those tools that have a significant statistical or datamining component. The danger of describing sta tistical analysis methods is the amount of non-trivial mathematics that is involved and that tends to obscure the usually straigthforward analysis ideas. This book is, therefore, divided into two roughly equal parts. The first part contains the description of the various analysis techniques...
This book grew out of an attempt to describe a variety of tools that were developed over a period of years in IBM to analyze Integrated Circuit fail d...
|
cena:
407,25 |
 |
Parallel Image Processing
ISBN: 9783642086793 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book developed out of a series of publications in the area of image processing with massively parallel algorithms. The topic of image processing is a particularly promising area for the use of synchronous massively parallel or data-parallel compu ter systems which work according to the SIMD principle (single instruction, multiple data). While the era of large SIMD super-computers has passed, SIMD systems have come back as dedicated vision subsystems and will soon be found even in embedded systems. In comparison to conventional sequential implementations of basic image opera tions, this...
This book developed out of a series of publications in the area of image processing with massively parallel algorithms. The topic of image processing ...
|
cena:
203,61 |
 |
Parsing Theory: Volume II Lr(k) and Ll(k) Parsing
ISBN: 9783642080791 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains a thorough treat ment of the theory of the two most important deterministic parsing methods: LR(k) and LL(k) parsing. Volume II is a continuation of Volume I; together these two volumes form an integrated work, with chapters, theorems, lemmas, etc. numbered consecutively. Volume II begins with...
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (C...
|
cena:
203,61 |
 |
Hardware Verification with System Verilog: An Object-Oriented Framework
ISBN: 9781441944085 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second of our books designed to help the professional verifier manage complexity. This time, we have responded to a growing interest not only in object-oriented programming but also in SystemVerilog. The writing of this second handbook has been just another step in an ongoing masochistic endeavor to make your professional lives as painfree as possible. The authors are not special people. We have worked in several companies, large and small, made mistakes, and generally muddled through our work. There are many people in the industry who are smarter than we are, and many coworkers...
This is the second of our books designed to help the professional verifier manage complexity. This time, we have responded to a growing interest not o...
|
cena:
447,98 |
 |
Pro Core Data for IOS: Data Access and Persistence Engine for Iphone, Ipad, and iPod Touch
ISBN: 9781430233558 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The power of Core Data allows iOS developers to efficiently store and retrieve application data using familiar object-oriented paradigms. Pro Core Data for iOS explains both how and why to use Core Data for data storage, from simple to advanced techniques. Covering common and advanced persistence patterns, this book prepares any iOS developer to store and retrieve data accurately and proficiently.
Lots of iOS development books touch on Core Data, taking you through a few mainstream use cases for storing and retrieving data in your iOS applications. In Pro Core Data for... The power of Core Data allows iOS developers to efficiently store and retrieve application data using familiar object-oriented paradigms. Pro Core...
|
cena:
145,04 |
 |
Scientific Computation with Automatic Result Verification
ISBN: 9783211820636 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation." - - This volume combines edited versions of selected papers presented at this confer ence, including a few which were presented at a similar meeting one year earlier. The selection was made...
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University...
|
cena:
203,61 |
 |
Listen, Bäume Und Graphen ALS Objekte: Mit Beispielen in Object Pascal
ISBN: 9783211825785 / Niemiecki / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt seine Leser in den Umgang mit Listen, Baumen und Graphen sowie in deren wichtigste Anwendungen ein und macht mit objektorientierten Entwurfs- und Programmierverfahren vertraut. Der hier verwendete objektorientierte Ansatz wird in der Literatur zur Entwicklung von Datenstrukturen und Algorithmen bisher wenig verwendet. Er hilft, Datenstrukturen und Algorithmen schrittweise zu entwickeln und verstandlich darzustellen. Ausserdem bietet er erweiterte...
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt se...
|
cena:
209,31 |
 |
1. Fachtagung Über Programmiersprachen: München, 9.-11. März 1971
ISBN: 9783540060512 / Niemiecki / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programmiersprachen gehoren seit den Anfangen der Entwicklung des Fachgebietes Informatik zu dessen inner stem Kern. Dabei faBt der Begriff "Programmiersprachen" eine Reihe von Gegenstanden der In formatik zusammen, die insgesamt auf das Ziel gerichtet sind, den Benutzern von Rechenanlagen die Programmierung wesentlich zu erleichtern. Unter diesen Gegenstanden finden sich vor allem: Prinzipien ftir Entwur.f und Entwicklung von Programmiersprachen, Definition von Programmiersprachen, Techniken des Ubersetzerbaus ftir Programmier sprachen. Wurden Programmiersprachen zu Beginn der Entwicklung...
Programmiersprachen gehoren seit den Anfangen der Entwicklung des Fachgebietes Informatik zu dessen inner stem Kern. Dabei faBt der Begriff "Programmi...
|
cena:
209,31 |
 |
Programmierumgebungen: Entwicklungswerkzeuge Und Programmiersprachen
ISBN: 9783540129219 / Niemiecki / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen Kapitel sind Mitarbeiter des Fachgebietes Softwaretechnik der Siemens AG, die aIle beruf lich mit der Thematik befal3t sind. Dabei wurden die Kapitel aufeinander abge stimmt, ohne jedoch die 'Perstinlichkeit' der einzelnen Autoren einzuschranken. Das Buch stellt somit eine Sammlung von einzelnen Beitragen dar, die - als Ge samtheit gesehen - den Uberblick iiber den heutigen Stand der Technik bei der vorgegebenen Thematik reprasentieren. Wegen...
Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen K...
|
cena:
209,31 |
 |
Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ISBN: 9783642192074 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the...
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering,...
|
cena:
203,61 |
 |
The SPARC Technical Papers
ISBN: 9780387976341 / Angielski / Miękka / 501 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the SPARC (Scalable Processor ARChitecture) architecture and system software as the underlying foundation, Sun Microsys terns is delivering a new model of computing-easy workgroup computing-to enhance the way people work, automating processes across groups, departments, and teams locally and globally. Sun and a large and growing number of companies in the computer industry have embarked on a new approach to meet the needs of computer users and system developers in the 1990s. Originated by Sun, the approach targets users who need a range of compatible computer systems with a variety of...
With the SPARC (Scalable Processor ARChitecture) architecture and system software as the underlying foundation, Sun Microsys terns is delivering a new...
|
cena:
203,61 |
 |
VHDL '92: The New Features of the VHDL Hardware Description Language
ISBN: 9780792393566 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An open process of restandardization, conducted by the IEEE, has led to the definitions of the new VHDL standard. The changes make VHDL safer, more portable, and more powerful. VHDL also becomes bigger and more complete. The canonical simulator of VHDL is enriched by new mechanisms, the predefined environment is more complete, and the syntax is more regular and flexible. Discrepancies and known bugs of VHDL'87 have been fixed. However, the new VHDL'92 is compatible with VHDL'87, with some minor exceptions.
An open process of restandardization, conducted by the IEEE, has led to the definitions of the new VHDL standard. The changes make VHDL safer, more po...
|
cena:
489,86 |
 |
Mach: Konzepte Und Programmierung
ISBN: 9783540558064 / Niemiecki / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thema des Buches ist das Mach-System, eine Weiterentwicklung des Unix-Betriebssystems, welches die Basis f}r NeXTSTEP und OSF/1 bildet. Das Buch richtet sich an den Praktiker, der sich einen ]berblick }ber die Konzepte und die Programmierung dieses neuen Betriebssystems verschaffen will. Im ersten Teil werden die wesentlichen Konzepte, die hinter Mach stehen, dargestellt, w{hrend im zweiten Teil die Programmierung in den Vordergrund tritt. Wesentliche Stichworte sind: Betriebssystemgrundlagen, Basics der Mach-Architektur, Cthreads, RPC-Programmierung, Kommunikation in Mach, virtuelle...
Thema des Buches ist das Mach-System, eine Weiterentwicklung des Unix-Betriebssystems, welches die Basis f}r NeXTSTEP und OSF/1 bildet. Das Buch rich...
|
cena:
209,31 |
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
