» książki » Computers - Programming - Compilers
topmenu
 |
Auf Der Fährte Von C#: Einführung Und Referenz
ISBN: 9783540278887 / Niemiecki / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten anderen BA1/4chern zu C# wird dabei aber nicht das Schreiben von Code, sondern das objektorientierte Denken und die Entwicklung eines guten Programmierstils in den Mittelpunkt gestellt. Da der Autor als Zielplattform nicht nur .NET, sondern auch Mono anspricht, und zudem bereits Version 3.0 der Sprache C# und deren Erweiterungen wie beispielsweise LambdaausdrA1/4cke, Erweiterungsmethoden und Linq abdeckt, sind Sie auch fA1/4r die Zukunft gut...
a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten an...
|
cena:
161,37 zł |
 |
Übersetzerbau: Virtuelle Maschinen
ISBN: 9783540495963 / Niemiecki / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo- waresystemen auszeichnen. Ihre Funktionalitat ist (fast) wohlde?niert. Idealerweise existieren vollstandige formale oder zumindest prazise Beschreibungen der Quellsprache und der Zielsp- che. Hau?g gibt es dazu noch Beschreibungen von Schnittstellen zum Betriebs- stem, zum Programmiersystem und zu Programmierumgebungen, zu anderen Ub- setzern und zu Programmbibliotheken. Die Ubersetzungsaufgabe lasst sich auf naturliche Weise in Teilaufgaben...
Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo...
|
cena:
118,31 zł |
 |
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:
268,60 zł |
 |
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:
191,85 zł |
 |
Formal Methods for Components and Objects
ISBN: 9783642170706 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their...
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the de...
|
cena:
191,85 zł |
 |
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ISBN: 9783642183775 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability...
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in A...
|
cena:
191,85 zł |
 |
Implementation and Application of Functional Languages: 21st International Symposium, Ifl 2009, South Orange, Nj, Usa, September 23-25, 2009, Revised
ISBN: 9783642164774 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009.
Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, hel...
|
cena:
191,85 zł |
 |
An Introduction to Language Processing with Perl and PROLOG: An Outline of Theories, Implementation, and Application with Special Consideration of Eng
ISBN: 9783642064050 / Angielski / Miękka / 515 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automatically process text and spoken data. With the processing power and techniques now available, research is scaling up from lab prototypes to real-world, proven applications. This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved,... The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automaticall... |
cena:
345,36 zł |
 |
Recent Advances in Formal Languages and Applications
ISBN: 9783642070099 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
cena:
575,62 zł |
 |
Kurs in Logischer Programmierung
ISBN: 9783211822357 / Niemiecki / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch ist eine Einfuhrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingefuhrt. Die logischen Hintergrunde werden dabei nur angedeutet. Anschliessend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte...
Das Buch ist eine Einfuhrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische...
|
cena:
197,22 zł |
 |
Modula-2: Für Pascal-Programmierer
ISBN: 9783540151579 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch beschreibt die Programmiersprache Modula-2. Es wendet sich an Be nutzer, die Pascal kennen und darauf aufbauend Modula-2 lernen mochten. Das Buch gliedert sich in drei Teile. Teil 1 fuhrt in die Konzepte ein, die in Modu la-2 neu und demzufolge Pascal-Programmierern unbekannt sind. Teil 2 beschreibt Unterschiede zu Pascal. In Teil 3 werden Module definiert, die eine grundlegende Programmierumgebung bereitstellen. Der Anhang enthalt einen Glossar, Syntax diagramme, eine Liste der Wortsymbole, Sonderzeichen und Standardbezeichner, sowie eine Tabelle des ASCII-Zeichencodes. Man...
Dieses Buch beschreibt die Programmiersprache Modula-2. Es wendet sich an Be nutzer, die Pascal kennen und darauf aufbauend Modula-2 lernen mochten. D...
|
cena:
197,22 zł |
 |
Generierung Portabler Compiler: Das Portable System Poco
ISBN: 9783540189374 / Niemiecki / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch, das aus der Saarbrucker Dissertation des Verfassers entstanden ist, beschreibt ein konkretes System zur automatischen Generierung von Compilern. Das System ist fur die Anwendung in der Praxis konzipiert. Es werden die Entwurfskriterien, die zu dem System gefuhrt haben, und die vollstandige Realisierung des Generators dargestellt. Aus der Struktur und der Funktionsweise von Compilern werden die Komponenten eines Compiler-Generators abgeleitet. Die Generierungsverfahren und die zugrundeliegenden theoretischen Konzepte werden vorgestellt. Die Spezifikation einer...
Das vorliegende Buch, das aus der Saarbrucker Dissertation des Verfassers entstanden ist, beschreibt ein konkretes System zur automatischen Generierun...
|
cena:
197,22 zł |
 |
Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme
ISBN: 9783540504290 / Niemiecki / Miękka / 239 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,22 zł |
 |
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
ISBN: 9783642171635 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected fro...
|
cena:
191,85 zł |
 |
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:
191,85 zł |
 |
Pascal-Xsc: Language Reference with Examples
ISBN: 9783540551379 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of...
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The...
|
cena:
191,85 zł |
 |
Software Technologies: 9th International Joint Conference, Icsoft 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
ISBN: 9783319255781 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.
The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management. This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in ... |
cena:
191,85 zł |
 |
Introduction to Programming with Modula-2
ISBN: 9783540520382 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.
Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors ...
|
cena:
191,85 zł |
 |
Pascal Systematisch: Eine Strukturierte Einführung
ISBN: 9783540122500 / Niemiecki / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,22 zł |
 |
Assembler I: Ein Lernprogramm
ISBN: 9783540183198 / Niemiecki / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,22 zł |
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
