Moura flavio (41 risultati)
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,57
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,99
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,06
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 55,37
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,53
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,65
EUR 3,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,33
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 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 54,76
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,66
EUR 17,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 59,75
EUR 17,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Editore: Boitempo, São Paulo, 2002
- Brossura
Da: Ventara SA, Montevideo, UruguayVentara SA
Contatta il venditoreVenditore con 2 stelleCondizione: Nuovo
EUR 39,82
EUR 10,32 spedizioneSpedito da Uruguay a U.S.A.Quantità: 1 disponibili
Tapa Blanda. Condizione: New. Traça a trajetória do cantor e compositor, através da sua história familiar, da sua passagem pelo rádio, circo, cinema etelevisão, e destaca a inspiração dos seus sambas na cidadede São Paulo. 163 Páginas. 210 gr. Libro.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,87
EUR 11,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 168 pages. 9.00x6.00x0.50 inches. In Stock.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,53
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,33
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,96
EUR 75,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1st ed. 2017. This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for compute…r scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS. Applied Logic for Computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies.
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,09
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,11
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,53
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,53
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,65
EUR 3,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,65
EUR 3,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,33
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,33
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Manual: Laboratório Regional de Prótese Dentária no SUS
João Carlos Bordin|Caren Serra Bavaresco|Flávio Renato Reis de Moura
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,25
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,45
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New.
Editore: Cosac & Naify 0, 2009
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 198,99
EUR 29,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 38,65
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Portugiesisch | Produktart: Bücher | Muito se tem discutido sobre o comportamento das respostas fisiológicas agudas no exercício resistido (ER). Mediante este cenário, o presente Trabalho foi realizado com o intuito de contribuir com informações referente ao comportamento destas… variáveis (frequência cardíaca, pressão arterial, duplo produto e percepção subjetiva do esforço) no exercício resistido em jovens universitários. Devido a seriedade durante o processo de coleta de dados, apresento-me de forma tranquila para apresentar tais resultados, os quais foram devidamente avaliados e tratados. Sabedor que este trabalho, não responderá todas as questões relativas as variáveis investigadas, saliento a importância de outras investigações com diferentes metodologias e instrumentos, almejando encontrar respostas para estas variáveis e com isso, darmos um pequeno passo na construção do saber.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 39,81
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Portugiesisch | Produktart: Bücher | Muito se tem discutido sobre o comportamento das respostas fisiológicas agudas no exercício resistido (ER). Mediante este cenário, o presente Trabalho foi realizado com o intuito de contribuir com informações referente ao comportament…o destas variáveis (frequência cardíaca, pressão arterial, duplo produto e percepção subjetiva do esforço) no exercício resistido em jovens universitários. Devido a seriedade durante o processo de coleta de dados, apresento-me de forma tranquila para apresentar tais resultados, os quais foram devidamente avaliados e tratados. Sabedor que este trabalho, não responderá todas as questões relativas as variáveis investigadas, saliento a importância de outras investigações com diferentes metodologias e instrumentos, almejando encontrar respostas para estas variáveis e com isso, darmos um pequeno passo na construção do saber.
Direito da Infraestrutura - Aspectos Financeiros e Administrativos - 1ª Ed - 2025
Santos de Aragão, Alexandre; Fuezi de Moura Barbosa, Allan; Castro Carvalho, André; Rosilho, André; Ambrósio, Artur; Teixeira, Bárbara; Queiroz Ceretta, Bruno José; do Rosario Nicolino, Caio; Caminha de Albuquerque, Caio Felipe; Sundfeld, Carlos Ari; Barbosa Rios, Carolina; Rhemann Dias Ferreira, Cinthia; Quinito, Daniel Francisco; Santos de Novaes, Deborah Priscilla; Gonçales Liberal, Edilson; Silva Ferreira Júnior, Ednaldo; Bockmann Moreira, Egon; Wiermann, Elinton; Cesari Costa, Enrico; Franco Polizel, Enzo; Pietro, Estevan; Horvath, Estevão; Vetritti Filho, Fábio Vicente; Tercetti Nunes Pereira, Fernanda; Bernardi Gallacci, Fernando; Garcia Cabral, Flávio; Quinito, Formosa Francisco; Corona Rodrigues Lima, Guilherme; F.onseca Nogueirão,
- Brossura
- Prima edizione
Da: Livraria Ingá, Niterói, RJ, BrasileLivraria Ingá
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 376,92
EUR 24,97 spedizioneSpedito da Brasile a U.S.A.Quantità: 1 disponibili
paperback. Sobre a obra Direito da Infraestrutura - Aspectos Financeiros e Administrativos - 1ª Ed - 2025 A coletânea "Direito da Infraestrutura: aspectos financeiros e administrativos" aborda a infraestrutura não apenas como um recurso físico, mas como um meio crucial para o exercício de direitos fundamentais e para a operação…eficiente do Estado e do mercado. Os organizadores destacam que a infraestrutura é instrumental, servindo como base para o cumprimento de direitos como locomoção, saúde e lazer, além de ser vital para a execução de serviços públicos adequados. O livro é dividido em seções que discutem desde o planejamento e as políticas públicas até os desafios relacionados a investimentos e contratos na área de infraestrutura. A obra também se concentra em temas contemporâneos, como saneamento básico, energia, logística e infraestruturas verdes, refletindo sobre as desigualdades sociais e os desafios ambientais atuais. Além disso, a coletânea é fruto de um esforço colaborativo entre acadêmicos e especialistas que participaram do curso "Direito da Infraestrutura", promovendo debates significativos e pesquisas interdisciplinares. O objetivo é compartilhar essas reflexões com a comunidade jurídica, enfatizando a necessidade de um aprofundamento contínuo sobre o tema. Por fim, a obra não se propõe a esgotar o assunto, mas sim a fomentar novas discussões e pesquisas sobre a infraestrutura, reconhecendo sua importância crescente em um mundo globalizado onde os fluxos sociais e econômicos são cada vez mais interconectados.
Lingua: Inglese
Editore: Springer International Publishing Feb 2017, 2017
Serie: Libro 50 di 99 - Undergraduate Topics in Computer Science
- 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 48,14
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 provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such… as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS. Applied Logic for Computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies. 168 pp. Englisch.
