» książki » Computers - Programming - Compilers
topmenu
 |
Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ISBN: 9783319402284 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were...This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portu... |
cena:
322,01 |
 |
Building Arduino Projects for the Internet of Things: Experiments with Real-World Applications
ISBN: 9781484219393 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet. You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects in the books gradually introduce the reader to key topics such as internet connectivity with Arduino, common IoT protocols, custom web visualization, and Android apps that receive sensor... Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs a... |
cena:
261,63 |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
603,81 |
 |
Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress - Tc2 Stream / 3rd Ieee/Ifip Conference on Software Ar
ISBN: 9781475765380 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the variability in software artifacts, and the importance of software in achieving the system-level properties. Software architecture provides the necessary abstractions for managing the resulting complexity. We here introduce the Third Working IEEFlIFIP Conference on Software Architecture, WICSA3. That it is already the third such conference is in...
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a co...
|
cena:
603,81 |
 |
FORTRAN Programmierte Einführung
ISBN: 9783322979087 / Niemiecki / Miękka / 127 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Einführung in Die Programmiersprache Basic: Anleitung Zum Selbststudium
ISBN: 9783528033224 / Niemiecki / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die konventionelle Datenverarbeitung zeichnet sich dadurch aus, daB Programme entwickelt werden und liber Lochkarten an zentraler Stelle in eine Rechenanlage zur Ausflihrung eingegeben werden (Stapelbetrieb). 1m Gegensatz zur Programmentwicklung werden die zu verarbeitenden Daten in neuerer Zeit haufig an den Stellen, an den en sie anfallen, gesammelt und liber Datenstationen (Terminals) in die Rechenanlage eingeschleust. Parallel zu dieser dezentralen Datenerfassung ist zunehmend der Trend zu erkennen, auch Programme dezentral liber Datenstationen im sogenannten Time-Sharing-Betrieb zu...
Die konventionelle Datenverarbeitung zeichnet sich dadurch aus, daB Programme entwickelt werden und liber Lochkarten an zentraler Stelle in eine Reche...
|
cena:
206,88 |
 |
Einführung in die Programmiersprache BASIC: Anleitung zum Selbststudium ; Skriptum für Hörer aller Fachrichtungen ab 1. Semester
ISBN: 9783528233228 / Niemiecki / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fur die Losung technisch-wissenschaftlicher Problemstellungen und zu Ausbildungszwecken ist auf den heute verbreiteten Kleincomputern u.a. die problemorientierte Programmiersprache BASIC ( eginners All-Purpose ymbolic Instruction Qode) verfugbar. Diese einfache und leicht erlernbare Programmiersprache erlaubt es, innerhalb kUr zester Zeit einfache Aufgaben aus Mathematik, Statistik und Technik zu losen. Dies ist ein Grund dafur, daB diese Programmiersprache haufig in Schulen und technisch-wissenschaftlichen Instituten ange wendet wird. Darliber hinaus wird sie auch in zunehmendem MaBe in...
Fur die Losung technisch-wissenschaftlicher Problemstellungen und zu Ausbildungszwecken ist auf den heute verbreiteten Kleincomputern u.a. die problem...
|
cena:
206,88 |
 |
Grundkurs C++ in Beispielen: Eine Einführung in Das Programmieren -- Beispiele Aus Mathematik Und Technik -- Objektorientierung Anschaulich Mit UML
ISBN: 9783528546557 / Niemiecki / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eine bodenstandige und beispielhafte Einfuhrung in C++. Die Programmierprinzipien werden durch die Beispiele fur alle Leser direkt und leicht nachvollziehbar.
Fur numerische und naturwissenschaftlich-technische Zwecke ist C++ im Gegensatz zu Java immer noch die handlichere Alternative. Dietmar Herrmann hat die 6. Auflage komplett uberarbeitet und aktualisiert. Profitieren Sie von der Erfahrung, die in diesem Buch steckt. Da C++ durch einen internationalen Standard endgultig genormt ist, lernen und schreiben Sie Ihr C++-Programm ultimativ nur einmal " Eine bodenstandige und beispielhafte Einfuhrung in C++. Die Programmierprinzipien werden durch die Beispiele fur alle Leser direkt und leicht nachvoll...
|
cena:
124,11 |
 |
In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman
ISBN: 9783642416590 / Angielski / Miękka / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends....
|
cena:
201,24 |
 |
Programming Languages and Systems: 11th International Symposium, Aplas 2013, Melbourne, Vic, Australia, December 9-11, 2013, Proceedings
ISBN: 9783319035413 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Austra...
|
cena:
201,24 |
 |
Compiler Construction
ISBN: 9781461297314 / Angielski / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Our intent is to provide the reader with a firm theoretical basis for compiler construction and sound engineering principles for selecting alternate methods, imple- menting them, and integrating them into a reliable, economically viable product. The emphasis is upon a clean decomposition employing modules that can be re-used for many compilers, separation of concerns to facilitate team...
Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book...
|
cena:
201,24 |
 |
Grundlegende Algorithmen Mit Java: Lern- Und Arbeitsbuch Für Informatiker Und Mathematiker
ISBN: 9783834819727 / Niemiecki / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Autorin vermittelt ein solides Verstandnis der wichtigen Programmiermethoden, algorithmischer/mathematischer Basiskonzepte (z.B. Kombinatorik, Backtracking, Dynamische Programmierung) und der Java-spezifischen Elemente. Die sorgfaltig ausgewahlten Problemstellungen erleichtern den Lesern die Verknupfung von Praxisbeispiel und allgemeiner Theorie. Den Schwerpunkt bilden Anwendungsbeispiele, die vollstandig behandelt werden: von der Problem-Analyse bis zum Java-Programm. Mit komplettem Listing des Java-Programms zu jedem gelosten Problem."
Die Autorin vermittelt ein solides Verstandnis der wichtigen Programmiermethoden, algorithmischer/mathematischer Basiskonzepte (z.B. Kombinatorik, Bac...
|
cena:
150,44 |
 |
Jruby Rails Web Application Development
ISBN: 9783319039336 / Angielski / Miękka / 67 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle(R) WebLogic servers and JBoss(R) application servers deploy the JRuby application, how JRuby runs on the Java(R) Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle(R) database and Oracle(R) MySQL database are used as the basis for the JRuby Rails application. Chapters also cover enabling Flash, developing the JRuby application using Ruby syntax, and deploying applications...
This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle(...
|
cena:
201,24 |
 |
COBOL: Einführung Mit Pc-Spracherweiterungen Und Übungen
ISBN: 9783322829108 / Niemiecki / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch bietet eine umfassende Darstellung von COBOL-Sprachelementen des ANSI-/ISO-Norm. Erganzend werden Spracherweiterungen fur Personal Computer vorgestellt, die dem Industriestandard der PC-Compiler zuzurechnen sind. Programmierubungen machen schrittweise mit dem praktischen Gebrauch der Sprache vertraut.
Das Buch bietet eine umfassende Darstellung von COBOL-Sprachelementen des ANSI-/ISO-Norm. Erganzend werden Spracherweiterungen fur Personal Computer v...
|
cena:
282,12 |
 |
Effektiv Starten Mit Turbo C++
ISBN: 9783528051310 / Niemiecki / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Oberall ist die Rede von .C.. bruner hiufiger wird der Wunsch, ohne Kennt nisse anderer Programmiersprachen in 'C' einsteigen zu konnen. Genau dies ist die Zielsetzung des vorliegenden Buches. Ausgehend von ganz einfachen Beispielen wird der Leser Schritt fiir Schritt mit allen Moglichkeiten von 'C' und dem Nachfolger 'C++' vertraut gemacht, ohne daB dafiir Vorkenntnisse in anderen Programmiersprachen notig sind. Zugrunde gelegt wird dabei der iiberaus populare 'C' -Compiler TURBO C von Borland, der inzwischen nach der erfolgreichen Version 2. 0 in der 'C++'-Va riante unter dem Namen TURBO...
Oberall ist die Rede von .C.. bruner hiufiger wird der Wunsch, ohne Kennt nisse anderer Programmiersprachen in 'C' einsteigen zu konnen. Genau dies is...
|
cena:
206,88 |
 |
Units Und Utilities Für Turbo Pascal: Die Professionelle Toolbox Für Die Softwareentwicklung Unter Turbo Pascal AB Version 6.0
ISBN: 9783528052119 / Niemiecki / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch eignet sich besonders fUr denjenigen Programmierer, der fUr seine Software-Entwicklungen Turbo Pascal (ab Version 6.0) verwendet und trotz der vielen Standard-Routinen an Grenzen stoBt. Die fUnf in diesem Buch beschriebenen Units enthalten rund 150 neue Routinen und erweitem Turbo Pascal betdichtlich. Es enthill.t Routinen zur Textverarbeitung und Maussteuerung. Besonders nennenswert er scheint mir die Unit Spell; mit ihr wird es moglich, anhand einer beliebi gen Anzahl ge6ffneter Referenz-Worterbiichem (fiinf verschiedene Gro Ben sind moglich) Orthographie-Fehler in einem Text zu...
Dieses Buch eignet sich besonders fUr denjenigen Programmierer, der fUr seine Software-Entwicklungen Turbo Pascal (ab Version 6.0) verwendet und trotz...
|
cena:
206,88 |
 |
Constraints Meet Concurrency
ISBN: 9789462390669 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports...
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used ...
|
cena:
201,24 |
 |
ADA 2012 Rationale: The Language -- The Standard Libraries
ISBN: 9783642452093 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes...
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edi...
|
cena:
185,18 |
 |
Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783642548031 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis...
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part ...
|
cena:
201,24 |
 |
Programmieren in C++ Borland-Versionen: Ein Lehr- Und Übungsbuch
ISBN: 9783519029984 / Niemiecki / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mit zahlreichen Programmbeispielen gelingt Ihnen Schritt fur Schritt der Einstieg in C++. Die ersten Kapitel behandeln Datentypen, Kontrollstrukturen und den Umgang mit externen Dateien vor dem Hintergrund einfacher Algorithmen. Nach der Einfuhrung von Funktionsbegriff und Zeigervariablen werden die Grundkenntnisse in umfangreicheren Programmbeispielen aus verschiedenen Anwendungsbereichen erortert und gefestigt. Der Leser ist jetzt in der Lage, einfachere Programme aus anderen Sprachen in C++ lauffahig zu formulieren.
Mit zahlreichen Programmbeispielen gelingt Ihnen Schritt fur Schritt der Einstieg in C++. Die ersten Kapitel behandeln Datentypen, Kontrollstrukturen ...
|
cena:
150,32 |
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
