» książki » Computers - Programming - Compilers
topmenu
 |
Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
ISBN: 9783319024431 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and...
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, h...
|
cena:
203,13 |
 |
Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ISBN: 9783642415777 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing applications. This theme should be interpreted inclusively: it includes contributions from linguistics, computer science, psycholinguistics and related areas, with a particular interest in interdisciplinary perspectives. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling,...
The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementat...
|
cena:
186,92 |
 |
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed
ISBN: 9783319030760 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 201...
|
cena:
203,13 |
 |
dBASE IV ™: Programmieranleitung für die Arbeit mit einem relationalen Datenbanksystem
ISBN: 9783528146795 / Niemiecki / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der kommerziellen und administrativen Datenverarbeitung werden in zuneh mendem Ma6e Datenbanksysteme bei der Verwaltung und Auswertung von Datenbestanden eingesetzt. Dabei werden bevorzugt relationale Datenbanksy sterne verwendet, da bei diesen Systemen die Datenspeicherung unabhangig von der jeweils durchzufUhrenden Verarbeitung erfolgen kann. Dieses Buch stellt den Leistungsumfang des relationalen Datenbanksystems dBASE IV (ein Produkt der Firma Ashton-Tate) vor, das auf Mikrocomputern zum Einsatz kommt. Als Vorbereitung fUr die Anwendung dieses Systems wird gezeigt, wie Datenbestande...
In der kommerziellen und administrativen Datenverarbeitung werden in zuneh mendem Ma6e Datenbanksysteme bei der Verwaltung und Auswertung von Datenbes...
|
cena:
208,82 |
 |
A Guide to Modula-2
ISBN: 9781461293491 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful programming language that was introduced in 1970 by Niklaus Wirth. During the 1970's Pascal became the most widely taught programming language and it gained acceptance in science and industry. In 1980 Dr. Wirth released the Modula-2 program- ming language. Modula-2 is an evolution of Pascal. It improves on the successes of Pascal while adding the MODULE - a tool for ex- pressing the relations between the major parts of programs. In ad- dition Modula-2...
Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful progra...
|
cena:
203,13 |
 |
Applications of Logic Databases
ISBN: 9781461359265 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
cena:
609,48 |
 |
Programmierprinzipien in Basic Und Pascal: Mit 12 Basic- Und 13 Pascal-Programmen
ISBN: 9783528042585 / Niemiecki / Miękka / 60 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sto t man auf eine besonders elegante Formulierung eines Algorithmus, so fragt man sich meist, wie der Autor auf die entsprechende Programmieridee gekommen ist. Mustert man eine Vielzahl von Algorithmen genauer, so erkennt man, d es etwa ein Dutzend grund legender Programmiertechniken gibt. Im vorliegenden Band sollen daher einige solche Pro grammierprinzipien wie - Top-down-Prinzip - Rekursion - Iteration - Backtracking-Verfahren - Teile-und-Herrsche-Prinzip - Greedy-Algorithmen vorgestellt werden. Thre Realisierung wird an Hand von 25 vollstandigen BASIC-und Pascal-Programmen diskutiert....
Sto t man auf eine besonders elegante Formulierung eines Algorithmus, so fragt man sich meist, wie der Autor auf die entsprechende Programmieridee gek...
|
cena:
208,82 |
 |
Die Wissensrepräsentationssprache Ops5: Sprachbeschreibung Und Einführung in Die Regelorientierte Programmierung
ISBN: 9783528044985 / Niemiecki / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur Erstellung regelbasierter Systeme dient. Es hat schon seit llingerem den Weg aus den Entwicklungslaboratorien gefunden und wurde fUr erfolgreich eingesetzte Experten systeme verwendet. Auch in der Bundesrepublik hat es Verbreitung in Universitliten und Unternehmen gefunden. Ein Lehrbuch in deutscher Sprache, wie es sie fUr Sprachen wie Pascal oder FORTRAN in breiter Auswahl gibt, existierte fUr OPS5 jedoch bislang nicht. Als die Autoren Anfang...
Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur...
|
cena:
208,82 |
 |
Lotus 1-2-3: Schritt Für Schritt
ISBN: 9783528045319 / Niemiecki / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines Rechners verlocken, so wird es doch fur viele Anwender schwierig, ihre eigenen Probleme zu losen. Viele stehen vor der Frage, ob sie eine der vielen Programmiersprachen lernen sollten oder fur teures Geld ihre individuellen Probleme programmieren lassen mussen. Das hier beschriebene Werkzeug Lotus 1-2-3 ist idealerweise dazu geeignet, ohne den Umweg uber das Beherrschen einer Programmiersprache die eigenen Aufgaben schnell und effizient losen...
Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines...
|
cena:
189,68 |
 |
Sprachverarbeitung: Mit LISP Und PROLOG Auf Dem PC
ISBN: 9783528045708 / Niemiecki / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die folgenden Motivationen haben zu dem vorliegenden Buch gefuhrt: Da ist zunachst einmal die eigene Unzufriedenheit mit derzeit verfugbaren Buchern, die sich mit der gleichen oder ahnlicher Materie befassen. Sowohl theoretische Abhandlungen uber das Thema, Kunstliche Intelligenz', Einfuhrungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschliesslich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies musste ich beim Studium von...
Die folgenden Motivationen haben zu dem vorliegenden Buch gefuhrt: Da ist zunachst einmal die eigene Unzufriedenheit mit derzeit verfugbaren Buchern, ...
|
cena:
208,82 |
 |
