» książki » Computers - Programming - Compilers
topmenu
 |
Programmiersprachen Und Programmentwicklung: 8. Fachtagung, Veranstaltet Vom Fachausschuß 2.1 Der GI Und Der Schweizer Informatiker Gesellschaft Züric
ISBN: 9783540129059 / Niemiecki / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ohne Parallelsitzungen - festgehalten wurde.
ohne Parallelsitzungen - festgehalten wurde.
|
cena:
206,88 |
 |
Semantik Von Programmiersprachen
ISBN: 9783540151630 / Niemiecki / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunachst werden unterschiedliche Formalisierungsansatze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschliessend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die...
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunachst werden unterschiedliche Formali...
|
cena:
206,88 |
 |
PROLOG Versus You: An Introduction to Logic Programming
ISBN: 9783540175773 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the...
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedi...
|
cena:
442,79 |
 |
Programmiermethoden Der Künstlichen Intelligenz: Band 1
ISBN: 9783540194187 / Niemiecki / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...
Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung u...
|
cena:
206,88 |
 |
Testing Software and Systems: 22nd Ifip Wg 6.1 International Conference, Ictss 2010, Natal, Brazil, November 8-10, 2010, Proceedings
ISBN: 9783642165726 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010.
Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Braz...
|
cena:
201,24 |
 |
Generative and Transformational Techniques in Software Engineering III
ISBN: 9783642180224 / Angielski / Miękka / 497 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering,...
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Ge...
|
cena:
201,24 |
 |
Programmieren Mit ADA: ADA Für Einsteiger
ISBN: 9783540544050 / Niemiecki / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Programmiersprache Ada wurde mit dem Ziel entwickelt, auch bei gro en Programmsystemen das Schreiben zuverl{ssiger, transparenter, leicht ver{nderbarer und wiederverwendbarer Programme zu unterst}tzen. Dementsprechend werden in diesem Buch einerseits die Sprachelemente von Ada erkl{rt und andererseits auch gezeigt, wie man mit ihnen Programme schreiben kann. Dazu werden in kleinen vollst{ndigenAda-Programmbeispielen die Ada-Sprachelemente und ihre Anwendung exemplarisch vorgef}hrt. Gelegentlich eingestreute Tabellen und Schaubilder bieten einen ]berblick }ber das jeweilige Thema. Das Buch...
Die Programmiersprache Ada wurde mit dem Ziel entwickelt, auch bei gro en Programmsystemen das Schreiben zuverl{ssiger, transparenter, leicht ver{nder...
|
cena:
206,88 |
 |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper
ISBN: 9783642125911 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software...
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and T...
|
cena:
201,24 |
 |
Neutral Interfaces in Design, Simulation, and Programming for Robotics
ISBN: 9783540575313 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume summarizes the results of a three-year project on the specification, implementation, testing and application of standardized interface processors for product data exchange between different systems in the design, planning and manufacturing of mechanical products.
This volume summarizes the results of a three-year project on the specification, implementation, testing and application of standardized interface pro...
|
cena:
201,24 |
 |
Programmiermethoden Der Künstlichen Intelligenz
ISBN: 9783540524694 / Niemiecki / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass es zu jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...
Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -impl...
|
cena:
187,92 |
 |
Maschinen-Unabhängige Code-Erzeugung ALS Semantikerhaltende Beweisbare Programmtransformation
ISBN: 9783540138952 / Niemiecki / Mikrofilm / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Analysis and Design of Algorithms in Combinatorial Optimization
ISBN: 9783211816264 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Software Engineering in C
ISBN: 9780387965741 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style, particularly readability, maintainability, and portability. Documents the proposed ANSI Standard, which is expected to be ratified in 1987. This book is designed as a text for both beginner and inter- mediate-level programmers.
The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style, pa...
|
cena:
201,24 |
 |
Objektorientiertes Programmieren
ISBN: 9783540579373 / Niemiecki / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Grundkenntnisse objektorientierter Methodik, deren zugrundeliegende Konzepte, sowie Analyse- und Entwurfstechniken sind Gegenstand dieses Lehrbuchs. Anwendungsbeispiele und die Programmierung in C++ runden das Werk ab. Im Vordergrund steht dabei, Antworten auf alle Fragen zu erhalten, die sich bei einem Einstieg in die objektorientierte Programmierung und dem Einsatz moderner Spezifikationstechniken wie der "Unified Modeling Language" UML stellen. Viele Themen werden mit Beispielen illustriert und mit praxisnahen Ubungen zum "Weiterdenken" angeboten. Das Buch eignet sich zum...
Die Grundkenntnisse objektorientierter Methodik, deren zugrundeliegende Konzepte, sowie Analyse- und Entwurfstechniken sind Gegenstand dieses Lehrbuch...
|
cena:
123,95 |
 |
NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings
ISBN: 9783642203978 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction... This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in Ap...
|
cena:
201,24 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 20
ISBN: 9783642198342 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model...
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Syste...
|
cena:
201,24 |
 |
Essential HTML Fast
ISBN: 9783540761990 / Angielski / Miękka / 133 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') has been phenomenal. It seems that everyone has a web site, or is at least planning have one, and everyone wants to get on-line with their products and services, accounts of their favourite hobbies, their resumes, or pictures of their loved ones. So that you too can join in the on-line revolution, this book will help you get onto the web: to make informed decisions about developing your own web site, how to plan and design the site, and then how...
Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') h...
|
cena:
402,53 |
 |
Java Will Nur Spielen: Programmieren Lernen Mit Spaß Und Kreativität
ISBN: 9783834814104 / Niemiecki / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spielen macht nicht nur einfach Spass uber das Spiel entwickelt der homo ludens (lat. der spielende Mensch) seine Fahigkeiten.
Dieser Kurs nutzt den Spieltrieb um Programmieren zu lehren und zeigt wie spannend, kreativ und gesellig es sein kann. Als Programmiersprache dient hierzu Java in der aktuellen Version 1.6. Zuerst werden einige Grundlagen des Programmierens besprochen. Die treibende Kraft zum Erlernen der Sprache ist die Entwicklung von unterschiedlichen Spielen: angefangen von einfachen Reaktionsspiele mit beweglichen Objekten im 2-dimensionalen Raum uber Strategie- und... Spielen macht nicht nur einfach Spass uber das Spiel entwickelt der homo ludens (lat. der spielende Mensch) seine Fahigkeiten.
Dieser Kurs nutzt d... |
cena:
131,64 |
 |
An Introduction to Programming in PROLOG
ISBN: 9780387971445 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction to Prolog ( rQgramming in ic). It presents the basic foundations of Prolog and basic and fundamental programming methods. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an original introduction to programming. The approach adopted in this book is thus based on methodological elements together with some pragmatic aspects. The book is composed of two parts. In the fIrst part the major aspects of programming in Prolog are presented step by step. Each new aspect is illustrated...
This book is an introduction to Prolog ( rQgramming in ic). It presents the basic foundations of Prolog and basic and fundamental programming methods....
|
cena:
201,24 |
 |
The Sun Technology Papers
ISBN: 9780387971452 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech nical journal, Sun Technology: The Journal for Sun Users. Since then, its pages have explored in detail diverse technology and products relating to Sun. The journal's technically sophisticated readers are likely to apply the information published in the journal to their work. Sun Technology has been written by technologists for technologists. In the pages of The Sun Technology Papers, you will find an extensive selection of those articles. No other single volume offers you such a broad view...
The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech nical journal, Sun Technology: The Journal for S...
|
cena:
402,53 |
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
