Rakuten Kobo

Skip side bar filters

The Portuguese Subjunctive

A Grammar Workbook

by Luís Gomes, Maria Madalena Gonçalves ...

The Portuguese Subjunctive: A Grammar Workbook is the first book devoted exclusively to understanding and mastering this challenging area of Portuguese grammar.The clear structure guides students through the six subjunctive tenses, providing them with concise and accurate explanations accompanied by a range of exercises to test and consolidate learning. Each chapter is designed to help students ... Read more

$60.99 USD

The Portuguese Subjunctive: A Grammar Workbook is the first book devoted exclusively to understanding and mastering this challenging area of Portuguese grammar.The clear structure guides students through the six subjunctive tenses, providing them with concise and accurate explanations accompanied by a range of exercises to test and consolidate learning. Each chapter is designed to help students
... Read more
Distributed Embedded Controller Development with Petri Nets

Application to Globally-Asynchronous Locally-Synchronous Systems

by Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes ...

Series series Engineering (R0)
This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous ... Read more

$49.49 USD

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous
... Read more
Quadrature RC−Oscillators

The van der Pol Approach

by João Carlos Ferreira de Almeida Casaleiro, Luís Augusto Bica Gomes Oliveira, Igor M. Filanovsky ...

Series series Analog Circuits and Signal Processing
This book presents a tutorial review of van der Pol model, a universal oscillator model for the analysis of modern RC−oscillators in weak and strong nonlinear regimes. A detailed analysis of the injection locking in van der Pol oscillators is also presented. The relation between the van der Pol parameters and several circuit implementations in CMOS nanotechnology is given, showing that this theory ... Read more

$116.09 USD

This book presents a tutorial review of van der Pol model, a universal oscillator model for the analysis of modern RC−oscillators in weak and strong nonlinear regimes. A detailed analysis of the injection locking in van der Pol oscillators is also presented. The relation between the van der Pol parameters and several circuit implementations in CMOS nanotechnology is given, showing that this theory
... Read more
Education and the Politics of Interruption

Does the Right Always Win?

Edited by Michael W. Apple, Iana Gomes De Lima, Luis Armando Gandin ...

Education has become a crucial site of struggle in multiple nations of the world. Education and the Politics of Interruption examines how governments, schools, educators, communities, and parents have become central figures in the conflicts between authoritarian coalitions and progressive educational and social movements. In recent years, educators around the world have experienced increasingly ... Read more

$64.99 USD

Education has become a crucial site of struggle in multiple nations of the world. Education and the Politics of Interruption examines how governments, schools, educators, communities, and parents have become central figures in the conflicts between authoritarian coalitions and progressive educational and social movements. In recent years, educators around the world have experienced increasingly
... Read more
Application and Theory of Petri Nets and Concurrency

44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

Edited by Luis Gomes, Robert Lorenz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; ... Read more

$80.99 USD

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification;
... Read more
Marketing and Smart Technologies

Proceedings of ICMarkTech 2024, Volume 1

Edited by José Luís Reis, Luís Mendes Gomes, Zorica Bogdanović, José Paulo Marques dos Santos ...

Series series Springer Nature Proceedings excluding Computer Science
This book includes selected papers presented at the International Conference on Marketing and Technologies (ICMarkTech 2024), held at University of Azores, Ponta Delgada, Azores, Portugal, between December 5 and 7, 2024. It covers up-to-date cutting-edge research on artificial intelligence applied in marketing, virtual and augmented reality in marketing, business intelligence databases and ... Read more

$269.09 USD

This book includes selected papers presented at the International Conference on Marketing and Technologies (ICMarkTech 2024), held at University of Azores, Ponta Delgada, Azores, Portugal, between December 5 and 7, 2024. It covers up-to-date cutting-edge research on artificial intelligence applied in marketing, virtual and augmented reality in marketing, business intelligence databases and
... Read more
Time, Science and the Critique of Technological Reason

Essays in Honour of Hermínio Martins

Edited by José Esteban Castro, Bridget Fowler, Luís Gomes ...

