0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Informatik

    3. Informatik – Bücher, CDs, LPs und mehr, Seite 7

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Informatik" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    The Practice of Formal Methods

    Lecture Notes in Computer Science -Band 14781

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*

    John Barnes
    Programming in Ada 2022

    The latest version of 'Programming in Ada' covers the full details of the core language Ada 2022 as approved by ISO in 2023, including new features that aid program proof and the efficient use of multicor…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 155,47*

    Monika Eisenmann
    Meine ersten Apps

    In diesem Buch entwickelst du deine ersten Apps per Drag&Drop mit dem MIT App Inventor und lernst dabei die Grundlagen der Programmierung.

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 29,95*

    Artificial Neural Networks and Machine Learning ¿ ICANN 2024

    Lecture Notes in Computer Science -Band 15019

    The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 76,66*

    Next Generation Arithmetic

    Lecture Notes in Computer Science -Band 14666

    This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation Arithmetic, CoNGA 2024, held in Sydney, NSW, Australia, during February 20 21, 2024. …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*

    Artificial Neural Networks and Machine Learning ¿ ICANN 2024

    Lecture Notes in Computer Science -Band 15025

    The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*

    Artificial Neural Networks and Machine Learning ¿ ICANN 2024

    Lecture Notes in Computer Science -Band 15021

    The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*

    Formal Aspects of Component Software

    Lecture Notes in Computer Science -Band 15189

    This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full paper…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*

    Artificial Neural Networks and Machine Learning ¿ ICANN 2024

    Lecture Notes in Computer Science -Band 15022

    The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 76,66*

    Logic-Based Program Synthesis and Transformation

    Lecture Notes in Computer Science -Band 14919

    This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9 10, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*

    Assaf Schneider
    Brainstorming

    Ein Autor versucht, ein Buch zu schreiben, das lehrt, wie man ein Buch schreibt und dann verliert er sich in seinem Brainstorming.

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 23,00*

    Sebastian Weiß
    Designing VR Stressors for Occupational Simulation Training in the ICU Context

    Dissertation in English on the development and subsequent quantitative evaluation of VR-based stress training for intensive care nurses

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 39,00*

    Zan Mokran
    Mokran´s Fibel - GPT & ChatGPT - Band 02 -

    Mokran s Fibel - GPT & Chat GPT - Band 02: Beruf und für Fortgeschrittene Nach Band 01 folgt nun der professionelle Einsatz von GPT: Band 02 bietet praktische Anleitungen für fortgeschrittene Techniken i…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 32,90*

    Computer Security ¿ ESORICS 2024

    Lecture Notes in Computer Science -Band 14984

    This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16 20,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*

    Software Architecture. ECSA 2024 Tracks and Workshops

    Lecture Notes in Computer Science -Band 14937

    This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture. ECSA 2024 Tracks and Workshops, ECSA 2024, held in Luxe…

    lieferbar innerhalb 2-3 Wochen
    EUR 60,30**
    Buch
    EUR 54,75*

    Business Process Management

    Lecture Notes in Computer Science -Band 14940

    This book constitutes the refereed proceedings of the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024. The 29 full papers inc…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 87,60*

    Implementation and Application of Automata

    Lecture Notes in Computer Science -Band 15015

    This book constitutes the proceedings of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, held in Akita, Japan, during September 3-6, 2024. The 24 full papers a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*

    The Application of Formal Methods

    Lecture Notes in Computer Science -Band 14900

    This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*

    The Practice of Formal Methods

    Lecture Notes in Computer Science -Band 14780

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science -Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH