» książki » Computers - Programming - Compilers
topmenu
 |
Evaluation of Novel Approaches to Software Engineering: 7th International Conference, Enase 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected
ISBN: 9783642454219 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches with established traditional practices and by evaluating them against software quality criteria.
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineerin...
|
cena:
201,72 |
 |
Moderne C-Programmierung: Kompendium Und Referenz
ISBN: 9783642544361 / Niemiecki / Twarda / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
263,94 |
 |
Basic Für Fortgeschrittene: Textverarbeitung, Arbeiten Mit Logischen Größen, Computersimulation Arbeiten Mit Zufallszahlen Unterprogrammtechnik
ISBN: 9783528041977 / Niemiecki / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Band BASIC fur Fortgeschrittene in der Reihe Programmieren von Mikrocomputern ist ein Aufbauband zum Grundlagenbuch Einfuhrung in BASIC in der gleichen Buch reihe vom selben Autor. Es richtet sich aber auch an diejenigen Leser, die Grundkennt nisse in der Programmiersprache BASIC besitzen und ihre Kenntnisse in speziellen Be reichen erweitern mochten. Aus der Vielzahl der moglichen Einsatzbereiche der Programmiersprache BASIC wurden moglichst allgemein interessierende Bereiche ausgewahlt, wie z.B. die extverarbeitung in BASIC, die Verarbeitung von logischen (Booleschen) Grossen, das...
Der Band BASIC fur Fortgeschrittene in der Reihe Programmieren von Mikrocomputern ist ein Aufbauband zum Grundlagenbuch Einfuhrung in BASIC in der gle...
|
cena:
207,36 |
 |
Lotus Symphony: Schritt Für Schritt
ISBN: 9783528043643 / Niemiecki / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tabellenkalkulationsprogramme haben bei den Anwendern vielfaltige Einsatzgebiete erobert, weil sie ohne Umwege Uber eine Programmier sprache dem Benutzer fUr seine Probleme sehr effiziente Losungen bie ten. Als eines der Mufig eingesetzten Standardprogramme gilt wohl Sym phony. Es stellt eine benutzerfreundliche Erweiterung des Erfolgspro grammes Lotus 1-2-3 dar. Wie dieses besteht es aus drei Grundbaustei nen: - Symphony-Baustein Dies ist der eigentliche Arbeitsbereich des Anwenders. Seine Besonder heiten werden weiter unten geschildert. - PrintGraph-Baustein Die Grafiken, die am Bildschirm...
Tabellenkalkulationsprogramme haben bei den Anwendern vielfaltige Einsatzgebiete erobert, weil sie ohne Umwege Uber eine Programmier sprache dem Benut...
|
cena:
207,36 |
 |
Interfacing Im Apple-Pascal-System: Schnittstellen Mit Dem Via 6522
ISBN: 9783528044411 / Niemiecki / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch soli dem Anwender einen weiten Bereich zur Nutzung des Apples oder anderer Personal-Computer erschlielSen. Es soli ihm helfen, auf der Basis einer h6heren, strukturierten Programmiersprache Hardware- und Software-Bausteine zu entwickeln, die periphere Gedite an den Rechner anpassen. Solche Verbindungselemente, die auch Interfaces heilSen, lassen den Computer mit der Umwelt in Verbindung treten. Mit ihnen kann man Vorgange messen und Gerate regeln und steuern. Fur die MelSwerterfassung bieten sich hauptsachlich physikalische, physikalisch-chemische und tech nische Prozesse an. Fur...
Dieses Buch soli dem Anwender einen weiten Bereich zur Nutzung des Apples oder anderer Personal-Computer erschlielSen. Es soli ihm helfen, auf der Bas...
|
cena:
207,36 |
 |
Turbo PROLOG -- Einführung in Die Anwendung
ISBN: 9783528045616 / Niemiecki / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Kunstliche Intelligenz befasst sich mit der Nachbildung von intelligentem mensch lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tatigkeit des Beweisens mathematischer Aussagen, die Tatigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Pradikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefasst werden als ein solches Ableitungs- oder...
Die Kunstliche Intelligenz befasst sich mit der Nachbildung von intelligentem mensch lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das ...
|
cena:
207,36 |
 |
