Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Anglais 28.02.2018 Livre Relié Fr. 70.00 6-7 semaines
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... - Foundations of Security, Protocols, and Equational Reasoning
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... Foundations of Security, Protocols, and Equational Reasoning Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... - Developments in Language Theory
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... Developments in Language Theory Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit - Descriptional Complexity of Formal Systems
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit Descriptional Complexity of Formal Systems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Shuichi Yukita - Category Theory Using Haskell
Shuichi Yukita Category Theory Using Haskell Anglais 14.11.2024 Livre Relié Fr. 239.00 6-7 semaines
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... - SDL 2013: Model Driven Dependability Engineering
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... SDL 2013: Model Driven Dependability Engineering Anglais 17.05.2013 Livre de poche Fr. 70.00 6-7 semaines
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel - Theory and Practice of Model Transformations
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel Theory and Practice of Model Transformations Anglais 10.05.2013 Livre de poche Fr. 65.00 6-7 semaines
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger - Frontiers of Combining Systems
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger Frontiers of Combining Systems Anglais 30.11.2017 Livre de poche Fr. 90.00 6-7 semaines
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security Anglais 30.11.2017 Livre de poche Fr. 70.00 6-7 semaines
Roberto Battiti, Yaroslav D Sergeyev, Dmitr E Kvasov, Dmitri E Kvasov, Dmitri E. Kvasov, Yaroslav D. Sergeyev - Learning and Intelligent Optimization
Roberto Battiti, Yaroslav D Sergeyev, Dmitr E Kvasov, Dmitri E Kvasov, Dmitri E. Kvasov, Yaroslav D. Sergeyev Learning and Intelligent Optimization Anglais 31.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa - Implementation and Application of Automata
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa Implementation and Application of Automata Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Frédéric Cuppens, Frédéric Cuppens et al, Nora Cuppens-Boulahia, Sokratis Katsikas, Costa Lambrinoudakis, Costas Lambrinoudakis - Security of Industrial Control Systems and Cyber-Physical Systems
Frédéric Cuppens, Frédéric Cuppens et al, Nora Cuppens-Boulahia, Sokratis Katsikas, Costa Lambrinoudakis, Costas Lambrinoudakis Security of Industrial Control Systems and Cyber-Physical Systems Anglais 30.09.2017 Livre de poche Fr. 70.00 6-7 semaines
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga - Formal Modeling and Analysis of Timed Systems
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga Formal Modeling and Analysis of Timed Systems Anglais 31.10.2019 Livre de poche Fr. 70.00 6-7 semaines
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 Anglais 31.10.2019 Livre de poche Fr. 110.00 6-7 semaines
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... - Theory and Applications of Models of Computation
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... Theory and Applications of Models of Computation Anglais 31.12.2017 Livre de poche Fr. 70.00 6-7 semaines
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong - Formal Methods and Software Engineering
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong Formal Methods and Software Engineering Anglais 31.12.2017 Livre de poche Fr. 70.00 6-7 semaines
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming Anglais 30.11.2018 Livre de poche Fr. 70.00 6-7 semaines
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill Hardware and Software: Verification and Testing Anglais 31.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Jaime Caro, Jaime Caro et al, Shin-Ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez - Theory and Practice of Computation
Jaime Caro, Jaime Caro et al, Shin-Ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez Theory and Practice of Computation Anglais 11.04.2013 Livre de poche Fr. 130.00 6-7 semaines