Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Schweiz
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "Program Analysis" wurden 44 Produkte gefunden
Suchergebnis |
Haupt
Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Preis
Minimal
Fr
–
Maximal
Fr
Verlag
Birkhäuser Boston (2)
Springer Berlin (29)
Springer International Publishing (7)
Springer London (1)
Springer Singapore (5)
Produktart
Gebunden (7)
Kartoniert / Broschiert (37)
Herausgeber
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Blieberger, Johann Strohmeier, Alfred (1)
Bossi, Annalisa (1)
Cortesi, Agostino (1)
Dahl, Veronica Wadler, Philip (1)
Danvy, Olivier Filinski, Andrzej (1)
Di Pierro, Alessandra Malacaria, Pasquale Nagarajan, Rajagopal (1)
Dwyer, Matthew (1)
Fuchs, Norbert E. (1)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill (1)
Hatcliff, John Mogensen, Torben Thiemann, Peter (1)
He, Jifeng (2)
Hermenegildo, Manuel Puebla, German (1)
Horspool, R. Niegel (1)
Inoue, Katsuro Roy, Chanchal K. (2)
Kuchen, Herbert Swierstra, S.Doaitse (1)
Kutsche, Ralf-Detlef Weber, Herbert (1)
Larsen, Kim Guldstrand Sokolsky, Oleg Wang, Ji (1)
Levi, Giorgio (1)
Middeldorp, Aart Sato, Taisuke (1)
Mogensen, Torben Schmidt, David Sudborough, I. Hal (1)
Nielson, Hanne R. (1)
Oliveira, Jose N. Zave, Pamela (1)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Taha, Walid (1)
Tarr, Peri L. Wolf, Alexander L. (2)
Tison, Sophie (1)
Autor
Campanoni, Simone (1)
Debbabi, Mourad Hassaïne, Fawzi Jarraya, Yosr Soeanu, Andrei Alawneh, Luay (2)
Geurts, Frederic (1)
Mou, Lili Jin, Zhi (1)
Nielson, Flemming Nielson, Hanne R. Hankin, Chris (2)
Nielson, Flemming Riis Nielson, Hanne (1)
Prehofer, Christian (2)
Rüthing, Oliver (1)
Wilhelm, Reinhard (1)
Veröffentlicht
1994 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2010 (1)
2011 (1)
2012 (1)
2014 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2022 (1)
2023 (1)
2024 (1)
2025 (1)
Sprache
Englisch (44)
Tree-Based Convolutional Neural Networks
58,85 CHF*
In den Warenkorb
Code Clone Analysis
171,20 CHF*
In den Warenkorb
Code Clone Analysis
171,20 CHF*
In den Warenkorb
From Lambda Calculus to Cybersecurity Through Program Analysis
53,50 CHF*
In den Warenkorb
Principles of Program Analysis
80,25 CHF*
In den Warenkorb
Principles of Program Analysis
53,50 CHF*
In den Warenkorb
Programming Languages: Implementations, Logics, and Programs
53,50 CHF*
In den Warenkorb
Solving Higher-Order Equations
107,00 CHF*
In den Warenkorb
Programming Languages and Systems - ESOP '96
53,50 CHF*
In den Warenkorb
Static Analysis
53,50 CHF*
In den Warenkorb
Abstract Compositional Analysis of Iterated Relations
53,50 CHF*
In den Warenkorb
The Fundamental Research for Trustworthy Software
149,80 CHF*
In den Warenkorb
Dependable Software Engineering. Theories, Tools, and Applications
53,50 CHF*
In den Warenkorb
Partial Evaluation: Practice and Theory
53,50 CHF*
In den Warenkorb
Functional and Logic Programming
53,50 CHF*
In den Warenkorb
Model Checking Software
53,50 CHF*
In den Warenkorb
Integrated Formal Methods
53,50 CHF*
In den Warenkorb
Reliable Software Technologies - Ada-Europe 2002
53,50 CHF*
In den Warenkorb
Programs as Data Objects
53,50 CHF*
In den Warenkorb
Solving Higher-Order Equations
107,00 CHF*
In den Warenkorb
Logic Program Synthesis and Transformation
53,50 CHF*
In den Warenkorb
Trees in Algebra and Programming - CAAP '94
53,50 CHF*
In den Warenkorb
The Essence of Computation
53,50 CHF*
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,50 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
