SULJE VALIKKO

avaa valikko

José Oliveira (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 33 tuotetta
Haluatko tarkentaa hakukriteerejä?



FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, German
Jose N. Oliveira (ed.); Pamela Zave (ed.)
Springer (2001)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Resilience and Risk : Methods and Application in Environment, Cyber and Social Domains
Igor Linkov (ed.); José Manuel Palma-Oliveira (ed.)
Springer (2017)
Kovakantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Resilience and Risk : Methods and Application in Environment, Cyber and Social Domains
Igor Linkov (ed.); José Manuel Palma-Oliveira (ed.)
Springer (2017)
Pehmeäkantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mainstreaming Climate Co-Benefits in Indian Cities : Post-Habitat III Innovations and Reforms
Mahendra Sethi (ed.); Jose A. Puppim de Oliveira (ed.)
Springer (2018)
Kovakantinen kirja
112,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Operational Research : IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013
João Paulo Almeida (ed.); José Fernando Oliveira (ed.); Alberto Adrego Pinto (ed.)
Springer (2016)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Operational Research : IO2017, Valença, Portugal, June 28-30
A. Ismael F. Vaz (ed.); João Paulo Almeida (ed.); José Fernando Oliveira (ed.); Alberto Adrego Pinto (ed.)
Springer (2018)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Geology of Iberia: A Geodynamic Approach : Volume 2: The Variscan Cycle
Cecilio Quesada (ed.); José Tomás Oliveira (ed.)
Springer (2019)
Kovakantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Geology of Iberia: A Geodynamic Approach : Volume 1: General Introduction and Cadomian Cycle
J. Javier Álvaro (ed.); Cecilio Quesada (ed.); José Tomás Oliveira (ed.)
Springer (2025)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Geology of Iberia: A Geodynamic Approach : Volume 5: Active Processes: Seismicity, Active Faulting and Relief
Cecilio Quesada (ed.); José Tomás Oliveira (ed.)
Springer (2019)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Geology of Iberia: A Geodynamic Approach : Volume 4: Cenozoic Basins
Cecilio Quesada (ed.); José Tomás Oliveira (ed.)
Springer (2019)
Kovakantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Operational Research : IO 2018, Aveiro, Portugal, September 5-7
Maria João Alves (ed.); João Paulo Almeida (ed.); José Fernando Oliveira (ed.); Alberto Adrego Pinto (ed.)
Springer (2019)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Geology of Iberia: A Geodynamic Approach : Volume 3: The Alpine Cycle
Cecilio Quesada (ed.); José Tomás Oliveira (ed.)
Springer (2019)
Kovakantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Operational Research : IO2017, Valença, Portugal, June 28-30
A. Ismael F. Vaz (ed.); João Paulo Almeida (ed.); José Fernando Oliveira (ed.); Alberto Adrego Pinto (ed.)
Springer (2019)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mainstreaming Climate Co-Benefits in Indian Cities : Post-Habitat III Innovations and Reforms
Mahendra Sethi (ed.); Jose A. Puppim de Oliveira (ed.)
Springer (2018)
Pehmeäkantinen kirja
112,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
International Development Assistance and the BRICS
Jose A. Puppim de Oliveira (ed.); Yijia Jing (ed.)
Palgrave Macmillan (2019)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
International Development Assistance and the BRICS
Jose A. Puppim de Oliveira (ed.); Yijia Jing (ed.)
Palgrave Macmillan (2020)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016
Theodor Borangiu (ed.); Damien Trentesaux (ed.); André Thomas (ed.); Paulo Leitão (ed.); José Barata Oliveira (ed.)
Springer (2018)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Essential Aspects of Immunometabolism in Health and Disease
Niels Olsen Saraiva Camara (ed.); Jose C Alves-Filho (ed.); Pedro Manoel Mendes de Moraes-Vieira (ed.); Vin Andrade-Oliveira
Springer (2021)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Operational Research : IO 2019, Tomar, Portugal, July 22–24
Susana Relvas (ed.); João Paulo Almeida (ed.); José Fernando Oliveira (ed.); Alberto Adrego Pinto (ed.)
Springer (2021)
Kovakantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Structural Mechanics and Applications : Proceedings of ASMA-2021 (Volume 3)
José António Fonseca de Oliveira Correia (ed.); Satyabrata Choudhury (ed.); Subhrajit Dutta (ed.)
Springer (2022)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, German
97,90 €
Springer
Sivumäärä: 634 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 28.02.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2021
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germanzoom
Näytä kaikki tuotetiedot
ISBN:
9783540417910
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste