» książki » Computers - Programming - Compilers
topmenu
 |
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:
206,88 |
 |
Assembler IV: Supplement Zum Lernprogramm
ISBN: 9783540183709 / Niemiecki / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
187,92 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
342,14 |
 |
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:
201,24 |
 |
Essential Visual Basic 4.0 Fast: How to Develop Applications in Visual Basic
ISBN: 9783540199984 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are looking to build your own Windows applications, you will find Visual Basic provides an easy and effective means of doing so. This book is written specifically to help users get up and running fast on Visual Basic and focusses on how to develop useful programs quickly and effectively. If you are an undergraduate wanting a simple way to program applications, a professional programmer who needs a...
If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a ...
|
cena:
402,53 |
 |
Consolidated ADA Reference Manual: Language and Standard Libraries
ISBN: 9783540430384 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in...
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for wor...
|
cena:
201,24 |
 |
Essential Visual Basic 5.0 Fast: Includes ActiveX Control Development
ISBN: 9783540761488 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anyone developing software today is likely to be doing so in a Windows environment and is likely to be using Visual Basic as the development language. This Essential guide focuses on the basics of the language instead of burdening the eager user with small details contained in the manuals. Providing a clear and precise explanation of the most important features of VB5, the book allows readers to develop programs with the same heavyweight feel as the best programs from Microsoft and others.
Anyone developing software today is likely to be doing so in a Windows environment and is likely to be using Visual Basic as the development language....
|
cena:
201,24 |
 |
Essential Visual Basic 6.0 Fast
ISBN: 9781852332075 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Whether you are a professional programmer or a student, this book tells you everything you need to know to write professional applications for Windows using Visual Basic 6.0. Once you've read this book, you'll know all about: - The Visual Basic language - The standard Visual Basic controls - Handling control events -Using data aware controls - ActiveX controls - Writing web-based applications. Essential Visual Basic 6.0 - fast is designed for professional developers or students who need to learn the maximum in the minimum time and to develop applications fast.
Whether you are a professional programmer or a student, this book tells you everything you need to know to write professional applications for Windows...
|
cena:
201,24 |
 |
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
ISBN: 9789048172009 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower than the speed improvements of processors, eventually leading to embedded systems whose performance is limited by the memory. This problem is known as the "memory wall" problem. Furthermore, memory systems may consume the largest share of the system s energy budget and may be the source of unpredictable timing behaviour. Hence, the design of the memory system deserves an increasing amount of attention. Fast, Efficient and... The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower t... |
cena:
402,53 |
 |
Automatic Program Development: A Tribute to Robert Paige
ISBN: 9789048176748 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some... Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, wh... |
cena:
402,53 |
 |
The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
ISBN: 9783540123286 / Angielski / Miękka / 333 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
322,01 |
 |
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN: 9783642214363 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011...
|
cena:
201,24 |
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
