Skip to main content
Search Button
日本 楽天Koboストア ヘルプ

楽天Kobo

気になる本

カート

VIP 特典をお楽しみいただけます！

購入できない書籍
お買い物かごをご確認ください。購入不可の商品を削除できます。削除されなかった購入不可の商品は、購入手続き時に削除されます。
点点
点点

おすすめ

Loading...

コンパイラ 電子書籍

コンパイラ の本がお好きな方におすすめです。
1195件の検索結果中1057～1080を表示
Skip side bar filters

  • Search Based Software Engineering

    8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

    編集 Federica Sarro, Kalyanmoy Deb ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... もっと見る

    6,076 円

  • Graph Transformation

    12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

    編集 Esther Guerra, Fernando Orejas ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and ... もっと見る

    6,076 円

  • Java in 14 Wochen

    Ein Lehrbuch für Studierende der Wirtschaftsinformatik

    − Kaspar Riesen ...
    シリーズ series Computer Science and Engineering (German Language)
    Dieses Buch ist der ideale Begleiter, wenn Sie in einem Semester Java lernen möchten. Der Inhalt wurde gezielt ausgewählt, so dass nur die Konzepte besprochen werden, die Sie zum Einstieg in die Programmierung wirklich benötigen. Diese Konzepte werden mit zahlreichen, anschaulichen Beispielen illustriert.Weiter wird im Buch ein durchgehendes Beispielprojekt in Java, das von Kapitel zu Kapitel ... もっと見る

    4,090 円

  • Programming Languages and Systems

    32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    編集 Thomas Wies ...
    シリーズ series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in ... もっと見る

    無料

  • Modern X86 Assembly Language Programming

    Covers X86 64-bit, AVX, AVX2, and AVX-512

    − Daniel Kusswurm ...
    シリーズ 本: 512 - Professional and Applied Computing (R0)
    This book is an instructional text that will teach you how to code x86-64 assembly language functions. It also explains how you can exploit the SIMD capabilities of an x86-64 processor using x86-64 assembly language and the AVX, AVX2, and AVX-512 instruction sets.This updated edition’s content and organization are designed to help you quickly understand x86-64 assembly language programming and the ... もっと見る

    7,900 円

  • A Beginners Guide to Python 3 Programming

    − John Hunt ...
    シリーズ series Computer Science (R0)
    This textbook is aimed at readers who have little or no knowledge of computer programming but want to learn to program in Python. It starts from the very basics including how to install your Python environment, how to write a very simple program and run it, what a variable is, what an if statement is, how iteration works using for and while loops as well as important key concepts such as functions ... もっと見る

    7,900 円

  • Runtime Verification

    23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

    編集 Panagiotis Katsaros, Laura Nenzi ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023.The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions.The RV conference is concerned with all aspects of novel ... もっと見る

    8,507 円

  • Pro RESTful APIs

    Design, Build and Integrate with REST, JSON, XML and JAX-RS

    − Sanjay Patni ...
    シリーズ series Professional and Applied Computing (R0)
    Discover the RESTful technologies, including REST, JSON, XML, JAX-RS web services, SOAP and more, for building today's microservices, big data applications, and web service applications. This book is based on a course the Oracle-based author is teaching for UC Santa Cruz Silicon Valley which covers architecture, design best practices and coding labs.Pro RESTful APIs: Design gives you all the ... もっと見る

    5,469 円

  • Modern Programming Made Easy

    Using Java, Scala, Groovy, and JavaScript

    − Adam L. Davis ...
    シリーズ series Professional and Applied Computing (R0)
    Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made Easy teaches you basic coding principles, including working with lists, sets, arrays, and maps; coding in the object-oriented style; and writing a web application.This book is language agnostic, but ... もっと見る

    2,795 円

  • Datenbanken und SQL

    Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL

    − Edwin Schicker ...
    シリーズ series Computer Science and Engineering (German Language)
    Dieses Buch vermittelt dem Leser fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem Kapitel dienen der Vertiefung des Stoffes und verbessern den Lernerfolg deutlich. Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die Programmiersprache SQL und der Zugriff auf Datenbanken mittels der ... もっと見る

    4,542 円

  • Crafting Interpreters

    − Robert Nystrom ...
    Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... もっと見る

    5,950 円

  • Stylish F# 6

    Crafting Elegant Functional Code for .NET 6

    − Kit Eason ...
    シリーズ 本: 6 - Professional and Applied Computing (R0)
    Why just get by in F# when you can program in style. This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code. This second edition, fully updated for .NET 6 and F# 6, includes all new coverage of anonymous records, the task {} computation expression, and the relationship between types and ... もっと見る

    7,292 円

  • C++20 Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    − Mikael Olsson ...
    シリーズ series Professional and Applied Computing (R0)
    This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template ... もっと見る

    7,292 円

  • Logic and Argumentation

    4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

    編集 Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... もっと見る

    10,938 円

  • Program Proofs

    − K. Rustan M. Leino ...
    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... もっと見る

    9,782 円

  • Python Projects for Beginners

    A Ten-Week Bootcamp Approach to Python Programming

    − Connor P. Milliken ...
    シリーズ series Professional and Applied Computing (R0)
    Immerse yourself in learning Python and introductory data analytics with this book’s project-based approach. Through the structure of a ten-week coding bootcamp course, you’ll learn key concepts and gain hands-on experience through weekly projects.Each chapter in this book is presented as a full week of topics, with Monday through Thursday covering specific concepts, leading up to Friday, when you ... もっと見る

    6,685 円

  • Economics of Grids, Clouds, Systems, and Services

    14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

    編集 Congduc Pham, Jörn Altmann, José Ángel Bañares ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in ... もっと見る

    6,076 円

  • LLVM Code Generation

    A deep dive into compiler backend development

    − Quentin Colombet ...
    Explore the world of code generation with the LLVM infrastructure, and learn how to extend existing backends or develop your own Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesUnderstand the steps involved in generating assembly code from LLVM IRLearn the key constructs needed to leverage LLVM for your hardware or backendStrengthen your understanding with targeted ... もっと見る

    4,477 円

  • Ethical Hacking: Complete Guide to Osint and Real-world Pentesting Labs

    A Step by Step Guide for You to Learn the Fundamentals of Ethical Hacking and Cybersecurity

    − Dwight Smith ...
    This book is perfect for beginners and professionals who want to improve their skills. You will learn how to use essential tools such as metasploit, wireshark, nmap, and burp suite, explore encryption techniques, and discover how to design ethical attacks to test the security of systems. Each chapter is packed with practical examples and real-world case studies, making learning engaging and ... もっと見る

    450 円

  • Tests and Proofs

    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

    編集 Catherine Dubois, Burkhart Wolff ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal ... もっと見る

    6,076 円

  • JavaFX 9 by Example

    − Carl Dea, Gerrit Grunwald, José Pereda, Sean Phillips, Mark Heckler ...
    シリーズ series Professional and Applied Computing (R0)
    Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the ... もっと見る

    7,900 円

  • Chatbot Research and Design

    5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers

    編集 Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot ... もっと見る

    7,900 円

  • Interactive Theorem Proving

    9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

    編集 Jeremy Avigad, Assia Mahboubi ...
    シリーズ series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... もっと見る

    10,938 円

  • Practical Quantum Computing for Developers

    Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience

    − Vladimir Silva ...
    シリーズ series Professional and Applied Computing (R0)
    Write algorithms and program in the new field of quantum computing. This book covers major topics such as the physical components of a quantum computer: qubits, entanglement, logic gates, circuits, and how they differ from a traditional computer. Also, Practical Quantum Computing for Developers discusses quantum computing in the cloud using IBM Q Experience including: the composer, quantum scores, ... もっと見る

    7,292 円