Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Gura Bezhanishvili, Guram Bezhanishvili - Leo Esakia on Duality in Modal and Intuitionistic Logics
Gura Bezhanishvili, Guram Bezhanishvili Leo Esakia on Duality in Modal and Intuitionistic Logics Englisch 01.01.2016 Taschenbuch Fr. 169.00 6-7 Wochen
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea - AI*IA 2016 Advances in Artificial Intelligence; .
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea AI*IA 2016 Advances in Artificial Intelligence; . Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth - Combinatorial Algorithms
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth Combinatorial Algorithms Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 110.00 6-7 Wochen
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures Englisch 31.12.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Englisch 01.01.2018 Taschenbuch Fr. 124.00 6-7 Wochen
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Englisch 30.11.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem - Readings in Formal Epistemology
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem Readings in Formal Epistemology Englisch 01.01.2018 Taschenbuch Fr. 124.00 6-7 Wochen
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... - Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... - Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations Englisch 01.01.2018 Taschenbuch Fr. 147.00 6-7 Wochen
Bernadette Bouchon-Meunier, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego, Manuel Ojeda-Aciego, Irina Perfilieva... - Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
Bernadette Bouchon-Meunier, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego, Manuel Ojeda-Aciego, Irina Perfilieva... Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Francesco Bellucci, Peter Chapman, Amirouche Moktefi, Amirouche Moktefi et al, Sarah Perez-Kriz, Ge Stapleton... - Diagrammatic Representation and Inference
Francesco Bellucci, Peter Chapman, Amirouche Moktefi, Amirouche Moktefi et al, Sarah Perez-Kriz, Ge Stapleton... Diagrammatic Representation and Inference Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan - Machines, Computations, and Universality
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan Machines, Computations, and Universality Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Jan Baetens, Jan M. Baetens, Kutrib, Kutrib, Martin Kutrib, Ja M Baetens... - Cellular Automata and Discrete Complex Systems
Jan Baetens, Jan M. Baetens, Kutrib, Kutrib, Martin Kutrib, Ja M Baetens... Cellular Automata and Discrete Complex Systems Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Christophe Jermann, Arnold Neumaier, Djamila Sam - Global Optimization and Constraint Satisfaction
Christophe Jermann, Arnold Neumaier, Djamila Sam Global Optimization and Constraint Satisfaction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science Englisch 01.01.2018 Fester Einband Fr. 179.00 6-7 Wochen