» książki » Computers - Programming - Compilers
topmenu
 |
Übersetzung Objektorientierter Programmiersprachen: Konzepte, Abstrakte Maschinen Und Praktikum "Java-Compiler"
ISBN: 9783540642565 / Niemiecki / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen fur die Entwicklung von Ubersetzern fur objektorientierte Programmiersprachen.
In einem Theorieteil werden zunachst ausfuhrlich und anschaulich die Konzepte dieser Sprachen und ihrer Ubersetzung behandelt, so dass der Leser einen umfassenden Uberblick uber die verschiedenen Ubersetzungstechniken erhalt. Die Ubersetzung von Smalltalk-80, Java und C++ wird uber eine einfache abstrakte (virtuelle) Maschine vereinheitlicht. Im Praxisteil des Buches wird dann die Spezifikation eines Ubersetzers fur Java entwickelt. Diese... Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen fur die Entwicklung von Ubersetzern fur objektorientierte Programmiersprachen. |
cena:
124,11 |
 |
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
ISBN: 9783642409219 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded,...
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/Octo...
|
cena:
185,18 |
 |
Component-Based Software Engineering: 13th International Symposium, Cbse 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
ISBN: 9783642132377 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in...
The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main for...
|
cena:
201,24 |
 |
Functional and Logic Programming: 10th International Symposium, Flops 2010, Sendai, Japan, April 19-21, 2010, Proceedings
ISBN: 9783642122507 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19 21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and...
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April ...
|
cena:
201,24 |
 |
High-level Petri Nets: Theory and Application
ISBN: 9783540541257 / Angielski / Miękka / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de- scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is...
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success ...
|
cena:
201,24 |
 |
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
ISBN: 9783642156427 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, ...
|
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: 9789048193035 / Angielski / Twarda / 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 |
 |
Programmieren in C
ISBN: 9783709103920 / Niemiecki / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C ist eine der bedeutendsten und eine sehr haufig eingesetzte Programmiersprache. Die Autoren haben jahrelange Erfahrung mit dieser Programmiersprache und vermitteln Lesern das Wesentliche die Programmiermethodik: Was ist Programmieren? Wie werden programmtechnische Probleme gelost? Schrittweise wird die Programmierung anhand der Sprache C erlernt und mit Beispielen und Aufgaben vertieft. Der Sprachumfang von C wird vorgestellt und kritisch betrachtet, um typische Fehler zu vermeiden. Vorkenntnisse im Programmieren werden nicht vorausgesetzt."
C ist eine der bedeutendsten und eine sehr haufig eingesetzte Programmiersprache. Die Autoren haben jahrelange Erfahrung mit dieser Programmiersprache...
|
cena:
142,92 |
 |
Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling
ISBN: 9783642160851 / Angielski / Miękka / 423 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have to take the time to understand one case study in order to appreciate the sample models shown in all papers. - Those who want to apply AOM for a particular purpose and are looking for the most appropriate AOM technique can use the papers presented in this specialissue to identify the mostpromisingapproach(es).By identifying similarities between their problem and the case study they should be able to determine candidate AOM approaches easily. -...
- Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have ...
|
cena:
201,24 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro
ISBN: 9783642162411 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, t...
|
cena:
402,53 |
 |
Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15,
ISBN: 9783642162558 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010, that was held in Waidhofen/Ybbs, Austria.
Constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS...
|
cena:
201,24 |
 |
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected
ISBN: 9783642162763 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation,...
Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a challenging problem domain (real-time embedded systems) and a - lution d...
|
cena:
201,24 |
 |
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, Taic Part 2010, Windsor, Uk, September 4
ISBN: 9783642155840 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering, softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and...
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat....
|
cena:
201,24 |
 |
Categories for Software Engineering
ISBN: 9783642058882 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. 6, 12, 22, 89, 105], to which a precious collection of little gems 90] and the chapter cum book 91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This...
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or havi...
|
cena:
201,24 |
 |
Semantic Integration of Heterogeneous Software Specifications
ISBN: 9783642073069 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different... In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Be... |
cena:
603,81 |
 |
Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings
ISBN: 9783642163722 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada. Conceptual modeling can be considered as lying at the confluence of the three main aspects of information technology applications -- the world of the stakeholders and users, the world of the developers, and the technologies available to them. C- ceptual models provide abstractions of various aspects related to the development of systems, such as the application domain, user needs, database design, and software...
th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouv...
|
cena:
201,24 |
 |
Goal-Directed Proof Theory
ISBN: 9789048155262 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
cena:
402,53 |
 |
Car Multimedia Systeme Modell-Basiert Testen Mit Sysml
ISBN: 9783834807618 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Oliver Alt beschreibt sein Verfahren, Testfalle fur den Systemtest von Car Multimedia Systemen automatisiert aus einem speziell konzipierten Systemmodell zu generieren. Neue Ansatze sind dabei die durchgangige Modellierung mit Hilfe von Aktivitatsdiagrammen, die Anwendung funktional gleicher Testfalle auf technisch verschiedene Systeme und der Einsatz der Systembeschreibungssprache OMG SysML
Oliver Alt beschreibt sein Verfahren, Testfalle fur den Systemtest von Car Multimedia Systemen automatisiert aus einem speziell konzipierten Systemmod...
|
cena:
263,32 |
 |
Kompakt Im Doppelpack: HTML Und JavaScript: Webdesign Für Einsteiger
ISBN: 9783519003816 / Niemiecki / Miękka / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sie bliittern unschliissig in diesem Buch herum und fragen sich, ob Sie es kaufen sol len. Tun Sie es Sie k6nnen natiirlich auch wesentlich dickere Walzer erwerben, die aber auch nicht mehr bieten. Seit einigen Jahren halte ich an der Fachhochschule Darmstadt die Vorlesung JavaScript fur Anfanger. Der Stoff lasst sich am besten iiber Beispiele vermitteln; diese habe ich im vorliegenden Buch gesammelt und aus fiihrlich kommentiert. Als ich die V orlesung erstmals iibernahm, war ich erfahrener C-Programmierer und JavaScript kam mit beim fliichtigen Uberfliegen wie eine Mi schung aus C und...
Sie bliittern unschliissig in diesem Buch herum und fragen sich, ob Sie es kaufen sol len. Tun Sie es Sie k6nnen natiirlich auch wesentlich dickere W...
|
cena:
112,68 |
 |
Einführung in Die Programmierung Mit Modula-2
ISBN: 9783540180777 / Niemiecki / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch, in dessen Titel sich "Einfuhrung in die Programmierung" und "Programmierung mit Modula-2" verbinden, wendet sich sowohl an den Programmieranfanger, als auch an den erfahrenen Programmierer, der die Sprache Modula-2 erlernen will. Einerseits vermittelt es ein solides Grundwissen der Programmiertechnik und fuhrt in zeitgemasse Methoden des Programmentwurfs ein, andererseits gibt es eine handbuchartige Beschreibung der Programmiersprache Modula-2 und ubt ihren methodischen Gebrauch an vielen Beispielen ein. Die von Niklaus Wirth stammende Programmiersprache Modula-2 hat, im...
Dieses Buch, in dessen Titel sich "Einfuhrung in die Programmierung" und "Programmierung mit Modula-2" verbinden, wendet sich sowohl an den Programmie...
|
cena:
206,88 |
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
