Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 87,73
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : preigu, Osnabrück, Allemagne
EUR 54,80
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Programming Languages and Systems | 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings | Oleg Kiselyov | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9789819789429 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 26,32
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 404 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 65,42
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections:Type theory and Semantic Frameworks;Probabilistic and Declarative Programming;Quantum Computation;Logical Relations;Verification.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
EUR 50,23
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
Langue: anglais
Edité par Springer, Berlin, Springer Nature Singapore, Springer, 2024
ISBN 10 : 9819789427 ISBN 13 : 9789819789429
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections:Type theory and Semantic Frameworks;Probabilistic and Declarative Programming;Quantum Computation;Logical Relations;Verification. 389 pp. Englisch.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 85,95
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 88,06
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
Vendeur : moluna, Greven, Allemagne
EUR 52,76
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Langue: anglais
Edité par Springer, Springer Okt 2024, 2024
ISBN 10 : 9819789427 ISBN 13 : 9789819789429
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 58,84
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.