Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio A Practical Theory of Reactive Systems Inglese 01.01.2014 Copertina rigida Fr. 70.00 6-7 settimane
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Inglese 28.02.2018 Copertina rigida Fr. 70.00 6-7 settimane
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 Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
William Farmer, William M Farmer, William M. Farmer - Simple Type Theory
William Farmer, William M Farmer, William M. Farmer Simple Type Theory Inglese 28.06.2025 Copertina rigida Fr. 104.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Shuichi Yukita - Category Theory Using Haskell
Shuichi Yukita Category Theory Using Haskell Inglese 14.11.2024 Copertina rigida Fr. 239.00 6-7 settimane
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 Inglese 17.05.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 10.05.2013 Tascabile Fr. 66.00 6-7 settimane
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger - Frontiers of Combining Systems
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger Frontiers of Combining Systems Inglese 30.11.2017 Tascabile Fr. 91.00 6-7 settimane
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 Inglese 30.11.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 30.09.2017 Tascabile Fr. 70.00 6-7 settimane
É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 Inglese 31.10.2019 Tascabile Fr. 70.00 6-7 settimane
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 Inglese 31.10.2019 Tascabile Fr. 110.00 6-7 settimane
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 Inglese 31.12.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.12.2017 Tascabile Fr. 70.00 6-7 settimane
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane