Anbieter: Buchpark, Trebbin, Deutschland
EUR 31,23
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 468 | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 42,34
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 47,70
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: California Books, Miami, FL, USA
EUR 59,54
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books Puddle, New York, NY, USA
EUR 65,02
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. 2024th edition NO-PA16APR2015-KAP.
Anbieter: Books Puddle, New York, NY, USA
EUR 66,90
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 468.
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Erstausgabe
EUR 46,02
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Erstausgabe
EUR 51,92
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 73,21
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 356 pages. 9.25x6.10x9.21 inches. In Stock.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 75,01
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 468 pages. 9.25x6.10x9.21 inches. In Stock.
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practi.
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practi.
Verlag: Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572610 ISBN 13: 9783031572616
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. 356 pp. Englisch.
Verlag: Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572661 ISBN 13: 9783031572661
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types;Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation. 468 pp. Englisch.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 68,46
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 68,97
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 468.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 66,47
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 68,45
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 468.