Lotus 1-2-3 Software Training
ISBN: 9783528045746 / Niemiecki / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mit Lotus 1-2-3 Software Training erscheint ein weiteres Buch aus der Praxis flir die Praxis. Lotus 1-2-3 Software Training wendet sich an den Lotus 1-2-3 Neuling und fuhrt ihn Schritt flir Schritt von den Grundlagen der Arbeit mit Tabellenkalkulationsprogrammen in die Nutzung der verschiedenen Arbeitsbereiche des Lotus Programmpaketes ein. Lotus 1-2-3 beinhaltet als bewahrtes integriertes Programmpaket eine leistungsfahige Tabellenkalkulation, Geschaftsgrafik und eine flexible Datenbankverwaltung. Durch eine gute Menutechnik bleibt das Programm dabei benutzerfreundlich, so dass auch der...
Mit Lotus 1-2-3 Software Training erscheint ein weiteres Buch aus der Praxis flir die Praxis. Lotus 1-2-3 Software Training wendet sich an den Lotus 1...
|
cena:
207,36 |
 |
Professionelles Layout Mit PageMaker: Version 3. 0
ISBN: 9783528046644 / Niemiecki / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PageMaker 3.0 bietet eine Reihe neuer Funktionen, die die starke Marktstellung dieses erfolgreichen Desktop Publishing Programms noch festigen werden. Vor allem die Moglichkeit, Makros anzulegen, die alle Eigenschaften eines Textab satzes zusammenfassen und blitzschnell auf individuelle Absatze angewendet werden konnen, und das Abspeichern von Standardlayouts als Mustervorlagen fur spatere Publikationen erhohen die Produktivitat des PageMaker-Anwenders erheblich. Ausserdem ergeben sich neue Moglichkeiten fur Software-Berater und Arbeitsvorbereiter, dem Endanwender hilfreich zur Seite zu...
PageMaker 3.0 bietet eine Reihe neuer Funktionen, die die starke Marktstellung dieses erfolgreichen Desktop Publishing Programms noch festigen werden....
|
cena:
207,36 |
 |
Software-Engineering Für Programmierer: Eine Praxisgerechte Anleitung
ISBN: 9783528051037 / Niemiecki / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,36 |
 |
Logische Und Funktionale Programmierung: Grundlagen Einer Kombination
ISBN: 9783528051273 / Niemiecki / Miękka / 159 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen moehte ieh danken, daB sie mir die Arbeit in der fruehtbaren und anregenden Atmosphare der Forsehungsgruppe Intellek tik ermoglieht haben. Herrn Prof. Brauer danke ieh fUr das Interesse, daB er dieser Arbeit entgegengebraeht hat. Ein wiehtiger Teil der Arbeit baut auf meiner wissensehaftliehen Tatigkeit an der Fakultat...
Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen ...
|
cena:
207,36 |
 |
Vieweg C++ Toolbox: Professionelle Bibliothek Für Turbo C Und Borland C++
ISBN: 9783528051624 / Niemiecki / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Guten Tag Schritt halten Sie miissen Schritt halten Die Software-EntwicklerInnen werden von den Hardware-EntwicklerInnen gejagt: yom VGA-Extended-Mode iiber Hercules zum IBM-Spezial-Applikations-Interface, yom Real-Mode zum Protected-Mode (und zuriick?), von Intel zu Mips. Die An wendungs-ProgrammiererInnen werden von den Software-Firmen ge trieben: von DOS 3.3 iiber DR-DOS 5.0 zu MS-DOS 5.0 und vielleicht zu OS/2, yom NoveU-Netzwerk zum DOS-Extender und DMPI. Gerade haben Sie gelernt, mit dem BGI-Paket von Borland virtuos zu programmieren, da schwappt die WindowsweUe iiber Ihren...
Guten Tag Schritt halten Sie miissen Schritt halten Die Software-EntwicklerInnen werden von den Hardware-EntwicklerInnen gejagt: yom VGA-Extended-Mo...
|
cena:
207,36 |
 |
