Andrzej Szałas – författare
Visar alla böcker från författaren Andrzej Szałas. Handla med fri frakt och snabb leverans.
12 produkter
Time & Logic
A Computational Approach
Av Leonard Bolc, Andrzej Szałas
Inbunden, 2020
2141 kr
Lägg i varukorg
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to …
Time & Logic
A Computational Approach
Av Leonard Bolc, Andrzej Szałas
Häftad, 2021
577 kr
Lägg i varukorg
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to …
Time & Logic
A Computational Approach
Av Andrzej Szalas, Leonard Bolc
E-bok, 2019
676 kr
Lägg i varukorg
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to …
Time & Logic
A Computational Approach
Av Andrzej Szalas, Leonard Bolc
E-bok, 2019
661 kr
Lägg i varukorg
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to …
Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Av Dov Gabbay, Renate A. Schmidt m. fl.
Häftad, 2008
302 kr
Lägg i varukorg
Knowledge Representation Techniques
A Rough Set Approach
Av Patrick Doherty, Witold Lukaszewicz m. fl.
Inbunden, 2006
2183 kr
Lägg i varukorg
1. 1 Background The basis for the material in this book centers around research done in an ongoing long-term project which focuses on the development of highly au- 1 tonomousunmannedaerialvehiclesystems. Theactualplatformwhichserves as a case study for the research in this book will be described in …
Knowledge Representation Techniques
A Rough Set Approach
Av Andrzej Szalas, Witold Lukaszewicz m. fl.
E-bok, 2007
2925 kr
Lägg i varukorg
1. 1 Background The basis for the material in this book centers around research done in an ongoing long-term project which focuses on the development of highly au- 1 tonomousunmannedaerialvehiclesystems. Theactualplatformwhichserves as a case study for the research in this book will be described in …
Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Av Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers …
Knowledge Representation Techniques
A Rough Set Approach
Av Patrick Doherty, Witold Lukaszewicz m. fl.
Häftad, 2010
2183 kr
Lägg i varukorg
1. 1 Background The basis for the material in this book centers around research done in an ongoing long-term project which focuses on the development of highly au- 1 tonomousunmannedaerialvehiclesystems. Theactualplatformwhichserves as a case study for the research in this book will be described in …
Relational Methods for Computer Science Applications
Av Ewa Orlowska, Andrzej Szalas
2012
686 kr
Lägg i varukorg
Relational Methods for Computer Science Applications
Av Ewa Orlowska, Andrzej Szalas
Häftad, 2012
567 kr
Lägg i varukorg
The origins of relational theories can be found in the work of three 19th cen- tury mathematicians: Augustus de Morgan (1864, On the syllogism IV and on the logic of relations), Charles Sanders Peirce (1882, Brief description of the algebra of relatives) and Ernst Schroder (1895, Vorlesungen iiber …
Relational Methods for Computer Science Applications
Av Andrzej Szalas, Ewa Orlowska
E-bok, 2013
755 kr
Lägg i varukorg
