Skip to main content

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Compilateurs

Si vous aimez les titres Compilateurs, vous allez adorer cette sélection.
Affichage des résultats 1 - 24 sur 1280
Skip side bar filters
  • Компьютер. Большой самоучитель по ремонту, сборке и модернизации

    Эта книга – самый полный и, по словам экспертов, «самый полезный» самоучитель по ремонту, модернизации и сборке компьютера своими силами.Вы найдете здесь подробную информацию о программах, комплектующих, устройствах самого последнего поколения.Вы научитесь сами составлять компьютер из оптимальных для вас комплектующих; самостоятельно правильно ставить и удалять любые программы; «разгонять» свой ПК ... En savoir plus

    4,21 €

  • Excel Avanzato 2.0

    Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

    par Denis Martin ...
    Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... En savoir plus

    0,99 €

  • MATLAB Control Systems Engineering

    par Cesar Lopez ...
    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

    52,00 €

  • Formal Specification Techniques for Engineering Modular C Programs

    par Tan Yang Meng ...
    Collection Livre 1 - International Series in Software Engineering
    Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... En savoir plus

    129,77 €

  • Languages for Digital Embedded Systems

    Collection Livre 572 - The Springer International Series in Engineering and Computer Science
    Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... En savoir plus

    129,77 €

  • Modelling Foundations and Applications

    13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution ... En savoir plus

    46,34 €

  • Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... En savoir plus

    46,34 €

  • Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

    Collection series Computer Science (R0)
    This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... En savoir plus

    46,34 €

  • Engineering Trustworthy Software Systems

    Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

    Collection series Springer Nature Proceedings Computer Science
    This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... En savoir plus

    46,34 €

  • Agreement Technologies

    6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

    Modifié par Marin Lujak ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next ... En savoir plus

    46,34 €

  • Foundations and Practice of Security

    11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... En savoir plus

    60,24 €

  • Declarative Programming and Knowledge Management

    Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... En savoir plus

    46,34 €

  • Theoretical Aspects of Computing - ICTAC 2015

    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory ... En savoir plus

    46,34 €

  • Euro-Par 2016: Parallel Processing

    22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... En savoir plus

    46,34 €

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Modifié par Thierry Lecomte, Leila Ribeiro ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... En savoir plus

    46,34 €

  • Smart Card Research and Advanced Applications

    15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... En savoir plus

    46,34 €

  • Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

    Collection series Computer Science (R0)
    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... En savoir plus

    46,34 €

  • Graph Transformation

    15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

    Modifié par Nicolas Behr, Daniel Strüber ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph ... En savoir plus

    50,97 €

  • A List of Successes That Can Change the World

    Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

    Collection series Computer Science (R0)
    This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... En savoir plus

    46,34 €

  • Software Engineering for Resilient Systems

    8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

    Modifié par Ivica Crnkovic, Elena Troubitsyna ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... En savoir plus

    46,34 €

  • Lua Unleashed: Revolutionizing Game Design and Development

    Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book ... En savoir plus

    9,49 €

  • Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis

    Dive into the world of MATLAB with "Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis," a definitive guide designed for both beginners and experienced users. This book serves as an invaluable resource for engineers, scientists, and anyone interested in harnessing the power of MATLAB for numerical computation, data analysis, and algorithm development.Starting with the basics, ... En savoir plus

    9,49 €

  • Exploring C++ 11

    par Ray Lischner ...
    Collection series Professional and Applied Computing (R0)
    Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of ... En savoir plus

    54,58 €

  • Programming with Actors

    State-of-the-Art and Research Perspectives

    Modifié par Alessandro Ricci, Philipp Haller ...
    Collection series Computer Science (R0)
    The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing ... En savoir plus

    46,34 €