Pinto jorge sousa (30 risultati)
Lingua: Inglese
Editore: Springer 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Edizione Internazionale
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 30,92
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be prin…ted on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
Lingua: Inglese
Editore: Springer 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,44
EUR 13,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Asia Bookroom ANZAAB/ILAB, Canberra, ACT, AustraliaAsia Bookroom ANZAAB/ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 35,24
EUR 18,52 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Black and white photographic plates, 375pp, bibliography, index. Paperback. New. "Following the fall of the Melaka Sultanate to the Portuguese in 1511, the sultanates of Johor and Aceh emerged as major trading centers alongside Portuguese Melaka. Each power represented wider global interests. Aceh had links with Gujerat, the Ott…oman Empire and the Levant. Johor was a center for Javanese merchants and others involved with the Eastern spice trade. Melaka was part of the Estado da India, Portugal's trading empire that extended from Japan to Mozambique. Throughout the sixteenth century, a peculiar balance among the three powers became an important character of the political and economical life in the Straits of Melaka. The arrival of the Dutch in the early seventeenth century upset the balance and led to the decline of Portuguese Melaka. Making extensive use of contemporary Portuguese sources, Paulo Pinto uses geopolitical approach to analyze the financial, political, economic and military institutions that underlay this triangular arrangement, a system that persisted because no one power could achieve an undisputed hegemony. He also considers the position of post-conquest Melaka in the Malay World, where it remained a symbolic center of Malay civilization and a model of Malay political authority despite changes associated with Portuguese rule. In the process provides information on the social, political and genealogical circumstances of the Johor and Aceh sultanates." (Publisher's description).
Lingua: Portoghese
- Brossura
Da: Hamelyn, Madrid, M, SpagnaHamelyn
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 11,47
EUR 12,99 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Condizione: Muy bueno. : A Expo em 98 Palavras. Textos & Documentos es una antología de 98 poemas sobre la Expo '98, cada uno escrito en 98 palabras. Los poemas fueron seleccionados entre miles presentados por lectores del Diário de Notícias. Esta edición de 1998 fue publicada por Editorial Notícias en Lisboa. EAN: 9789724609218… Tipo: Libros Categoría: Literatura y Ficción Título: A Expo em 98 palavras. Textos & Documentos. Autor: Helena Pinto Marina| António Lapa Barreiros| Jorge João de Sousa Cardoso Editorial: Editorial Notícias Idioma: pt Páginas: 111 Formato: tapa blanda.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 61,04
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 59,04
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 276.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 70,91
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,72
EUR 17,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,33
EUR 13,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer London 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,98
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Self-contained, offering a concise introduction to formal methods together with an in-depth coverage of model-based and Hoare logic-based methodsFocuses on two approaches: the Coq proof assistant and the B suite, both of which have proved effectiv.
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,16
EUR 11,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2nd edition. 350 pages. 9.26x6.11x9.21 inches. In Stock.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 104,02
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 104,31
EUR 7,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 104,47
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008.The volume presen…ts three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume.Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Language Engineering and Rigorous Software Development | International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers | Ana Bove (u. a.) | Taschenbuch | ix | Englisch | 2009 | Springer | EAN 9783642031526 | Verantwortliche Person für die EU…: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,30
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Rigorous Software Development | An Introduction to Program Verification | Jorge Sousa Pinto (u. a.) | Taschenbuch | Undergraduate Topics in Computer Science | xvi | Englisch | 2026 | Springer London Ltd | EAN 9781447175575 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17,… 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 40,86
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ¿ olis, Uruguay, from February 25 to March 1, 2008. The aim o…f the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers,withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: ¿ Chalmers Tekniska H¿ ogskola, Sweden ¿ Institut National de la Recherche en Informatique et Automatique (INRIA), France ¿ Universidad de Castilla-La Mancha, Spain ¿ Universidad Catol ¿ ica de Santiago del Estero, Argentina ¿ Universidad EAFIT, Colombia ¿ Universidade Federal de Minas Gerais, Brazil ¿ Universidade do Minho, Portugal ¿ Universidad Nacional de San Luis, Argentina ¿ Universidad Polit¿ ecnica de Valencia, Spain ¿ Universidad de la Republica ¿ , Uruguay ¿ Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursue.
- Brossura
Da: Antiquariaat A. Kok & Zn. B.V., Amsterdam, , Paesi BassiAntiquariaat A. Kok & Zn. B.V.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 30,25
EUR 28,27 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Singapore, NUS Press & [Kuala Lumpur], Malaysian Branch of the Royal Asiatic Society, [2012]. XXX,375 pp. 6 b./w. maps & 14 col. & b./w. ills. Softcover (pictorial wrappers). 8vo. (Monographs of the Malaysian Branch of the Royal Asiatic Society, 45).Updated English translation of: Portugueses e malaios. Malaca e os Sultanatos de… Johor e Ache m, 1575-1619 (Lisboa, 1997).
Lingua: Inglese
Editore: Springer London 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,72
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: Springer London 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,68
EUR 4,80 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Altre immagini- Rilegato
Da: Livraria Castro e Silva, Lisboa, PortogalloLivraria Castro e Silva
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 50,00
EUR 70,00 spedizioneSpedito da Portogallo a U.S.A.Quantità: 1 disponibili
Hard Cover. Condizione: Good. ?Nas Comemorações do Bicentenário? Tribuna da História. Lisboa. 2009. De 30x21 cm. Com 152 págs. Encadernação editorial com sobrecapa ilustrada a cores. Ilustrado com numerosas reproduções de gravuras e quadros da época assim como com esquemas de batalhas. A obra inclui uma lista dos oficiais comand…antes das brigadas e regimentos (entre outros Bernardo de Sá Nogueira, futuro Marquês de Sá da Bandeira, Conde de Amarante, Luís Paulino de Oliveira Pinto da França, Visconde de Barbacena e Álvaro Xavier Coutinho e Póvoas) um mapa de todos os oficiais de Cavalaria, uma cronologia da Guerra Peninsular, esquemas das principais operações na península e transcreve diplomas legais relativos à obtenção de cavalos. Language: Português / Portuguese Location/localizacao: I-42-B-13.
- Rilegato
- Print on Demand
Da: True World of Books, Delhi, , IndiaTrue World of Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,71
Spedizione gratuitaSpedito da India a U.S.A.Quantità: 18 disponibili
LeatherBound. Condizione: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1619 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. NO changes have been made to the original text. This is NOT a retyped or an ocr'd repr…int. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. Pages: 394 As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 394 Language: por.
Lingua: Inglese
Editore: Springer 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 57,17
EUR 7,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 276 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Lingua: Inglese
Editore: Springer 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 56,44
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 276.
Altre immagini- Rilegato
- Print on Demand
Da: Gyan Books Pvt. Ltd., Delhi, , IndiaGyan Books Pvt. Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,90
Spedizione gratuitaSpedito da India a U.S.A.Quantità: Più di 20 disponibili
Leather Bound. Condizione: New. Language: Portuguese. Language: Portuguese. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded…spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2025, utilizing the invaluable guidance of the original edition published many years ago in 1619. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - Portuguese, Pages:- 394, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 394 394.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008.T…he volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume.Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development. 312 pp. Englisch.
- Brossura
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abstract Interpretation: A Formal Study Using Coq.- Extended Static Checking by Calculation Using the Pointfree Transform.-… Combinator Parsing: A Short Tutorial.
- Brossura
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,78
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abstract Interpretation: A Formal Study Using Coq.- Extended Static Checking by Calculation Using the Pointfree Transform.- Combinator Parsing…: A Short Tutorial.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.
