![]() |
Introduction to Information Quality
ISBN: 9781468530278 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
132,94 |
![]() |
Introduction to Information Quality
ISBN: 9781468530285 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
105,24 |
![]() |
Companion to the Papers of Donald Knuth
ISBN: 9781575866352 / Angielski / Twarda / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Donald E. Knuth s seminal publications, such as "Selected Papers on Fun and Games "and "Selected Paper on the Design of Algorithms," have earned him a loyal following among scholars and computer scientists, and his award-winning textbooks have becomes classics that are often given credit for shaping the field. In this volume, he explains and comments on the changes he has made to his work over the last twenty years in response to new technologies and the evolving understanding of key concepts in computer science. His commentary is supplemented by a full bibliography of his works and a... Donald E. Knuth s seminal publications, such as "Selected Papers on Fun and Games "and "Selected Paper on the Design of Algorithms," have earned hi... |
cena:
144,35 |
![]() |
Proceedings of the 2010 CGO
ISBN: 9781605586359 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
675,27 |
![]() |
Logic of Analog & Digital Machines
ISBN: 9781621007548 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
455,44 |
![]() |
Specification in B: An Introduction Using the B Toolkit
ISBN: 9781860940187 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity...
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rig...
|
cena:
181,22 |
![]() |
Formale Grundlagen Der Programmierung
ISBN: 9783834818898 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax uber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt."
Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax uber Semantik und Verifikation ...
|
cena:
105,32 |
![]() |
Proceedings of the European Workshop on Software Ecosystems 2016: Where science meets Business
ISBN: 9783743165830 / Angielski / Miękka / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
277,16 |
![]() |
Software Science and Engineering: Selected Papers from the Kyoto Symposia
ISBN: 9789810207762 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Twelve papers have been carefully selected from those presented at a series of symposia held at Kyoto University and the Advanced Software Technology and Mechatronics Research Institute of Kyoto during the years 1986 to 1990. Sponsored by the Research Institute of Mathematical Sciences of Kyoto University and ASTEM RI/Kyoto the sumposia cover the theoretical and practical aspects of programming languages and systems, programming styles and methodologies, design and analysis of algorithms, database systems and machine architectures. This volume aims to fulfil the goal of the symposia to...
Twelve papers have been carefully selected from those presented at a series of symposia held at Kyoto University and the Advanced Software Technology ...
|
cena:
489,77 |
![]() |
How to Think Like A Programmer : Problem Solving for the Bewildered
ISBN: 9781408065822 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Describes the mindset and mental methods of programmers. This title provides a fun and accessible way to learn the mental models needed to approach computational programmable problems.
Describes the mindset and mental methods of programmers. This title provides a fun and accessible way to learn the mental models needed to approach co...
|
cena:
273,19 |
![]() |
Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault
ISBN: 9789400730939 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern generation, fault diagnosis, memory testing and power aware testing are discussed. Models and the corresponding algorithms are considered with respect to the most recent state of the art, and they are put into a historical context by a concluding chapter on... Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use... |
cena:
402,53 |
![]() |
Advances in Contemporary Logic and Computer Science : Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil
ISBN: 9780821813645 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of Professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians.
This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponso...
|
cena:
563,24 |
![]() |
Proceedings of the First Annual ACM-Siam Symposium on Discrete Algorithms
ISBN: 9780898712513 / Angielski / Bookbook - Detail Unspecified / 523 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Symposium held Jan. 22-24, 1990, San Francisco, Calif.
Symposium held Jan. 22-24, 1990, San Francisco, Calif.
|
cena:
186,11 |
![]() |
Professional Augmented Reality Browsers for Smartphones: Programming for Junaio, Layar and Wikitude
ISBN: 9781119994787 / Angielski / Other digital carrier / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Helps you create mobile augmented reality apps with junaio, Layar, and Wikitude. This title guides you through creating your own augmented reality apps for the iPhone, Android, Symbian, and bada platforms, featuring fully workable and downloadable source code.
Helps you create mobile augmented reality apps with junaio, Layar, and Wikitude. This title guides you through creating your own augmented reality app...
|
cena:
170,08 |
![]() |
Specification of Parallel Algorithms
ISBN: 9780821802533 / Angielski / Twarda / 399 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale...
This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The go...
|
cena:
494,67 |
![]() |
On-line Algorithms
ISBN: 9780821865965 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Workshop on On-line Algorithms held at the DIMACS Center at Rutgers University in February 1991. Presenting new results in the theory of on-line algorithms, the articles discuss a broad range of problems. Most of the papers are based on competitive (worst-case) analysis of on-line algorithms, but some papers consider alternative approaches to on-line analysis. A critical question examined by some of the authors is how to modify competitive analysis to better reconcile the theory and practice of on-line algorithms. Many of the papers examine the ways...
This volume contains the proceedings of the Workshop on On-line Algorithms held at the DIMACS Center at Rutgers University in February 1991. Presentin...
|
cena:
210,60 |
![]() |
Testbeds and Research Infrastructure: Development of Networks and Communities: 7th International Icst Conference, Tridentcom 2011, Shanghai, China, Ap
ISBN: 9783642292729 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International ICST Conference, TridentCom 2011, held in Shanghai, China, in April 2011. This title focuses on topics such as future Internet testbeds, future wireless testbeds, federated and large scale testbeds, network and resource virtualization, and more.
Constitutes the proceedings of the 7th International ICST Conference, TridentCom 2011, held in Shanghai, China, in April 2011. This title focuses on t...
|
cena:
201,24 |
![]() |
Sharepoint Apps with Lightswitch: A QuickStart Guide to Programming Business Applications in VB.NET
ISBN: 9781449321161 / Angielski / Miękka / 80 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Build custom business applications for SharePoint with Visual Studio LightSwitch including intuitive apps that don t require a single line of code. This example-driven guide takes non-programmers step-by-step through the process of creating simple apps and utilities, and shows programmers familiar with C# or Visual Basic how to build customized applications with more functionality. Discover how to build and test your applications quickly without a lot of expensive server hardware. Once you get up to speed with LightSwitch, you ll create quality line-of-business applications tailored... Build custom business applications for SharePoint with Visual Studio LightSwitch including intuitive apps that don t require a single line of code.... |
cena:
54,14 |
![]() |
Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings
ISBN: 9784431541059 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computation should be a good blend of theory and practice, and researchers in the field should create algorithms to address real world problems, putting equal weight on analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications. The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research Osaka University, the University of the Philippines Diliman, and De La Salle University Manila devoted... Computation should be a good blend of theory and practice, and researchers in the field should create algorithms to address real world problems, pu... |
cena:
201,24 |
![]() |
The Way to Go: A Thorough Introduction to the Go Programming Language
ISBN: 9781469769165 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides the reader with a comprehensive overview of the new open source programming language Go (in its first stable and maintained release Go 1) from Google. The language is devised with Java / C#-like syntax so as to feel familiar to the bulk of programmers today, but Go code is much cleaner and simpler to read, thus increasing the productivity of developers. You will see how Go: simplifies programming with slices, maps, structs and interfaces This book provides the reader with a comprehensive overview of the new open source programming language Go (in its first stable and maintained rele... |
cena:
134,68 |