Turbo C-Wegweiser Grundkurs
ISBN: 9783528046071 / Niemiecki / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Wegweiser-Buch fuhrt den Leser zum erfolgreichen Ein satz von Turbo C und ist in die drei Abschnitte Grundlagen, Turbo C und Programmierkurs mit Turbo C gegliedert. Abschnitt "I Grundlagen": Das Wegweiser-Buch vermittelt aktuelles Grundlagenwissen zur Programmentwicklung allgemein: Was sind Datentypen und Datenstrukturen? Welche Programmstrukturen unterscheidet die Informatik? Wie lassen sich Daten- und Programmstrukturen als Software-Bau steine anordnen? Was versteht man unter der Datei als Datenstruktur? Nach der Lekture dieses Abschnitts sind Sie in der Lage, die Programm...
Das vorliegende Wegweiser-Buch fuhrt den Leser zum erfolgreichen Ein satz von Turbo C und ist in die drei Abschnitte Grundlagen, Turbo C und Programmi...
|
cena:
208,82 |
 |
Programmieren Mit PostScript: Eine Umfassende Einführung Inclusive Filesystem Und Typesetter
ISBN: 9783528047115 / Niemiecki / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist aus Kursen tiber die Programmiersprache PostScript entstanden, die ich seit 1988 regelmaBig halte. Es ist als Lehrbuch fUr das Selbststudium konzipiert. Insbesondere durch die graphische. Darstellung der AbUiufe bei der Bearbeitung von PostScript-Programmen eignet sich das Buch auch fUr Leser ohne Informatikkenntnisse. Zahlreiche Ubungsaufgaben ermoglichen dem Leser, den behandelten Stoff zu vertiefen. Zu allen Aufgaben befinden sich im Anhang des Buches ausfiihrlich erHiuterte Losungen. Die Schwerpunkte dieses Buches liegen in der Schriftenverarbeitung unci in der...
Das vorliegende Buch ist aus Kursen tiber die Programmiersprache PostScript entstanden, die ich seit 1988 regelmaBig halte. Es ist als Lehrbuch fUr da...
|
cena:
265,80 |
 |
Modulare Regelprogrammierung
ISBN: 9783528047702 / Niemiecki / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Infonnatik ist ein fester, nicht mehr wegzudenkender Bestandteil un serer heuti gen Welt In alien Bereichen von Technik, Wirtschaft und Wissenschaft erledigen Rechenprogramme Routineaufgaben dauerhaft, meist zuverllissig und schnell. Der Fort schritt der Rechnertechnologie erlaubt dabei, daB dem Computer immer komplexere Aufgabenstellungen tibertragen werden konnen. Zudem werden immer mehr Bereiche von Programmen erfaBt, die nicht nur Rechenarbeit, sondern fast schon Denkarbeit erfordern. Wann Rechenarbeit aufhort und Denkarbeit anfllngt, Hillt sich natfirlich nicht definieren. 1m...
Die Infonnatik ist ein fester, nicht mehr wegzudenkender Bestandteil un serer heuti gen Welt In alien Bereichen von Technik, Wirtschaft und Wissenscha...
|
cena:
208,82 |
 |
Einführung in Die Programmiersprache Simula: Anleitung Zum Selbststudium
ISBN: 9783528133214 / Niemiecki / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in die Programmiersprache SIMULA ist aus Lehrveranstaltungen entstanden, die seit mehreren Jahren am Rechenzentrum der Universitat Bremen abgehalten wurden. Das Buch wendet sich an ., Horer aller Fakultaten" und will ihnen den Zugang zur Datenverarbeitung an Hand einfacher Aufgabenstellungen erleichtern. Die Programmiersprache SIMULA, die am Norwegian Computing Center von 0. J. Dahl, B. Myhrhaug und K. Nygaard entwickelt wurde, ist eine Erweiterung der Programmiersprache ALGOL 60. Die Sprache bietet eine Fulle von Anweisungen, so dass man den Losungsweg auch bei komplexer...
Diese Einfuhrung in die Programmiersprache SIMULA ist aus Lehrveranstaltungen entstanden, die seit mehreren Jahren am Rechenzentrum der Universitat Br...
|
cena:
189,68 |
 |
Notizen Zu C++
ISBN: 9783642622861 / Niemiecki / Miękka / 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:
246,66 |
 |
Combinatorial Programming: Methods and Applications: Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2–13 September, 1974
ISBN: 9789401175593 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Combinatorial Programming" are two words whose juxtaposition still strike us as unusual, nevertheless their association in recent years adequately reflects the preoccupations underlying differing work fields, and their importance will increase both from methodology and application view points. To those who like definitions and consider the function of this book to furnish one for combinatorial programming, I will simply say that it is precise- ly this which is exclusively treated here and which in the eyes of the autors is the heart of this branch of applied mathematics. Such was the initial...
"Combinatorial Programming" are two words whose juxtaposition still strike us as unusual, nevertheless their association in recent years adequately re...
|
cena:
203,13 |
 |
Introduction to Simula 67
ISBN: 9783528133405 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
ISBN: 9783642452833 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic and constraints.
This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held...
|
cena:
186,92 |
 |
Practical Aspects of Declarative Languages: 16th International Symposium, Padl 2014, San Diego, Ca, Usa, January 19-20, 2014, Proceedings
ISBN: 9783319041315 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to...
This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in S...
|
cena:
203,13 |
 |
Evaluation of Novel Approaches to Software Engineering: 8th International Conference, Enase 2013, Angers, France, July 4-6, 2013. Revised Selected Pap
ISBN: 9783642540912 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality...
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineerin...
|
cena:
203,13 |
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
