Importo totale (1 articolo articoli):
Destinazione ordine:
logic based program synthesis transformation (311 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (311)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (134)
- Non Print on Demand (241)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 19,96
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.7.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,47
Usato - A partire da EUR 19,96
Scopri anche Brossura
-
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 15,06
Convertire valutaEUR 7,10 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,70
Usato - A partire da EUR 22,16
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 20,58
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 234.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 24,13
Usato - A partire da EUR 28,16
Scopri anche Brossura
-
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 20,58
Convertire valutaEUR 4,89 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,47
Usato - A partire da EUR 25,47
-
Logic-Based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,83
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.07.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 29,83
Scopri anche Brossura
-
Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, Uk, July 24-28, 2000 Selected Papers
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 31,50
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.62.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,06
Usato - A partire da EUR 31,50
Scopri anche Brossura
-
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).
Editore: Berlin etc. : Springer, 2004
Lingua: Inglese
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 17,30
Convertire valutaEUR 12,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover/Paperback. Condizione: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.
-
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 36,25
Convertire valutaEUR 7,10 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 43,35
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,74
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.9.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 45,74
Scopri anche Brossura
-
EUR 46,69
Convertire valutaEUR 3,33 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 50,02
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 44,23
Convertire valutaEUR 7,10 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 51,33
Scopri anche Brossura
-
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 44,66
Convertire valutaEUR 7,10 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 51,76
Scopri anche Brossura
-
Logic-based Program Synthesis and Transformation : 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,37
Convertire valutaEUR 2,35 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 70,75
Usato - A partire da EUR 53,72
Scopri anche Brossura
-
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 47,28
Convertire valutaEUR 7,10 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,70
Usato - A partire da EUR 54,38
Scopri anche Brossura
-
Logic-based Program Synthesis And Transformation
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,58
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,58
Usato - A partire da EUR 128,21
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science, 6037)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,15
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,70
Usato - A partire da EUR 85,68
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,15
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic-based Program Synthesis and Transformation : 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8?10, 2019, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 55,70
Convertire valutaEUR 2,35 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 58,05
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,51
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 128,55
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,51
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 58,88
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected ... Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,51
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 143,17
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,51
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,06
Usato - A partire da EUR 128,55
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,89
Convertire valutaEUR 3,55 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic-based Program Synthesis and Transformation : 31st International Symposium, Lopstr 2021, Tallinn, Estonia, September 7?8, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,21
Convertire valutaEUR 2,35 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 73,16
Usato - A partire da EUR 62,56
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 67,74
Convertire valutaGratis per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,56
Convertire valutaEUR 14,17 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,09
Convertire valutaEUR 14,17 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 72,22
Usato - A partire da EUR 81,38
Scopri anche Brossura
-
Logic-Based Program Synthesis and Transformation (Paperback)
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Lingua: Inglese
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 80,04
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting. 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 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logic-based Program Synthesis and Transformation : 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7?9, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 83,18
Convertire valutaEUR 2,35 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 86,46
Usato - A partire da EUR 85,53
Scopri anche Brossura
