Importo totale (1 articolo articoli):
Destinazione ordine:
miquel bertran (37 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (36)
- Riviste e Giornali (1)
- 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 (22)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (24)
- Non Print on Demand (31)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Transformation-Based Reactive Systems Development.; 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97 Palma, Mallorci, Spain, May 1977 Proceedings. (Lecture Notes in Computer Science 1231.)
Da: J. HOOD, BOOKSELLERS, ABAA/ILAB, Baldwin City, KS, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Paperback. 429pp. X-Library with minimal markings, else as new.
-
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Soft
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
AffareEUR 5,06
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Transformation-Based Reactive Systems Development (Lecture Notes in Computer Science No. 1231)
Prima edizione
EUR 15,97
Spedizione EUR 11,63
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: New. First Edition. Still in publisher's shrinkwrap.
-
EUR 12,61
Spedizione EUR 12,99
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Como nuevo. : Este libro, titulado 'Ser estratégico y autónomo aprendiendo: Unidades didácticas de enseñanza estratégica', es una obra que aborda la enseñanza de estrategias de aprendizaje para fomentar la autonomía en el alumnado. Dirigido especialmente a profesores de enseñanza secundaria, presenta y analiza unidades de enseñanza estratégica en diversas áreas del currículum. Los autores comparten sus prácticas en el aula, demostrando cómo es posible enseñar a pensar al mismo tiempo que se imparten los contenidos de las materias. Este libro ofrece una guía práctica para integrar la enseñanza de estrategias en las programaciones educativas. EAN: 9788478272495 Tipo: Libros Categoría: Educación Título: Ser estratégico y autónomo aprendiendo Autor: Carles Monereo Font| Antoni Badia Garganté| Maria Victòria Baixeras Fecé| Elena Boadas Mir| Montserrat Castelló Badia| Iolanda Guevara Casanova| Ester Miquel Bertran| Manuel Monte Aneas| Enric M. Sebastiáni Obrador Editorial: Editorial Graó Idioma: es-ES Páginas: 272 Formato: tapa blanda.
-
EUR 25,50
Spedizione EUR 5,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
EUR 12,19
Spedizione EUR 12,99
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Bueno. : Instantànies. Projectes per atendre la diversitat educativa es un libro que explora las actitudes y elementos clave que hacen que los centros educativos contribuyan de manera efectiva a las necesidades de sus alumnos. A través de una narración que combina las voces de los autores y los protagonistas, el libro presenta un reportaje de visitas a siete centros educativos donde se desarrollan proyectos representativos de diversas formas de atender la diversidad en cada etapa educativa. Los autores, Carles Monereo, Montserrat Castelló, Mireia Bassols y Ester Miquel, comparten su experiencia desde el curso de Postgrado de especialización psicopedagógica en la atención a la diversidad escolar. EAN: 9788429744125 Tipo: Libros Categoría: Educación Título: Instantànies. Projectes per atendre la diversitat educativa Autor: Ester Miquel Bertran| Mireia Bassols Soldevila| Montserrat Castelló Badia| Carles Monereo Font Editorial: Edicions 62 Idioma: ca, es Páginas: 240 Formato: tapa blanda.
-
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)
Da: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germania
Valutazione del venditore 5 su 5 stelle
EUR 3,95
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.
-
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)
Da: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Germania
Valutazione del venditore 5 su 5 stelle
EUR 3,95
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,18
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,29
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,64
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Sistemas y circuitos digitales y analógicos
Lingua: Spagnolo
Editore: Marcombo, S.A., Barcelona, 1989
ISBN 10: 842670736X ISBN 13: 9788426707369
Da: Los libros del Abuelo, Madrid, M, Spagna
Valutazione del venditore 4 su 5 stelle
EUR 15,00
Spedizione EUR 42,50
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEncuadernación de tapa blanda. Condizione: Muy bien. El diseño de sistemas es hoy en día un área multidisciplinaria. Esto crea la necesidad de una formación integral en un amplio abanico de conceptos, cubriendo los ámbitos de sistemas lineales analógicos y digitales, y también los de síntesis analógica y digital, así como la realización digital con programas y procesadores especializados. El libro atiende esta necesidad introduciendo didácticamente y con numerosos ejemplos muchos conceptos importantes en estas áreas. Trata unificadamente los sistemas analógicos y digitales. En muy buen estado interno y externo. Medidas: 24x17 cms. Ref.: F-7-1.
-
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,69
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Fme '94 Industrial Benefit of Formal Methods : Second International Symposium Barcelona 1994
Da: True Oak Books, Highland, NY, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: Good+. Vol. 873; 6.1 X 1.67 X 9.25 inches; 723 pages; Ex-Library copy with usual identifiers. Very slightly cocked spine. Minor rubbing on the covers. Scratches on the bottom exterior edge of textblock. Light yellowing on pages. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated.
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,67
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Hacia la comprensión de la informática
Editore: Marcombo, 1983
Da: Outlet Ex Libris, Bilbao, BI, Spagna
Valutazione del venditore 5 su 5 stelle
EUR 8,00
Spedizione EUR 27,00
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloXV+268 pp. Rústica. Buen estado.
-
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21-23, 1997
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,58
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Condizione: New. pp. 744.
-
EUR 104,77
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 744 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
EUR 53,49
Spedizione EUR 63,40
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
-
EUR 107,20
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 744.
-
Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,25
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,85
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 128,27
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. FME '94: Industrial Benefit of Formal Methods | Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings | Maurice Naftalin (u. a.) | Taschenbuch | xii | Englisch | 1994 | Springer | EAN 9783540585558 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 106,99
Spedizione EUR 65,54
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
-
L'ILLA DE L'HOLANDÈS + ARIADNA AL LABERINT GROTESC + AIGUA EN CISTELLA + AMB LA PLOMA AL COS + LES VIDES PRIVADES DE PIPPA LEE
Lingua: Spagnolo
Editore: EDICIONES B, Barcelona, 2006
Da: Libros Dickens, Quart de Poblet, V, Spagna
Valutazione del venditore 5 su 5 stelle
EUR 31,00
Spedizione EUR 115,00
Spedito da Spagna a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEncuadernación de tapa blanda. Condizione: Bien. Condizione sovraccoperta: Bien. Cinco libros en buen estado, encuadernados en rústica, en lengua catalana. Los libros son los siguientes: L'ILLA DE L'HOLANDÈS + ARIADNA AL LABERINT GROTESC + AIGUA EN CISTELLA + AMB LA PLOMA AL COS + LES VIDES PRIVADES DE PIPPA LEE.
