» książki » Computers - Programming - Compilers
topmenu
 |
Proof and Computation
ISBN: 9783642793639 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal...
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of P...
|
cena:
402,53 |
 |
Kooperation Und Konkurrenz: Nebenläufige, Verteilte Und Echtzeitabhängige Programmsysteme
ISBN: 9783642978524 / Niemiecki / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozessdatenverarbeitung, Rechnerarchitektur, Rechnernetze, Produktionstechnik, Buroautomation Die Programmierung nebenlaufiger, verteilter und echtzeitabhangiger Systeme erlangte zunehmende Bedeutung nicht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereichen. Ursprunglich musste man sich mit ihr nur beim Betriebssystembau und in der Prozessdatenverarbeitung beschaftigen. Heute ist sie aufgrund neuartiger...
Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozessdatenverarbei...
|
cena:
206,88 |
 |
Concur 2012- Concurrency Theory: 23rd International Conference, Concur 2012, Newcastle Upon Tyne, September 4-7, 2012. Proceedings
ISBN: 9783642329395 / Angielski / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential...
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle u...
|
cena:
201,24 |
 |
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ISBN: 9783642332951 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.
Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate...
|
cena:
185,18 |
 |
The World of Programming Languages
ISBN: 9780387964409 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and forests. Nevertheless, there is great local variation; Vermont does not look like Utah. Similarly, if we rise above the details of a few programming languages, we can discern features that are common to many languages. This is the programming language landscape; the main features include variables, types, control structures, and input/output. Again, there is local variation; Pascal does not look like Basic. This work is a broad and comprehensive...
The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and for...
|
cena:
483,04 |
 |
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:
206,88 |
 |
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:
206,88 |
 |
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:
206,88 |
 |
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:
206,88 |
 |
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:
206,88 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
90,23 |
 |
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:
201,24 |
 |
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:
603,81 |
 |
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:
185,18 |
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
