Order Total (1 Item Items):
Shipping Destination:
Hakjoo (33 results)
Author:
hakjoo
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (33)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (31)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (33)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (13)
- Not Print on Demand (19)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 95.91
US$ 16.10 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 95.00
US$ 20.81 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
-
Programming Languages and Systems : 19th Asian Symposium, Aplas 2021, Chicago, Il, USA, October 17-18, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 95.89
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Programming Languages and Systems : 19th Asian Symposium, Aplas 2021, Chicago, Il, USA, October 17-18, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 108.09
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 1314, 2025, Proceedings
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2025. Paperback. . . . . .
-
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 1718, 2021, Proceedings
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2021. Paperback. . . . . .
-
-
Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 1314, 2025, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
US$ 132.81
US$ 16.79 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 400 pages. 9.25x6.10x0.94 inches. In Stock.
-
Condition: New. 2025. Paperback. . . . . . Books ship from the US and Ireland.
-
Condition: New. 2021. Paperback. . . . . . Books ship from the US and Ireland.
-
Programming Languages and Systems
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Okt 2021, 2021
ISBN 10: 3030890503 ISBN 13: 9783030890506
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.\*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.\* The conference was held in a hybrid format due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.
-
Programming Languages and Systems : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17¿18, 2021, Proceedings
Language: English
Published by Springer International Publishing, 2021
ISBN 10: 3030890503 ISBN 13: 9783030890506
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.\*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.\* The conference was held in a hybrid format due to the COVID-19 pandemic.
-
Static Analysis (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025. The 15 papers included here were carefully reviewed and selected from 32 submissions. The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 1314, 2025, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
US$ 89.94
US$ 16.79 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 400 pages. 9.25x6.10x0.94 inches. In Stock. This item is printed on demand.
-
Static Analysis
Language: English
Published by Springer-Verlag Gmbh Okt 2025, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM. 423 pp. Englisch.
-
Programming Languages and Systems
Language: English
Published by Springer International Publishing Okt 2021, 2021
ISBN 10: 3030890503 ISBN 13: 9783030890506
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.\*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.\* The conference was held in a hybrid format due to the COVID-19 pandemic. 336 pp. Englisch.
-
US$ 125.73
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand.
-
Programming Languages and Systems
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030890503 ISBN 13: 9783030890506
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions.
-
-
US$ 137.65
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand.
-
Static Analysis (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
US$ 106.55
US$ 49.71 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025. The 15 papers included here were carefully reviewed and selected from 32 submissions. The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
-
Static Analysis
Language: English
Published by Springer-Verlag Gmbh Okt 2025, 2025
ISBN 10: 3032071054 ISBN 13: 9783032071057
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 423 pp. Englisch.
