Importo totale (1 articolo articoli):
Destinazione ordine:
ana cavalcanti (193 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (193)
- 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 (163)
- Come nuovo, Ottimo o Quasi ottimo (22)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (5)
Legatura
Ulteriori caratteristiche
- Prima ed. (5)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (97)
- Non Print on Demand (131)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Pet chef: Recipes : pet birthday recipe book
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 10,53
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
EUR 7,86
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 8,17
Spedizione EUR 5,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: as new. Wie neu/Like new.
-
Refinement Techniques in Software Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Paperback. Condizione: New.
-
Pet Chef: Receitas: bolos e biscoitos pet para aniversário (Portuguese Edition)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,26
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Urban informality shaped by labor
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 29,95
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Fundamental Approaches to Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572580 ISBN 13: 9783031572586
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution. This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Refinement Techniques In Software Engineering: First Pernambuco Summer School On Software Engineering, Psse 2004, Recife, Brazil, November 23-december . / Programming And Software Engineering)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Organ Transplantation and Native Peoples : An Interdisciplinary Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 46,77
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December . / Programming and Software Engineering)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Organ Transplantation and Native Peoples : An Interdisciplinary Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 49,17
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Trajetória de um jovem artista gráfico na imprensa (1914-1922) : Di Cavalcanti ilustrador.
Editore: Sumaré, São Paulo
ISBN 10: 8585408375 ISBN 13: 9788585408374
EUR 26,35
Spedizione EUR 8,69
Spedito da Uruguay a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTapa Blanda. Condizione: New. Reconstitui uma faceta pouco conhecida do consagrado artista Di Cavalcanti, através de sua produção gráfica, anterior àviagem que empreende a Europa em 1923, momento em que abraça o cubismo e a temática nacionalista. Foi apresentado como dissertação de Mestrado em Sociologia pela Universidade de São Paulo (1999). 155 Páginas. 200 gr. Libro.
-
Pet chef
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 12,59
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
A descoberta de Cau?
Lingua: Portoghese
Editore: Amazon Digital Services LLC - Kdp, 2024
ISBN 10: 6554209093 ISBN 13: 9786554209090
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 34,67
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. Geraldo Junior (illustratore). New Book. Shipped from UK. Established seller since 2000.
-
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science, 14573)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,99
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Organ Transplantation and Native Peoples: An Interdisciplinary Approach (SpringerBriefs in Public Health)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 47,01
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,76
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis, Tunisia, November 20-24, 2006 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,76
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004; Receife, Brazil, November 23-December 5, 2004: Revised Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,17
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Organ Transplantation and Native Peoples : An Interdisciplinary Approach
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 47,00
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Pet chef
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 11,38
Spedizione EUR 3,79
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. 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.
-
A descoberta de Cau?
Lingua: Portoghese
Editore: Amazon Digital Services LLC - Kdp, 2024
ISBN 10: 6554209093 ISBN 13: 9786554209090
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 33,07
Spedizione EUR 3,79
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. Geraldo Junior (illustratore). New Book. Shipped from UK. Established seller since 2000.
-
Organ Transplantation and Native Peoples: An Interdisciplinary Approach
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,24
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Testing Techniques in Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642143342 ISBN 13: 9783642143342
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software quality. The summer school and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity and its state of the art. Theseproceedingsrecordthecontributionsfromtheinvitedlecturer s.Eachof thechaptersistheresultofathoroughrevisionoftheinitialnotesprovidedtothe participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves and with the schools attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to testing. Chapter 1 introduces the terminology adopted in this book. It also provides an overview of the testing process, and of the types (functional, structural, and so on)anddimensions(unit,integration,andsoon)ofthetestingactivity.Themain strategies employed in the central activity of test selection are also discussed. Most of the material presented in this introductory chapter is addressedin more depth in the following chapters. It also provides an overview of the testing process, and of the types (functional, structural, and so on)anddimensions(unit,integration,andsoon)ofthetestingactivity.Themain strategies employed in the central activity of test selection are also discussed. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theoretical Aspects of Computing (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642148077 ISBN 13: 9783642148071
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1-3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on "F- mal Aspects of Software Testing", and six on the "Grand Challenge in Veri?ed Software."ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit' e de Paris-Sud, and Jim Woodcock, from the University of York. Constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
The Practice of Formal Methods (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031666720 ISBN 13: 9783031666728
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University. Throughout his career, he has championed the essential role of formalism in design processes. His collaboration at IBM in the 1970s led to the creation of the Vienna Development Method (VDM), a seminal contribution that has influenced both practical industry applications and theoretical advancements. Cliff was the founding editor of the ACM journal Formal Aspects of Computing, a founder of the Formal Methods symposium, and he played a pivotal role in the IFIP Working Groups on Programming Methodology and Verified Software. His policy advocacy has been instrumental in fostering public discourse on the reliability of computing systems.The 30 contributions in this volume are a snapshot of the many current scientific developments inspired by or built upon Cliffs contributions. His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Organ Transplantation and Native Peoples : An Interdisciplinary Approach
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,59
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Organ Transplantation and Native Peoples: An Interdisciplinary Approach (SpringerBriefs in Public Health)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
