» książki » Computers - Programming - Compilers
topmenu
 |
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
ISBN: 9783642171635 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected fro...
|
cena:
202,19 |
 |
Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ISBN: 9783642192074 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the...
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering,...
|
cena:
202,19 |
 |
Autonomics Development: A Domain-Specific Aspect Language Approach
ISBN: 9783034605397 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution and distribution recovery concerns. This approach simplifies distributed systems and autonomics development. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution a... |
cena:
202,19 |
 |
Pascal Systematisch: Eine Strukturierte Einführung
ISBN: 9783540122500 / Niemiecki / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,85 |
 |
Modula-2: An Introduction
ISBN: 9783540132974 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. The lan guage is derived from PASCAL: it includes all aspects of PASCAL and some times improves on them. Moreover, MODULA-2 includes the important "mod ule" concept, as well as multiprogramming capabilities and a way of implemen ting low-level software in an elegant manner. In summary, MODULA-2 may be used equally well as a general-purpose programming language and as a system implementation language. MODULA-2 provides the programmer with a good way of writing...
MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. The lan guage ...
|
cena:
404,42 |
 |
Assembler I: Ein Lernprogramm
ISBN: 9783540183198 / Niemiecki / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,85 |
 |
Assembler II: Ein Lernprogramm
ISBN: 9783540183211 / Niemiecki / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschliesslich der Programmierung erlangen wurde. Heute wissen wir, dass beim Compu tereinsatz die sogenannte -Software- mindestens so wichtig ist, wie die eigentliche -Hardware-. Auch dabei haben wir ein weites Feld, welches von strengen Theorien bis zu praxisbezogenen Arbeiten reicht. Das vorliegende Buch dient nun voll und ganz dem praktischen Einsatz der Computer. Es gibt ein gutes Bild davon, welche...
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutu...
|
cena:
207,85 |
 |
Assembler III: Ein Lernprogramm
ISBN: 9783540183242 / Niemiecki / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschliesslich der Programmierung erlangen wurde. Heute wissen wir, dass beim Compu tereinsatz die sogenannte -Software- mindestens so wichtig ist, wie die eigentliche -Hardware-. Auch dabei haben wir ein weites Feld, welches von strengen Theorien bis zu praxisbezogenen Arbeiten reicht. Das vorliegende Buch dient nun voll und ganz dem praktischen Einsatz der Computer. Es gibt ein gutes Bild davon, welche...
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutu...
|
cena:
207,85 |
 |
Assembler IV: Supplement Zum Lernprogramm
ISBN: 9783540183709 / Niemiecki / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,85 |
 |
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991
ISBN: 9783540197805 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z 3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O. fx = x + 1 (i) "f x: 1 x O. fx = x + 2 (ii) is inconsistent,...
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the e...
|
cena:
202,19 |
 |
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, Usa, 13-15 July 1992
ISBN: 9783540198048 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial trial firms are interested in using it in their system development programs. It differs from the other higher profile file languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a...
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and seve...
|
cena:
202,19 |
 |
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
ISBN: 9783540401902 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime...
The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together r...
|
cena:
202,19 |
 |
Introduction to Programming with Modula-2
ISBN: 9783540520382 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.
Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors ...
|
cena:
202,19 |
 |
Pascal-Xsc: Language Reference with Examples
ISBN: 9783540551379 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of...
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The...
|
cena:
202,19 |
 |
Methodik Der Programmierung in Pascal
ISBN: 9783540580935 / Niemiecki / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch verfolgt zwei Ziele: Neben der Einfuhrung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiertechniken und guter Programmierstil vorgestellt. Beide Ziele werden nicht getrennt verfolgt, sondern in einer harmonischen Synthese. Der Stoffvermittlung liegen viele Beispiele zugrunde, fur die stets vollstandige Musterprogramme erarbeitet werden. Diese Musterprogramme sind als Dialogprogramme aufgebaut, sie basieren also auf einem Terminal als Schnittstelle zwischen Programmierer und Computer. Die Anwendungsbeispiele stammen aus verschiedenen...
Dieses Buch verfolgt zwei Ziele: Neben der Einfuhrung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiert...
|
cena:
188,80 |
 |
Transactions on Pattern Languages of Programming II: Special Issue on Applying Patterns
ISBN: 9783642194313 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, the second in the Transactions on Pattern Languages of Programming series, presents five papers demonstrating techniques for applying patterns in industrial or research settings. Their content demonstrates the broadening diversity of the field.
This book, the second in the Transactions on Pattern Languages of Programming series, presents five papers demonstrating techniques for applying patte...
|
cena:
202,19 |
 |
Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
ISBN: 9783642195945 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2010, held in Houston, TX, USA, in October 2010. The 18 revised full papers presented were carefully reviewed and selected from 47 submissions. The scope of the workshop spans foundational results and practical experience, and targets all classes of parallel platforms including concurrent, multithreaded, multicore, accelerated, multiprocessor, and cluster systems.
This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, L...
|
cena:
202,19 |
 |
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ISBN: 9783642198281 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal,...
|
cena:
202,19 |
 |
Lisp, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
ISBN: 9780387970721 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Stark goes beyond a discussion of the programming and theory behind the language LISP to present colorful applications, bits of history, computational philosophy, and consequences of LISP's exceptional power. Includes examples and exercises.
Stark goes beyond a discussion of the programming and theory behind the language LISP to present colorful applications, bits of history, computational...
|
cena:
343,75 |
 |
PROLOG for Computer Science
ISBN: 9783540198116 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of realistic examples and case-studies, including an English-Dutch translator.
Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergra...
|
cena:
202,19 |
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
