» książki » Computers - Programming - Compilers
topmenu
 |
Declarative Programming and Knowledge Management: Conference on Declarative Programming, Declare 2019, Unifying Inap, Wlp, and Wflp, Cottbus, Germany,
ISBN: 9783030467135 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Modelling to Program: Second International Workshop, M2p 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers
ISBN: 9783030726959 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
ISBN: 9783031172434 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in Octobe...
|
cena:
201,24 |
 |
Introduction to Compiler Design
ISBN: 9783031464591 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning: 17th International Conference on Informatics in Schools: Situ
ISBN: 9783031734731 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education: 18th International Conference
ISBN: 9783032012210 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Multimedia Introduction to Programming Using Java
ISBN: 9780387226811 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive... This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containi... |
cena:
201,24 |
 |
C a Software Engineering Approach
ISBN: 9780387946757 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. to Software Engineering For 'tis the sport to have the engineer Hoist with his own petar. Shakespeare, Hamlet In the previous chapter, we introduced same basic information about pro gramming and programming languages, particularly C. If this were a book about building bridges, this first chapter might have been an introduction to the tools you would neeci-hammer, saw, drill, etc. Obviously there is a lot more to building a good bridge than simply knowing how to use the tools. Similarly, creating software products requires considerably more skill than simply wielding the programming tools....
to Software Engineering For 'tis the sport to have the engineer Hoist with his own petar. Shakespeare, Hamlet In the previous chapter, we introduced s...
|
cena:
201,24 |
 |
Reasoning about Program Transformations: Imperative Programming and Flow of Data
ISBN: 9780387953915 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines frameworks we inherited from designs...
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative pro...
|
cena:
201,24 |
 |
Scientific Pascal
ISBN: 9780817637606 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a self-contained text on the Pascal programming language that will be of great interest to science and technology students, scientists, and engineers, who will appreciate the clarity and facility of Pascal. Its emphasis on scientific problems is unique. Every aspect of Pascal programming is illustrated and applied (including graphics, DOS, BIOS, and mouse programming) through hundreds of worked examples and exercises culled from the numerical analysis and algorithm literature. All of the book's programs have been tested, and they are listed in a clear, uncluttered format. The...
This book is a self-contained text on the Pascal programming language that will be of great interest to science and technology students, scientists, a...
|
cena:
201,24 |
 |
Essential Java 3D Fast: Developing 3D Graphics Applications in Java
ISBN: 9781852333942 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Packed with lots of examples and illustrations, including an 8-page colour section, Essential Java 3D fast is an introductory textbook for those who want to learn Java 3D fast.
The best way to learn any programming language is by writing programs. In this book, Ian Palmer takes you through the steps to write a simple program in Java 3D, and then shows you how to modify and add features to this program, so you learn the key features of Java 3D. Learn about: Writing a simple Java 3D program; Creating Shapes; Defining Appearance; Animation; Behaviours. The examples in... Packed with lots of examples and illustrations, including an 8-page colour section, Essential Java 3D fast is an introductory textbook for thos...
|
cena:
201,24 |
 |
Categories for Software Engineering
ISBN: 9783540209096 / Angielski / Twarda / 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 |
 |
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
ISBN: 9783540283096 / Angielski / Miękka / 1280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and to promote its applications. This year s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The...
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of...
|
cena:
201,24 |
 |
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
ISBN: 9783540411314 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodologies, formalisms, procedures, implementations, and their applications available today, this claim is stronger than ever, as witnessed by increasing amount and range of publications in the area, to which the present proceedings accrue. The European series of Workshops on Logics in Arti?cial Intelligence (or Journees Europeennes sur la Logique en Intelligence Arti?cielle JELIA) began in response to the need for a European forum for the discussion...
Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodolog...
|
cena:
201,24 |
 |
Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
ISBN: 9783540090854 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
ISBN: 9783540129257 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension
ISBN: 9783540530480 / Angielski / Miękka / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (T...
|
cena:
201,24 |
 |
Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991
ISBN: 9783540540922 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Technical excellence and originality were the principal selection criteria, but readability and relevance to the conference theme were also taken into account. The papers were organized into eight sections, on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distribution, faces of reuse, and...
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-ba...
|
cena:
201,24 |
 |
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 Proceedings
ISBN: 9783540744061 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages. This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along... |
cena:
201,24 |
 |
CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
ISBN: 9783540544302 / Angielski / Miękka / 549 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings volume contains four invited and thirty selected papers on all aspects of concurrency.
CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings vol...
|
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
