» książki » Computers - Programming - Compilers
 |
Einführung in Pascal: Skriptum Für Hörer Aller Fachrichtungen AB 1. Semester
ISBN: 9783528033422 / Niemiecki / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - v 0 R W 0 R T ------------- ------------- Das vorliegende Skriptum entstand aus Vorlesungen Uber PASCAL, die der Verfasser von 1978 bis 1980 an der Universitat Hamburg fUr Studierende al ler Fachrichtungen gehalten hat. PASCAL ( Revised Report) wurde 1972 von N. Wirth in einem Be richt der TH ZUrich vereffentlicht. 1975 erschien ein PASCAL User Manual von K. Jensen und N. Wirth zum Revised Report. Heute gehert PASCAL mit zum Standardsoftware - Angebot der Gr- rechenanlagen- Herstel ler und es wird zunehmend auch fUr Klein rechner PASCAL imp(ementiert. Unter den modernen universellen und fUr...
- v 0 R W 0 R T ------------- ------------- Das vorliegende Skriptum entstand aus Vorlesungen Uber PASCAL, die der Verfasser von 1978 bis 1980 an der ...
|
cena:
197,68 zł |
 |
FORTRAN IV/77-Programm Zur Finite-Elemente-Methode: Ein Fem-Programm Für Die Elemente Stab, Balken Und Scheibendreieck
ISBN: 9783528033569 / Niemiecki / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das in demselben Verlag erschienene Lehrbuch des Verfassers uber die Finite-Elemente-Methode in der linearen Elastostatik wird hier durch ein FEM-Programm erganzt, das die Elementtypen Stab (2D,3D), Balken (2D,3D) und das ebene lineare Scheibendreieck realisiert. Es lassen sich leicht weitere Elementtypen implementieren. Das Programm ist in FORTRAN IV ge schrieben. Es werden Hinweise gegeben, wie es sich in FORTRAN 77 fur den IBM-PC umschreiben la6t. Das vorgestellte Programmpaket ist sowohl auf Gr06rechnern wie auf Personalcomputern lauffahig. Auch auf Personalcomputern konnen Strukturen mit...
Das in demselben Verlag erschienene Lehrbuch des Verfassers uber die Finite-Elemente-Methode in der linearen Elastostatik wird hier durch ein FEM-Prog...
|
cena:
197,68 zł |
 |
C++ Für Programmierer
ISBN: 9783528051105 / Niemiecki / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch wendet sich zum einen an alle, die den Einstieg in eine sehr zukunftstrachtige Programmiersprache im Selbstudium betreiben wollen. Ferner bietet dieses Buch denjenigen, die die AT&T C++-Version 1. 2 bereits kennen, die Moglichkeit, die neuere Version 2. 0 in kurzer Zeit zu erlernen. Zusatzlich dient dieses Buch durch sein ausftihrliches Register als schnelles Nachschlagewerk und ist durch seinen Aufbau als Lehrbuch geeignet. Die ursprtingliche Idee entstammte einer selbstgehaltenen Vorlesung tiber die AT&T C++-Version 1. 2 der Autoren an der Universitat Dortmund im Sommersemester...
Dieses Buch wendet sich zum einen an alle, die den Einstieg in eine sehr zukunftstrachtige Programmiersprache im Selbstudium betreiben wollen. Ferner ...
|
cena:
197,68 zł |
 |
Einführung in Die Programmiersprache FORTRAN 77: Anleitung Zum Selbststudium
ISBN: 9783528133450 / Niemiecki / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,68 zł |
 |
JSP: Einführung in Die Methode Des Jackson Structured Programming
ISBN: 9783528345761 / Niemiecki / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a great pleasure to me to have the opportunity of writing a preface to Klaus Kilberth's book on JSP. He has been an enthusiastic and expert practitioner of JSP for several years, and he is also an experienced teacher of the method. So I was expecting his book to contain a careful exposition of JSP, including some of its newer aspects, and that expectation has been amply fulfilled. It is also good to see that he has included many exercises, along with their solutions, and that he has maintained the excellent JSP tradition of explanation by story-telling: in future I shall drink my German...
It is a great pleasure to me to have the opportunity of writing a preface to Klaus Kilberth's book on JSP. He has been an enthusiastic and expert prac...
|
cena:
197,68 zł |
 |
Open Source Systems: Long-Term Sustainability: 8th Ifip Wg 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedi
ISBN: 9783642334412 / Angielski / Twarda / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012.
Constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in ...
|
cena:
384,63 zł |
 |
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ISBN: 9783642338250 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering...
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in The...
|
cena:
192,30 zł |
 |
Object-Oriented and Mixed Programming Paradigms: New Directions in Computer Graphics
ISBN: 9783642646768 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The area of computer graphics is characterized by rapid evolution. New techniques in hardware and software developments, e. g., new rendering methods, have led to new ap plications and broader acceptance of graphics in fields such as scientific visualization, multi-media applications, computer aided design, and virtual reality systems. The evolving functionality and the growing complexity of graphics algorithms and sys tems make it more difficult for the application programmer to take full advantage of these systems. Conventional programming methods are no longer suited to manage the...
The area of computer graphics is characterized by rapid evolution. New techniques in hardware and software developments, e. g., new rendering methods,...
|
cena:
192,30 zł |
 |
Data Types and Persistence
ISBN: 9783642648700 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new models of computation such as logic programming, object-oriented programming and functional programming, to add to the well established von Neumann model. The data base community has almost independently developed more and more sophisticated data models to solve the problems of large scale data organisation. To make use of these new models in programming languages there must be an awareness of the problems of large scale data. The data base...
There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new m...
|
cena:
384,63 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-
ISBN: 9783642340253 / Angielski / Miękka / 617 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata... The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of...
|
cena:
192,30 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ISBN: 9783642340314 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Vali...
|
cena:
192,30 zł |
 |
Opa: Up and Running: Rapid and Secure Web Development
ISBN: 9781449328856 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript. Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa ... |
cena:
95,74 zł |
 |
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity: International Conferences, Asea and Drbc 2012, Held in Con
ISBN: 9783642352669 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of advanced software engineering and its applications, and disaster recovery and business continuity.
This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, K...
|
cena:
192,30 zł |
 |
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
ISBN: 9789400733336 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as... More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about th... |
cena:
576,96 zł |
 |
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ISBN: 9783642357046 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France...
|
cena:
176,95 zł |
 |
Ict in Education, Research, and Industrial Applications: 8th International Conference, Icteri 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selecte
ISBN: 9783642357367 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and...
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in...
|
cena:
192,30 zł |
 |
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ISBN: 9783642358869 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, ... |
cena:
192,30 zł |
 |
Das Siebte Buch: Objektorientierung Mit C++
ISBN: 9783519026495 / Niemiecki / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschnitte folgt dem Schema, dass Syntax und Semantik der entsprechenden Sprachkonstrukte jeweils aus einem Beispiel entwickelt werden. An Hand zahlreicher Beispiele und Ubungsaufgaben konnen die vorgestellten Themen nachvollzogen und geubt werden.
Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschni...
|
cena:
143,64 zł |
 |
Objektorientierte Anwendungsentwicklung Mit Der Postrelationalen Datenbank Caché
ISBN: 9783642627873 / Niemiecki / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Solche Objekte sind gekapselt und verbergen die innere Komplexitat hinter einer offentlich bekannt gegebenen Schnittstelle. Dadurch konnen Objekte in den verschiedensten Programmpaketen verwendet werden, ohne dass die interne Realisierung bekannt sein muss. Die Verbindung objektorientiert... Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ans... |
cena:
337,74 zł |
 |
Fundamental Approaches to Software Engineering: 16th International Conference, Fase 2013, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783642370564 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.
This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part ...
|
cena:
192,30 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
