Munoz cesar a (18 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

XII, 148 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. HumanComputer Interaction Series. Sprache: Englisch. …

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20 23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas indeduction,formalspeci cation,softwareandhardwareveri cation,andother applications. Eachofthe34paperssubmittedinthefullresearchcategorywasrefereedby atleastthreereviewersfromtheprogramcommitteeorbyareviewerappointed bytheprogramcommittee. Ofthesesubmissions,20paperswereacceptedfor presentationattheconferenceandpublicationinthisvolume. Followingawell-establishedtraditioninthisconferenceseries,TPHOLs2002 alsoo eredavenueforthepresentationofworkinprogress. Fortheworkin progresstrack,shortintroductorytalksweregivenbyresearchers,followedby anopenpostersessionforfurtherdiscussion. Papersacceptedforpresentation inthistrackhavebeenpublishedasConferenceProceedingsCPNASA-2002- 211736. TheorganizerswouldliketothankRickyButlerandG erardHuetforgra- fullyacceptingourinvitationtogivetalksatTPHOLs2002. RickyButlerwas instrumentalintheformationoftheFormalMethodsprogramattheNASA LangleyResearchCenterandhasledthegroupsinceitsbeginnings. TheNASA LangleyFormalMethodsgroup,underRickyButler sguidance,hasfunded, beeninvolvedin,orin uencedmanyformalveri cationprojectsintheUSover morethantwodecades. In1998G erardHuetreceivedtheprestigiousHerbrand Awardforhisfundamentalcontributionstotermrewritingandtheoremproving inhigher-orderlogic,aswellasmanyotherkeycontributionstothe eldof- tomatedreasoning. HeistheoriginatoroftheCoqSystem,underdevelopment atINRIA-Rocquencourt. Dr. Huet scurrentmaininterestiscomputationall- guistics,howeverhisworkcontinuestoin uenceresearchersaroundtheworldin awidespectrumofareasintheoreticalcomputerscience,formalmethods,and softwareengineering. ThevenueoftheTPHOLsconferencetraditionallychangescontinenteach yearinordertomaximizethelikelihoodthatresearchersfromallovertheworld willattend. Startingin1993,theproceedingsofTPHOLsanditspredecessor workshopshavebeenpublishedinthefollowingvolumesoftheSpringer-Verlag LectureNotesinComputerScienceseries: 1993(Canada) 780 1998(Australia)1479 1994(Malta) 859 1999(France) 1690 1995(USA) 971 2000(USA) 1869 1996(Finland)1125 2001(UK) 2152 1997(USA) 1275 VI Preface The2002conferencewasorganizedbyateamfromNASALangleyResearch Center,theICASEInstituteatLangleyResearchCenter,andConcordiaU- versity. FinancialsupportcamefromIntelCorporation. Thesupportofallthese organizationsisgratefullyacknowledged. August2002 V ctorA. Carreno C esarA. Muno z VII Organization TPHOLs2002isorganizedbyNASALangleyandICASEincooperationwith ConcordiaUniversity. Organizing Committee ConferenceChair: V ctorA. Carren o(NASALangley) ProgramChair: C esarA. Muno z(ICASE,NASALaRC) So `eneTahar(ConcordiaUniversity) ProgramCommittee MarkAagaard(Waterloo) MichaelKohlhase(CMU&Saarland) DavidBasin(Freiburg) ThomasKropf(Bosch) V ctorCarren o(NASALangley) TomMelham(Glasgow) Shiu-KaiChin(Syracuse) JStrotherMoore(Texas,Austin) PaulCurzon(Middlesex) C esarMuno z(ICASE,NASALaRC) GillesDowek(INRIA) SamOwre(SRI) HaraldGanzinger(MPISaarbruc ken) ChristinePaulin-Mohring(INRIA) GaneshGopalakrishnan(Utah) LawrencePaulson(Cambridge) JimGrundy(Intel) FrankPfenning(CMU) ElsaGunter(NJIT) KlausSchneider(Karlsruhe) JohnHarrison(Intel) HennySipma(Stanford) DougHowe(Carleton) KonradSlind(Utah) BartJacobs(Nijmegen) DonSyme(Microsoft) PaulJackson(Edinburgh) So `eneTahar(Concordia) SaraKalvala(Warwick) WaiWong(HongKongBaptist) Additional Reviewers OtmaneAit-Mohamed AlfonsGeser HaraldRueß BehzadAkbarpour HanneGottliebsen LeonvanderTorre NancyDay MikeKishinevsky TomasUribe BenDiVito HansdeNivelle Jean-ChristopheFilli atre AndrewPitts Invited Speakers RickyButler(NASALangley) G erardHuet(INRIA) VIII Preface Sponsoring Institutions NASALangley ICASE ConcordiaUniversity INTEL Table of Contents Invited Talks FormalMethodsatNASALangley. . . . . . . . . …

Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings | Mauricio Ayala-Rincón (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2017 | Springer | EAN 9783319661063 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. NASA Formal Methods | 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xi | Englisch | 2018 | Springer | EAN 9783319779348 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.…

Taschenbuch. Zustand: Neu. NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030763831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Zustand: Brand New. 418 pages. 9.25x6.10x0.86 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the authors present an HCI principle-based approach to develop applications to assist children with disabilities. Design knowledge related to developing complex solution for this audience is explained from an interaction design point of view. Different methodologies, models and cases studies are covered with the aim of helping practitioners to adopt any of the proposed techniques presented in this book.HCI methodologies that adopt an agile strategy are presented, including novel techniques at different development steps, such as: board games, agile planning, agile implementation, method engineering. As this is a huge research field the authors do not just focus on a specific disability but test their methods in different contexts with excellent results.Readers of this book will find both a well-organized and structured set of methodologies and also material that has been tested and refined throughout years of research. Using detailed case studiesthe reader is guided towards specific solutions which will also provide insights into how to address related problems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the authors present an HCI principle-based approach to develop applications to assist children with disabilities. Design knowledge related to developing complex solution for this audience is explained from an interaction design point of view. Different methodologies, models and cases studies are covered with the aim of helping practitioners to adopt any of the proposed techniques presented in this book.HCI methodologies that adopt an agile strategy are presented, including novel techniques at different development steps, such as: board games, agile planning, agile implementation, method engineering. As this is a huge research field the authors do not just focus on a specific disability but test their methods in different contexts with excellent results.Readers of this book will find both a well-organized and structured set of methodologies and also material that has been tested and refined throughout years of research. Using detailed case studiesthe reader is guided towards specific solutions which will also provide insights into how to address related problems.…

Taschenbuch. Zustand: Neu. HCI for Children with Disabilities | Josefina Guerrero-Garcia (u. a.) | Taschenbuch | Human-Computer Interaction Series | xii | Englisch | 2018 | Springer | EAN 9783319857213 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: As New. Unread book in perfect condition.

Zustand: leido. Teatro. Ocho entremeses encuadernados en un solo volumen. Tela. 11x19. 1866; 1919; 1918; 1909; 1911; 1919; 1926; 1908. 193.

.- Salamanca. 1976. Universidad de Salamanca. 4º mayor. 1 tomo. 495 folios mecanografiados por una cara. Tela con hierros en lomera y plano anterior . Muy buen estado. . . Literatura Española.