» książki » Computers - Programming - Compilers
topmenu
 |
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783030171834 / Angielski / Miękka / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Coordination Models and Languages: 21st Ifip Wg 6.1 International Conference, Coordination 2019, Held as Part of the 14th International Federated Conf
ISBN: 9783030223960 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I
ISBN: 9783030255398 / Angielski / Miękka / 673 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings
ISBN: 9783030304454 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-1
ISBN: 9783030306892 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Logic, Rationality, and Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings
ISBN: 9783662602911 / Angielski / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu
ISBN: 9783030311568 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ISBN: 9783030315160 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Testing Software and Systems: 30th Ifip Wg 6.1 International Conference, Ictss 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ISBN: 9783319999265 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
Introduction to Compiler Design
ISBN: 9783031464591 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
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
