» książki » Computers - Programming - Compilers
topmenu
 |
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:
208,82 |
 |
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:
208,82 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
D Cookbook
ISBN: 9781783287215 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
255,74 |
 |
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:
195,05 |
 |
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:
195,05 |
 |
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:
195,05 |
 |
Software Architecture: 8th European Conference, Ecsa 2014, Vienna, Austria, August 25-29, 2014, Proceedings
ISBN: 9783319099699 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014. The 16 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 91 submissions. They are organized in topical sections named: architecture decisions and knowledge; architecture patterns and anti-patterns; reference architectures and metamodels; architecture description languages; enterprise architecture, SOA and cloud computing; components and connectors; quality attributes; and architecture analysis and...
This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014. The...
|
cena:
203,13 |
 |
Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings
ISBN: 9783319104300 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems. This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Gre...
|
cena:
203,13 |
 |
Instruction Sequences for Computer Science
ISBN: 9789462390492 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean...
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu...
|
cena:
513,98 |
 |
Formal Methods for Industrial Critical Systems: 19th International Conference, Fmics 2014, Florence, Italy, September 11-12, 2014, Proceedings
ISBN: 9783319107011 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Flor...
|
cena:
195,05 |
 |
Guide to the Unified Process Featuring Uml, Java and Design Patterns
ISBN: 9781447139355 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly on applying the notation and the method to Java. The book is clearly structured and written, making it ideal for practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together. Considers how Agile Modelling fits with the Unified Process, and presents Design Patterns Self contained - covers both the Unified Process and UML in one book... John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly o... |
cena:
406,31 |
 |
Integrated Formal Methods: 11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
ISBN: 9783319101804 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, ...
|
cena:
203,13 |
 |
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings
ISBN: 9783319114385 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The ...
|
cena:
195,05 |
 |
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November 3-7, 2014, Proceedings
ISBN: 9783319119359 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in... |
cena:
203,13 |
 |
Programmieren Mit ADA: Ein Einführendes Lehrbuch Mit Diskette
ISBN: 9783528052058 / Niemiecki / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Lehrbuch entstand aus Vorlesungen fiber die Pro grammiersprache Ada, die der Verfasser seit 1983 an der Universi tat Hamburg u.a. flir Wirtschaftswissenschaftler gehalten hat. In diesem Buch wird der miindige Leser angesprochen, der .pei Ein arbeitung in ein umfangreiches Gebiet nacn einer ersten Ubersicht, klarem Aufbau, folgerichtigen Regeln und vollstiindiger Vermittlung der erforderlichen Unterlagen verrangt. AuBerdem werden nach der Devise "Das beste an der Theorie sino immer die Beispiele" in den 12 Kapiteln iiber 40 ausflihrliche Programm-Beispiele mit Einl Aus g lbe...
Das vorliegende Lehrbuch entstand aus Vorlesungen fiber die Pro grammiersprache Ada, die der Verfasser seit 1983 an der Universi tat Hamburg u.a. flir...
|
cena:
208,82 |
 |
Einführung in Die Programmiersprache COBOL: Eine Anleitung Zum "Strukturierten Programmieren"
ISBN: 9783528233358 / Niemiecki / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in die Programmiersprache COBOL ist entstanden aus mehreren Kursen, welche am Rechenzentrum der Universitat Bremen fur Horer aller Fachbereiche und an der Volkshochschule Bremen im Rahmen der beruflichen Weiterbildung abgehalten worden sind. Das Ziel dieser Kurse bestand darin, den Teilnehmern die grundlegenden Sprach elemente von COBOL zu vermitteln und bei der Programmerstellung den Zielvorstellun gen des "Strukturierten Programmierens" Rechnung zu tragen. Dazu wird ein Losungs algorithmus zunachst graphisch - in Form eines Struktogramms - dargestellt und an den in COBOL...
Diese Einfuhrung in die Programmiersprache COBOL ist entstanden aus mehreren Kursen, welche am Rechenzentrum der Universitat Bremen fur Horer aller Fa...
|
cena:
303,79 |
 |
Java and the Java Virtual Machine: Definition, Verification, Validation
ISBN: 9783642639975 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements...
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnic...
|
cena:
203,13 |
 |
Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape
ISBN: 9783319121536 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic...
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools ...
|
cena:
195,05 |
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
