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:
424,07 zł |
Constraint-Programmierung: Grundlagen Und Anwendungen
ISBN: 9783540606703 / Niemiecki / Miękka / 165 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch gibt einen kompakten, aber umfassenden Uberblick uber das Problemlosen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermoglicht es, Aufgaben direkt zu formulieren und effizient zu losen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schliessen und Rechnen mit ungenauer oder unvollstandiger Information (z.B. Kostenschatzung). Die theoretisch fundierte Darstellung mit Aufgaben und...
Das Buch gibt einen kompakten, aber umfassenden Uberblick uber das Problemlosen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle ...
|
|
cena:
82,86 zł |
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:
143,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:
289,13 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:
192,74 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:
385,52 zł |
Ajax in Der Praxis: Grundlagen, Konzepte, Lösungen
ISBN: 9783540693338 / Niemiecki / Twarda / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ajax machte das Web zu einer Plattform fur Anwendungssoftware und verfugt uber ein eindrucksvolles Potenzial. Dieses Buch bietet einen grundlichen und verstandlichen Einstieg in die Technologie. Hier profitieren alle Profis, die bereits Web-Anwendungen entwickeln und sich noch nicht mit Ajax befasst haben, aber auch traditionelle Software-Entwickler, die den Sprung ins Web machen mochten. Der Autor vermittelt die Konzepte anhand praxisnaher Beispiele, spricht haufige Probleme an und stellt bewahrte Losungen vor. Sein Fachbuch ist gleichermassen ein Nachschlagewerk, das die tagliche Arbeit... Ajax machte das Web zu einer Plattform fur Anwendungssoftware und verfugt uber ein eindrucksvolles Potenzial. Dieses Buch bietet einen grundlichen ... |
|
cena:
180,14 zł |
Essential Java Fast: How to Write Object Oriented Software for the Internet
ISBN: 9783540760528 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java is a new and exciting object-oriented programming language which is set to transform the world wide web. Java allows users to write applications which can be accessed across different platforms and provides an effective means of building small but powerful programs that enable a huge range of new applications - such as animation, live updating, two-way interactions etc. - to be quickly and easily implemented. As with all the 'Essential Series' books Essential Java Fast provides a highly readable and accessible introduction to the Java programming language allowing the...
Java is a new and exciting object-oriented programming language which is set to transform the world wide web. Java allows users to write applications ...
|
|
cena:
192,74 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:
192,74 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:
192,74 zł |
Notizen Zu C++
ISBN: 9783540010586 / Niemiecki / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem Software-Entwickler bei der taglichen Arbeit stellen, wie die optimale Losung aussieht. Dazu wird in praziser und kompakter Form erklart, warum der aufgezeigte Weg optimal ist. Die jeweils vorgeschlagene Losung wird an Code-Beispielen fundiert umgesetzt. Oft munden die Schlussfolgerungen in einem pragnanten Merksatz, der dann auch die Uberschrift des entsprechenden Kapitels bildet. Der Aufbau dieses Werkes ist den Bedurfnissen von... Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem ... |
|
cena:
277,41 zł |
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
ISBN: 9783540102502 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
|
cena:
134,90 zł |
Compiler Specification and Verification
ISBN: 9783540108863 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
88,64 zł |
An Analytical Description of Chill, the Ccitt High Level Language
ISBN: 9783540111962 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
192,74 zł |
Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
ISBN: 9783540164708 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
192,74 zł |
Anna a Language for Annotating ADA Programs: Reference Manual
ISBN: 9783540179801 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally...
|
|
cena:
192,74 zł |
A Review of ADA Tasking
ISBN: 9783540180081 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception...
Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the ...
|
|
cena:
192,74 zł |
PORTAL Language Description
ISBN: 9783540189602 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
|
cena:
192,74 zł |
ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
ISBN: 9783540190271 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel...
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, s...
|
|
cena:
192,74 zł |
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Pap
ISBN: 9783540503255 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent...
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based o...
|
|
cena:
192,74 zł |