» książki » Computers - Programming - Compilers
 |
Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape
ISBN: 9783319121536 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic...
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools ...
|
cena:
201,40 |
 |
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
ISBN: 9783319189406 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design o...
|
cena:
201,40 |
 |
Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 Proceedings
ISBN: 9783319194578 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, ...
|
cena:
201,40 |
 |
Theory and Practice of Model Transformations: 8th International Conference, Icmt 2015, Held as Part of Staf 2015, l'Aquila, Italy, July 20-21, 2015. P
ISBN: 9783319211541 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. new paradigms for model transformation; and foundations of model transformation.
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in Jul...
|
cena:
201,40 |
 |
Tests and Proofs: 9th International Conference, Tap 2015, Held as Part of Staf 2015, l'Aquila, Italy, July 22-24, 2015. Proceedings
ISBN: 9783319212142 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 20...
|
cena:
201,40 |
 |
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proc
ISBN: 9783319262864 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.
The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis. This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in Novembe... |
cena:
201,40 |
 |
Functional and Logic Programming: 13th International Symposium, Flops 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ISBN: 9783319296036 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in... |
cena:
201,40 |
 |
Transactions on Aspect-Oriented Software Development XI
ISBN: 9783642550980 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 11th in the Transactions on...
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniqu...
|
cena:
201,40 |
 |
Reliable Software Technologies - Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26
ISBN: 9783319195834 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems. This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, hel...
|
cena:
201,40 |
 |
Compiler Design Using Java(R): An Object-Oriented Approach
ISBN: 9781734139136 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,17 |
|
Compiler Design Using Kotlin(TM): An Object-Oriented Approach
ISBN: 9781734139174 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,17 |
 |
Compiler Design Using Java(R): An Object-Oriented Approach
ISBN: 9781734139143 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,17 |
 |
COBOL Basic Training Using VSAM, IMS, DB2 and CICS
ISBN: 9781734584721 / Angielski / Miękka / 668 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,17 |
 |
The Career Programmer: Guerilla Tactics for an Imperfect World
ISBN: 9781590596241 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When Chris Duncan first asked me to do the foreword to his book, I didn't think it would be that tough to do. How hard could writing a foreword be? Compared to some of the projects I worked on in the past such as BoundsChecker, writing a book, or my current job of debugging others' impossible bugs, writing a foreword should be a piece of cake. However, within reading a couple of pages of The Career Programmer, I became extremely nervous because Chris is a far better writer than I can ever hope to be. The last thing I want to do is detract from great writing, and more importantly, an extremely...
When Chris Duncan first asked me to do the foreword to his book, I didn't think it would be that tough to do. How hard could writing a foreword be? Co...
|
cena:
207,33 |
 |
The Joys of Hashing: Hash Table Programming with C
ISBN: 9798868808258 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,33 |
 |
Pro Spring Boot 4
ISBN: 9798868826399 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,33 |
 |
Exploring C++: The Programmer's Introduction to C++
ISBN: 9781590597491 / Angielski / Miękka / 725 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Exploring C++ uses a series of self-directed lessons to divide C++ into bite-sized chunks that you can digest as rapidly as you can swallow them. The book assumes only a basic understanding of fundamental programming concepts (variables, functions, expressions, statements) and requires no prior knowledge of C or any other particular language. It reduces the usually considerable complexity of C++. The included lessons allow you to learn by doing, as a participant of an interactive education session. You'll master each step in one sitting before you proceed to the next. Author... Exploring C++ uses a series of self-directed lessons to divide C++ into bite-sized chunks that you can digest as rapidly as you can swallo... |
cena:
207,33 |
 |
Numerical C: Applied Computational Programming with Case Studies
ISBN: 9781484250631 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,33 |
 |
Beginning Ballerina Programming: From Novice to Professional
ISBN: 9781484251386 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,33 |
 |
Data Parallel C++
ISBN: 9781484296905 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,33 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