Effiziente Natural-Programmierung
ISBN: 9783528052911 / Niemiecki / Miękka / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. V Vorwort Vor gut zweieinhalb Jahren wurde ich angesprochen, ob ich nicht ein Buch uber NATURAL verfassen wollte. Gerne sagte ich zu, ohne zu wissen, was alles auf mich zukam. Es ist schon ein Unterschied, ob man ein betriebsinternes Handbuch, Schulungsunterlagen oder ein Buch erstellt. Bei einem Buch ist ein Feedback nicht direkt personlich moglich, alles sollte so formuliert sein, dass die auftretenden Fragen weitestgehend vollstandig beantwortet sind. Ich habe das Buch geschrieben, weil es in dieser Art noch keine Publikation im deutschsprachigen Raum gab. Bei meiner praktischen Arbeit...
V Vorwort Vor gut zweieinhalb Jahren wurde ich angesprochen, ob ich nicht ein Buch uber NATURAL verfassen wollte. Gerne sagte ich zu, ohne zu wissen, ...
|
cena:
207,36 |
 |
100 Rezepte Für Borland Pascal: Programmiertips Mit Pfiff Für Einsteiger Und Fortgeschrittene
ISBN: 9783528053598 / Niemiecki / Miękka / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Durch das Erscheinen von BORLAND PASCAL ist es moglich geworden, Pascal-Pro gramme nicht nur fiir den REAL MODE, sondern auch fiir den PROTECTED MODE und fiir WINDOWS zu schreiben. Naturgemass umfasst BORLAND PASCAL nur die grundlegenden Routinen; fiir anspruchsvolle Anwendungen ist noch einiges an zusatzli cher Arbeit erforderlich. Hier bietet das vorliegende Buch eine Hilfestellung. Es enthalt eine Sammlung von 100 Rezepten, die als nutzliche Bestandteile von DOS- und WINDOWS-Programmen ge dacht sind. Selbstverstandlich ist es moglich, die Rezepte den eigenen Bedurfnissen an zupassen. Um...
Durch das Erscheinen von BORLAND PASCAL ist es moglich geworden, Pascal-Pro gramme nicht nur fiir den REAL MODE, sondern auch fiir den PROTECTED MODE ...
|
cena:
207,36 |
 |
Pascal: Elementare Einführung Für Techniker
ISBN: 9783528141813 / Niemiecki / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die hohere Programmiersprache PASCAL findet z. Z. eine schnelle Verbreitung, da das systematische Programmieren in strukturierter Form unterstiitzt wird. Der PASCAL Befehlsvorrat, auf den in diesem Buch eingegangen wird, wurde so ausgew?hlt, daB er in allen modernen PASCAL-Versionen vorhanden ist, sich aber auf ein MindestmaB an Befehlen beschr?nkt. Der Programmieranf?nger verliert auf diese Weise nicht den Oberblick bei der Vielfalt der Moglichkeiten. Es ist jedoch sichergestellt, daB er mit den elementaren Bestandteilen vollst?ndige Programme erstellen kann. Ein sp?terer Obergang zum vollen...
Die hohere Programmiersprache PASCAL findet z. Z. eine schnelle Verbreitung, da das systematische Programmieren in strukturierter Form unterstiitzt wi...
|
cena:
207,36 |
 |
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys
ISBN: 9783319073163 / Angielski / Miękka / 343 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the... This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Desig... |
cena:
201,72 |
 |
Functional and Logic Programming: 12th International Symposium, Flops 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ISBN: 9783319071503 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, ...
|
cena:
201,72 |
 |
D Cookbook
ISBN: 9781783287215 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
234,10 |
 |
Theory and Practice of Model Transformations: 7th International Conference, Icmt 2014, Held as Part of Staf 2014, York, Uk, July 21-22, 2014, Proceedi
ISBN: 9783319087887 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014....
|
cena:
193,68 |
 |
Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceedings
ISBN: 9783319090986 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as p...
|
cena:
193,68 |
 |
Modelling Foundations and Applications: 10th European Conference, Ecmfa 2014, Held as Part of Staf 2014, York, Uk, July 21-25, 2014. Proceedings
ISBN: 9783319091945 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014...
|
cena:
193,68 |
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
