Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Anglais 01.01.2018 Livre de poche Fr. 124.00 6-7 semaines
Annie Foret, Gre Kobele, Greg Kobele, Sylvain Pogodalla - Formal Grammar 2018
Annie Foret, Gre Kobele, Greg Kobele, Sylvain Pogodalla Formal Grammar 2018 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli - Multi-Agent Systems and Agreement Technologies
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli Multi-Agent Systems and Agreement Technologies Anglais 31.12.2018 Livre de poche Fr. 70.00 6-7 semaines
Mehwish Alam, Aldo Gangemi, Pascal Hitzler, Laura Hollink, Robert Navigli, Roberto Navigli... - The Semantic Web
Mehwish Alam, Aldo Gangemi, Pascal Hitzler, Laura Hollink, Robert Navigli, Roberto Navigli... The Semantic Web Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 147.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre Relié Fr. 179.00 6-7 semaines
Hendrik Drachsler, Henrik Drachsler, Hendrik Drachsler et al, Raymond Elferink, Viktoria Pammer-Schindler, Ma Pérez-Sanagustín... - Lifelong Technology-Enhanced Learning
Hendrik Drachsler, Henrik Drachsler, Hendrik Drachsler et al, Raymond Elferink, Viktoria Pammer-Schindler, Ma Pérez-Sanagustín... Lifelong Technology-Enhanced Learning Anglais 01.01.2018 Livre de poche Fr. 124.00 6-7 semaines
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki - Developments in Language Theory
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki Developments in Language Theory Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Abdelkader Hameurlain, Abdelkader Hameurlain et al, Sven Hartmann, Hu Ma, Hui Ma, Günther Pernul... - Database and Expert Systems Applications
Abdelkader Hameurlain, Abdelkader Hameurlain et al, Sven Hartmann, Hu Ma, Hui Ma, Günther Pernul... Database and Expert Systems Applications Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Claudia d¿Amato, Claudia d’Amato, Claudia dAmato, Claudi d'Amato, Claudia d'Amato, Theobald... - Reasoning Web. Learning, Uncertainty, Streaming, and Scalability
Claudia d¿Amato, Claudia d’Amato, Claudia dAmato, Claudi d'Amato, Claudia d'Amato, Theobald... Reasoning Web. Learning, Uncertainty, Streaming, and Scalability Anglais 31.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Anglais 30.11.2018 Livre de poche Fr. 70.00 6-7 semaines
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Anglais 31.12.2018 Livre de poche Fr. 82.00 6-7 semaines
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... - Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks Anglais 28.02.2019 Livre de poche Fr. 107.00 6-7 semaines
Andrea Iacona - Logical Form
Andrea Iacona Logical Form Anglais 01.01.2019 Livre de poche Fr. 124.00 6-7 semaines