» książki » Computers - Languages - General
topmenu
 |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
ISBN: 9783540421245 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical... This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker ... |
cena:
190,06 zł |
 |
Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung
ISBN: 9783540423423 / Niemiecki / Miękka / 682 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Ubersetzung der bewahrten Einfuhrung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt fur Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlosen mit Registermaschinen werden verschiedene Programmierparadigmen entwikckelt und die effektive Handhabung von Komplexitat gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung."
Die Ubersetzung der bewahrten Einfuhrung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in...
|
cena:
159,87 zł |
 |
Principles and Practice of Constraint Programming - Cp 2002: 8th International Conference, Cp 2002, Ithaca, Ny, Usa, September 9-13, 2002, Proceedings
ISBN: 9783540441205 / Angielski / Miękka / 794 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.
The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields. This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held...
|
cena:
380,16 zł |
 |
Computer Safety, Reliability and Security: 21st International Conference, Safecomp 2002, Catania, Italy, September 10-13, 2002. Proceedings
ISBN: 9783540441571 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment. This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held ...
|
cena:
190,06 zł |
 |
Prolog: The Standard: Reference Manual
ISBN: 9783540593041 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. The book contains a comprehensible full description of the standardized language together with an executable...
This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming langua...
|
cena:
418,18 zł |
![Objektorientierte Softwareentwicklung Mit SmallTalk G]nther Vinek 9783540625582 Springer](/9783540625582_objektorientierte_softwareentwicklung_mit_smalltalk.jpg "Objektorientierte Softwareentwicklung Mit SmallTalk") |
Objektorientierte Softwareentwicklung Mit SmallTalk
ISBN: 9783540625582 / Niemiecki / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch gibt einen Uberblick uber objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen durch Smalltalk. Es betont die Umsetzung konzeptueller Objektmodelle in operable Programme und zeigt deren inkrementelle Entwicklung und gegenseitige Beeinflussung an Hand konkreter Beispiele. Es prasentiert Smalltalk als Sprache, als Entwicklungssystem und als Repositorium wiederverwendbarer und erweiterbarer Konstruktionselemente fur Anwendungssoftware. Die Darstellung wird durch aufeinander aufbauende Beispiele (aus dem Bankbereich)...
Dieses Buch gibt einen Uberblick uber objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen...
|
cena:
141,97 zł |
 |
Clause and Effect: PROLOG Programming for the Working Programmer
ISBN: 9783540629719 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no...
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a refer...
|
cena:
285,12 zł |
 |
ADA 95 Rationale: The Language - The Standard Libraries
ISBN: 9783540631439 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the scope and objectives of the Ada 95 and its major technical features; the second part contains a more detailed step-by-step account of the core language; part three consists of several annexes addressing the predefined environment and specialized application areas; finally the three appendices are devoted to the upward compatibility with Ada 83 and a summary of requirements. The text aims to provide a systematic guide to the new features of the...
Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the s...
|
cena:
190,06 zł |
 |
ADA 95 Reference Manual: Language and Standard Libraries: International Standard Iso/Iec 8652:1995 (E)
ISBN: 9783540631446 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to...
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The tho...
|
cena:
380,16 zł |
 |
Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Sep
ISBN: 9783540664994 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being...
Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design pr...
|
cena:
190,06 zł |
 |
Computational Linguistics and Intelligent Text Processing: 8th International Conference, Cicling 2007, Mexico City, Mexico, February 18-24, 2007, Proc
ISBN: 9783540709381 / Angielski / Miękka / 670 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007. The 53 revised full papers presented together with 3 invited papers cover all current issues in computational linguistics research and present intelligent text processing applications. This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CI... |
cena:
380,16 zł |
 |
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783540713142 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties. This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 200... |
cena:
380,16 zł |
 |
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
ISBN: 9783540713159 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for... Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions t... |
cena:
190,06 zł |
 |
Programmieren Lernen: Eine Grundlegende Einführung Mit Java
ISBN: 9783540723639 / Niemiecki / Miękka / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, grundlich und Schritt fur Schritt erlautert der Autor die klassischen Programmierkonzepte, wie z.B. bedingte Anweisungen, Schleifen und Rekursion fur vielfaltige Anwendungen. Objekte und (generische) Klassen, Datenstrukturen, wichtige Algorithmen zum Suchen und Sortieren, einfache numerische Anwendungen, u.v.a. erganzen diese 3., korrigierte und erweiterte Auflage. Zusatzlich beschreibt der Autor Modularisierungskonzepte und Methoden fur die Programmierung mittels Threads, Exception-Handling, die Ein- und... Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, grundlich und Schritt fur Schritt erlautert der Autor die klassis... |
cena:
177,63 zł |
 |
Languages and Compilers for Parallel Computing: 19th International Workshop, Lcpc 2006, New Orleans, La, Usa, November 2-4, 2006, Revised Papers
ISBN: 9783540725206 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans, LouisianaUSA.Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation, compilationtechniques, paralleldatastructureandparallelexecution models, toregisterallocationandmemorymanagementinparallelenvironments. Out of the 49 paper submissions, the Program Committee, with the help of external reviewers, selected 24 papers for presentation at the workshop. Each paper had...
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans, LouisianaUSA.Morethan40researchers from around...
|
cena:
190,06 zł |
 |
Object Oriented Computer Systems Engineering
ISBN: 9783540760207 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect...
This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in the...
|
cena:
190,06 zł |
 |
Data Structures and Algorithms: A First Course
ISBN: 9783540760474 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All young computer scientists who aspire to write programs must learn something about algorithms and data structures. This book does exactly that. Based on lecture courses developed by the author over a number of years the book is written in an informal and friendly way specifically to appeal to students.
The book is divided into four parts: the first on Data Structures introduces a variety of structures and the fundamental operations associated with them, together with descriptions of how they are implemented in Pascal; the second discusses algorithms and the notion of complexity; Part... All young computer scientists who aspire to write programs must learn something about algorithms and data structures. This book does exactly that. Bas...
|
cena:
190,06 zł |
 |
The F Language Guide
ISBN: 9783540761655 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as its parent language, containing the modern language features of Fortran, yet smaller and easier to use, debug and teach than Fortran. As with his previous Fortran books, Wilhelm Gehrke has provided a clear and comprehensive guide to the F language in this book which will be welcomed by practitioners and students alike. The F Language Guide will serve as a language reference manual for the novice as well as for the experienced programmer,...
Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as ...
|
cena:
190,06 zł |
 |
Key Java: Advanced Tips and Techniques
ISBN: 9783540762591 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments. It has moved beyond a lnaguage used just for creating Web-based applets to one that is being used for developing serious applications. Key Java is intended for those who already know the Java language, the classes and the tools, but who want to get more out of Java. They are wanting to know about subjects such as good Java style for reusable components, about using Java beans, about the JDBC, about optimising their code, about testing their code appropriately and about using the IFC,...
Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments. It has moved beyond a lnaguage used just...
|
cena:
190,06 zł |
 |
Programming in Lua
ISBN: 9788590379829 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Authored by Roberto Ierusalimschy, the chief architect of the language, this volume covers all aspects of Lua 5---from the basics to its API with C---explaining how to make good use of its features and giving numerous code examples. (Computer Books)
Authored by Roberto Ierusalimschy, the chief architect of the language, this volume covers all aspects of Lua 5---from the basics to its API with C---...
|
cena:
214,52 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