Series series Social Sciences (R0)
This festschrift commemorates the legacy of UK-based Portuguese sociologist Hermínio Martins (1934-2015). It introduces Martins’ wide-ranging contributions to the social sciences, encompassing seminal works in the fields of philosophy and social theory, historical and political sociology, studies of science and technology, and Luso-Brazilian studies, among others. The book features an in-depth ... Read more

$89.09 USD

This festschrift commemorates the legacy of UK-based Portuguese sociologist Hermínio Martins (1934-2015). It introduces Martins’ wide-ranging contributions to the social sciences, encompassing seminal works in the fields of philosophy and social theory, historical and political sociology, studies of science and technology, and Luso-Brazilian studies, among others. The book features an in-depth
... Read more
CONTROLO 2022

Proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, July 6-8, 2022, Caparica, Portugal

Edited by Luís Brito Palma, Rui Neves-Silva, Luís Gomes ...

Series series Springer Nature Proceedings excluding Computer Science
This book offers a timely and comprehensive snapshot of research and developments in the fields of dynamic systems and control engineering. Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such as PID control, adaptive control, nonlinear systems and control, intelligent monitoring and control based on fuzzy and neural ... Read more

$395.09 USD

This book offers a timely and comprehensive snapshot of research and developments in the fields of dynamic systems and control engineering. Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such as PID control, adaptive control, nonlinear systems and control, intelligent monitoring and control based on fuzzy and neural
... Read more

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
Information and Communication Technologies in Tourism 2024

ENTER 2024 International eTourism Conference, Izmir, Türkiye, January 17-19

Edited by Katerina Berezina, Lyndon Nixon, Aarni Tuomi ...

Series series Springer Nature Proceedings excluding Computer Science
For more than 30 years, Information and Communication Technology (ICT) has been revolutionizing travel, tourism, and hospitality, and as we look to the next 30 years, the change of pace does not seem to be diminishing. This open-access book provides an extensive overview of the latest developments of ICTs in the tourism and hospitality industry. Featuring papers presented at the International ... Read more

Free

For more than 30 years, Information and Communication Technology (ICT) has been revolutionizing travel, tourism, and hospitality, and as we look to the next 30 years, the change of pace does not seem to be diminishing. This open-access book provides an extensive overview of the latest developments of ICTs in the tourism and hospitality industry. Featuring papers presented at the International
... Read more
Local Histories/Global Designs

Coloniality, Subaltern Knowledges, and Border Thinking

by Walter D. Mignolo ...

Series series Princeton Studies in Culture/Power/History
Local Histories/Global Designs is an extended argument about the "coloniality" of power by one of the most innovative Latin American and Latino scholars. In a shrinking world where sharp dichotomies, such as East/West and developing/developed, blur and shift, Walter Mignolo points to the inadequacy of current practices in the social sciences and area studies. He explores the crucial notion of ... Read more

$29.59 USD

Local Histories/Global Designs is an extended argument about the "coloniality" of power by one of the most innovative Latin American and Latino scholars. In a shrinking world where sharp dichotomies, such as East/West and developing/developed, blur and shift, Walter Mignolo points to the inadequacy of current practices in the social sciences and area studies. He explores the crucial notion of
... Read more
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Engineering (R0)

Social Sciences (R0)

Springer Nature Proceedings excluding Computer Science

Springer Nature Proceedings Computer Science

Analog Circuits and Signal Processing

Springer Nature Proceedings excluding Computer Science

The Portuguese Subjunctive

Distributed Embedded Controller Development with Petri Nets

Quadrature RC−Oscillators

Education and the Politics of Interruption

Application and Theory of Petri Nets and Concurrency

Marketing and Smart Technologies

Time, Science and the Critique of Technological Reason

CONTROLO 2022

People who read these also enjoyed

Computer Aided Verification

Information and Communication Technologies in Tourism 2024

Local Histories/Global Designs

Computer Aided Verification

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Engineering (R0)

Social Sciences (R0)

Springer Nature Proceedings excluding Computer Science

Springer Nature Proceedings Computer Science

Analog Circuits and Signal Processing

Springer Nature Proceedings excluding Computer Science

Show:

People who read these also enjoyed