» książki » Computers - Programming - Compilers
topmenu
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
ISBN: 9783642452208 / Angielski / Miękka / 794 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational...
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, h...
|
cena:
201,24 |
 |
Transactions on Aspect-Oriented Software Development XI
ISBN: 9783642550980 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 11th in the Transactions on...
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniqu...
|
cena:
193,23 |
 |
Turbo Pascal 4.0 Von A. Z: Eine Alphabetisches Nachschlagewerk Zur Programmiersprache Mit Beispielen Und Querverweisen
ISBN: 9783528046132 / Niemiecki / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der aktuellen Fachliteratur mange It es an Btichern, die ausflihrlich auf die Besonder heiten der einzelnen Prozeduren und Funktionen von Turbo Pascal eingehen. Aus diesem Grund begann ich, Erfahrungen aus meiner Programmierpraxis in einem kleinen Heft zu sammeln, und als ich bereits das zweite und dritte mit Hinweisen und Ideen beschrieben hatte, beschloB ich, dieses Buch zu schreiben. Es kann nicht die Aufgabe dieses Buches sein, Ihnen die Grundlagen der Programmier sprache Pascal beizubringen oder das Systemhandbuch von Turbo Pascal zu ersetzen. Dieses Buch versteht sich als umfassendes...
In der aktuellen Fachliteratur mange It es an Btichern, die ausflihrlich auf die Besonder heiten der einzelnen Prozeduren und Funktionen von Turbo Pas...
|
cena:
206,88 |
 |
Einführung in Die Programmiersprache APL
ISBN: 9783528046927 / Niemiecki / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. APL (A Programming Language) ist eine dialogorientierte Programmiersprache, die sowohl im technisch-wissenschaftlichen als auch im kommerziell-administrativen Bereich eingesetzt wird. Der Vorteil gegenuber anderen Programmiersprachen wie z.B. PASCAL, FORTRAN, COBOL und BASIC besteht darin, dass Strukturen wie etwa Vektoren und Matrizen sich mit Hilfe von APL-Operatoren verknupfen lassen, wobei die Strukturen selbst - und nicht ihre Komponenten - die Operanden sind. Somit konnen - auch bei komplexen Problemstellungen - kleine und ubersichtliche Programme als Losungen entwickelt werden. Die...
APL (A Programming Language) ist eine dialogorientierte Programmiersprache, die sowohl im technisch-wissenschaftlichen als auch im kommerziell-adminis...
|
cena:
206,88 |
 |
Einführung in Die Programmiersprache Pl/I: Für Hörer Aller Fachrichtungen AB 1. Semester
ISBN: 9783528233167 / Niemiecki / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Softwareentwicklung in C: Mit 14 Abbildungen Und CD-ROM
ISBN: 9783642626272 / Niemiecki / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet sowohl eine anwendungsorientierte Einfuhrung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an die Softwareentwicklung. Zahlreiche Beispiele werden zur Erlauterung angefuhrt, und der Weg von der Idee bis zur fertigen Software wird detailgenau mit allen Designentscheidungen erklart. Das vermittelte Wissen stammt aus langjahriger Entwicklungspraxis des Autors, dementsprechend ist das Gelernte direkt in der Praxis einsetzbar. Die dem Buch beigegebene CD-ROM enthalt alle Programme sowie die angesprochenen Tools."
Dieses Buch bietet sowohl eine anwendungsorientierte Einfuhrung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an d...
|
cena:
188,08 |
 |
Optimization Techniques Ifip Technical Conference: Novosibirsk, July 1-7, 1974
ISBN: 9783662377130 / Angielski / Miękka / 507 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ISBN: 9783319076010 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanc...
|
cena:
201,24 |
 |
Guide to Assembly Language: A Concise Introduction
ISBN: 9781447158707 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the need for assembly language programmers has decreased, the need to understand assembly language has not, and it is important to actually write assembly language code if one is to understand it thoroughly. This Guide to Assembly Language will enable the reader to very quickly begin programming in assembly language. Through this hands-on programming, readers will also learn more about the computer architecture of the Intel 32-bit processor, as well as the relationship between high-level and low-level languages. The book can either be used as a stand-alone text in a... Although the need for assembly language programmers has decreased, the need to understand assembly language has not, and it is important to actuall... |
cena:
221,21 |
 |
Model-Driven Engineering Languages and Systems: 17th International Conference, Models 2014, Valencia, Spain, September 283- October 4, 2014. Proceedin
ISBN: 9783319116525 / Angielski / Miękka / 688 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web...
This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, he...
|
cena:
201,24 |
 |
Programming Languages: 18th Brazilian Symposium, Sblp 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
ISBN: 9783319118628 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.
This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. Th...
|
cena:
161,03 |
 |
Pattern Recognition and Image Processing in C++
ISBN: 9783528054915 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projects in small groups (2 4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of image processing and image analysis, basics of speech processing, object oriented programming, software design, and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe...
Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projec...
|
cena:
483,04 |
 |
Programmieren in Pl/I: Eine Moderne Einführung
ISBN: 9783528147921 / Niemiecki / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Softwareentwicklung in C++
ISBN: 9783642629327 / Niemiecki / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und robuste Software in C++ zu entwickeln, ist es besonders wichtig, alle Features von C++ zu verstehen, da mangelndes Wissen in diesem Bereich unweigerlich zu schwerwiegenden Problemen in der Praxis fuhrt. Deshalb bietet dieses Buch eine detaillierte Einfuhrung in C++ und fuhrt so zu tieferem Verstandnis fur diese Programmiersprache. Zahlreiche Beispiele werden zur Erlauterung angefuhrt, versteckte Fallen aufgedeckt und erklart, und der Weg von der...
C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und rob...
|
cena:
188,08 |
 |
Programming Languages and Systems: 12th Asian Symposium, Aplas 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
ISBN: 9783319127354 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. 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 - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi;...
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singap...
|
cena:
201,24 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20
ISBN: 9783662452301 / Angielski / Miękka / 644 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line...
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma...
|
cena:
201,24 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im
ISBN: 9783662452332 / Angielski / Miękka / 547 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line...
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma...
|
cena:
201,24 |
 |
Open Source Systems: Long-Term Sustainability: 8th Ifip Wg 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedi
ISBN: 9783642428791 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book 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. The 15 revised full papers presented together with 17 lightning talks, 2 tool demonstration papers, 6 short industry papers, 5 posters and 2 workshop papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on collaboration and forks in OSS projects, community issues, open education and peer-production models, integration and architecture, business ecosystems,...
This book constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tu...
|
cena:
402,53 |
 |
Topspeed Modula-2 Griffbereit
ISBN: 9783528047603 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Open Source Software: New Horizons: 6th International Ifip Wg 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, In, Usa, May 30 - June 2,
ISBN: 9783642422447 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large number of high-quality papers, highlyrelevantpanelsandworkshops, acontinuationofthepopulardoctoralc- sortium, and multiple distinguished invited speakers. The success of OSS 2010 was only possible because an Organizing Committee, a Program Committee, Workshop and Doctoral Committees, and authors of research manuscripts from over 25 countries contributed their time and interest to OSS 2010. In the...
Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international con...
|
cena:
402,53 |
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
