Importo totale (1 articolo articoli):
Destinazione ordine:
manuel a martins (124 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (124)
- 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 Maggiori informazioni
- Nuovo (99)
- Come nuovo, Ottimo o Quasi ottimo (13)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (5)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (40)
- Non Print on Demand (93)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Música con nombre propio
Da: KALAMO BOOKS, Burriana, CS, Spagna
Valutazione del venditore 5 su 5 stelle
EUR 20,50
Spedizione EUR 17,86
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTapa blanda. Condizione: Nuevo.
-
Recent Trends in Algebraic Development Techniques: 26th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28-30, 2022, Revised Sel
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Investing in Disaster Risk Reduction for Resilience : Design, Methods and Knowledge in the Face of Climate Change
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 46,41
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Libro 248 di 300: Lecture Notes in Computer ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,22
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Recent Trends in Algebraic Development Techniques (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
EUR 50,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: new.
-
Recent Trends in Algebraic Development Techniques (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031433440 ISBN 13: 9783031433443
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected ... Computer Science and General Issues)
Libro 248 di 300: Lecture Notes in Computer ScienceDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,32
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Libro 248 di 300: Lecture Notes in Computer ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,13
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
GuÃa práctica Internacional de Derecho Colaborativo
Da: KALAMO BOOKS, Burriana, CS, Spagna
Valutazione del venditore 5 su 5 stelle
EUR 34,90
Spedizione EUR 17,86
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTapa blanda. Condizione: Nuevo.
-
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17?18, 2018, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Recent Trends in Algebraic Development Techniques : 26th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,35
Spedizione EUR 14,05
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,35
Spedizione EUR 14,05
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Recent Trends in Algebraic Development Techniques (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 5 su 5 stelle
EUR 45,49
Spedizione EUR 27,99
Spedito da Italia a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: new.
-
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected ... Computer Science and General Issues)
Libro 248 di 300: Lecture Notes in Computer ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,35
Spedizione EUR 14,05
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,40
Spedizione EUR 18,16
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17?18, 2018, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Libro 248 di 300: Lecture Notes in Computer ScienceDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,34
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Molecular Logic And Computational Synth
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,72
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Dynamic Logic. New Trends And Applicatio
Libro 248 di 300: Lecture Notes in Computer ScienceDa: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,85
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Dynamic Logic. New Trends and Applications: Third International Workshop, DaL? 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected . Computer Science and General Issues)
Libro 248 di 300: Lecture Notes in Computer ScienceDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
-
Recent Trends in Algebraic Development Techniques : 26th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Dynamic Logic. New Trends and Applications : Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9?10, 2020, Revised Selected Papers
Libro 248 di 300: Lecture Notes in Computer ScienceDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,55
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 85,08
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 87,47
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031947479 ISBN 13: 9783031947476
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Molecular Logic and Computational Synthetic Biology: First International Symposium, Mlcsb 2018, Santiago, Chile, December 1718, 2018, Revised Selected Papers
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,05
Spedizione EUR 11,73
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 156 pages. 9.00x6.00x0.50 inches. In Stock.
-
Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 89,81
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 910, 2020, Revised Selected Papers
Libro 248 di 300: Lecture Notes in Computer ScienceLingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030658392 ISBN 13: 9783030658397
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,22
Spedizione EUR 11,73
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 308 pages. 9.25x6.10x0.70 inches. In Stock.
-
Molecular Logic And Computational Synth
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
