KIRJAUDU

ostoskori

avaa valikko

Simão | Akateeminen Kirjakauppa

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

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 14TH BRAZILIAN SYMPOSIUM, SBMF 2011, SAO PAULO, SEPTEMBER 26-30 2011, PROCEEDINGS

Tekijä: Adenilso Simao; Carroll Morgan
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

EXPLORING PSYCHEDELIC TRANCE AND ELECTRONIC DANCE MUSIC IN MODERN CULTURE

Tekijä: Emilia Simão; Armando Malheiro de Silva; Sérgio Tenreiro de Magalhães
Kustantaja: Idea Group,U.S. (2015)
Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa

EUR 206,30

NAQUELA ILHA : TODOS SOMOS PEDAÇOS DE UM AMOR MAIOR

Tekijä: Ana Simão
Kustantaja: Marcador (2016)
Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa

EUR 17,40

THE EU’S NEIGHBOURHOOD POLICY TOWARDS THE SOUTH CAUCASUS : EXPANDING THE EUROPEAN SECURITY COMMUNITY

Tekijä: Simão; Licínia
Kustantaja: Palgrave Macmillan (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 126,80

TRENDS, EXPERIENCES, AND PERSPECTIVES IN IMMERSIVE MULTIMEDIA AND AUGMENTED REALITY

Tekijä: Emília Simão; Célia Soares
Kustantaja: IGI Global (2018)
Saatavuus: Noin 12-15 arkipäivää

EUR 206,30

THE EU’S NEIGHBOURHOOD POLICY TOWARDS THE SOUTH CAUCASUS : EXPANDING THE EUROPEAN SECURITY COMMUNITY

Tekijä: Simão; Licínia
Kustantaja: Palgrave Macmillan (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 126,80

O MULTILATERALISMO: CONCEITOS E PRÁTICAS NO SÉCULO XXI

Tekijä: Licínia Simão; Sandra Fernandes
Kustantaja: Beall Research (2019)
Saatavuus: Noin 5-8 arkipäivää

EUR 32,30

DIALOGICAL ESSAYS : FROM DIFFERENCE TO SHARING IN I-OTHER RELATIONSHIPS

Tekijä: Simão; Lívia Mathias
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 126,80

ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA-SBIA 2006 : 2ND INTERNATIONAL JOINT CONFERENCE, 10TH IBERO-AMERICAN CONFERENCE ON

Tekijä: Jaime Simao Sichman (ed.); Helder Coelho (ed.); Solange Oliveira Rezende (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III : COIN 2007 INTERNATIONAL WORKSHOPS COIN@AAMAS 2007, H

Tekijä: Jaime Simão Sichman (ed.); Julian Padget (ed.); Sascha Ossowski (ed.); Pablo Noriega (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

MULTI-AGENT-BASED SIMULATION IX : INTERNATIONAL WORKSHOP, MABS 2008, ESTORIL, PORTUGAL, MAY 12-13, 2008, REVISED SELECTED PAPERS

Tekijä: Nuno David (ed.); Jaime Simao Sichman (ed.)
Kustantaja: Springer (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

WHERE ARE YOU GOING AMERICA?

Tekijä: Al Simao
Kustantaja: Xlibris (2009)
Saatavuus: Noin 5-8 arkipäivää

EUR 24,50

HISTORIA DA GUERRA CIVIL E DO ESTABELE CIMENTO DO GOVERNO PARLAMENTAR EM PORTUGAL COMPREHEDENDO A HISTORIA DIPLOMATICS, MILITAR

Tekijä: Simo Jos Luz Da Soriano; Simao Jose Luz Da Soriano
Kustantaja: Nabu Press (2010)
Saatavuus: Noin 5-8 arkipäivää

EUR 44,70

HISTORIA DA GUERRA CIVIL E DO ESTABELECIMENTO DO GOVERNO PARLAMENTAR EM PORTUGAL, VOLUME 2

Tekijä: Da Soriano; Simao Jose Luz
Kustantaja: Nabu Press (2010)
Saatavuus: Ei tiedossa

EUR 90,40

HISTORIA DA GUERRA CIVIL E DO ESTABELECIMENTO DO GOVERNO PAR

Tekijä: Da Soriano; Simao Jose Luz
Kustantaja: BERTRAMS PRINT ON DEMAND (2010)
Saatavuus: Noin 5-8 arkipäivää

EUR 37,30

RIGOROUS SOFTWARE DEVELOPMENT - AN INTRODUCTION TO PROGRAM VERIFICATION

Tekijä: José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa
Kustantaja: Springer London Ltd (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 35,10

TESTING SOFTWARE AND SYSTEMS - 22ND IFIP WG 6.1 INTERNATIONAL CONFERENCE, ICTSS 2010, NATAL, BRAZIL, NOVEMBER 8-10, 2010, PROCEE

Tekijä: Alexandre Petrenko; Adenilso Simao; José Carlos Maldonado
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 13TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS, SBMF 2010, NATAL, BRAZIL, NOVEMBER 8-

Tekijä: Jim Davies; Leila Silva; Adenilso Simao
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

MULTI-AGENT-BASED SIMULATION XII : INTERNATIONAL WORKSHOP, MABS 2011, TAIPEI, TAIWAN, MAY 2-6, 2011, REVISED SELECTED PAPERS

Tekijä: Daniel Villatoro (ed.); Jordi Sabater-Mir (ed.); Jaime Simao Sichman (ed.)
Kustantaja: Springer (2012)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

COORDINATION, ORGANIZATIONS, INTITUTIONS, AND NORMS IN AGENT SYSTEMS VIII - COIN 2012 INTERNATIONAL WORKSHOPS, COIN@AAMAS VALENC

Tekijä: Jaime Simao Sichman; Huib Aldewereld
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

Hae lisää...

Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Adenilso Simao, Carroll Morgan

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 205 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011
Julkaisuvuosi: 2011, 28.10.2011 (lisätietoa)
Kieli: Englanti

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus