Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Janis Brinkmann - Journalismus
Janis Brinkmann Journalismus Tedesco 01.10.2024 Tascabile Fr. 37.90 1-3 giorni lavorativi
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Inglese 20.03.2002 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages Inglese 05.04.2005 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems Inglese 12.09.2005 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Inglese 20.05.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Inglese 24.06.2005 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
H. K. Berg, H.K. Berg, W. K. Giloi, W.K. Giloi, K Berg, H K Berg... - The Use of Formal Specification of Software
H. K. Berg, H.K. Berg, W. K. Giloi, W.K. Giloi, K Berg, H K Berg... The Use of Formal Specification of Software Inglese 16.11.2012 Tascabile Fr. 135.00 6-7 settimane
R E Fairley, R. E. Fairley, R.E. Fairley, Richard E. Fairley, W Riddle, W E Riddle... - Software Development Tools
R E Fairley, R. E. Fairley, R.E. Fairley, Richard E. Fairley, W Riddle, W E Riddle... Software Development Tools Inglese 16.11.2012 Tascabile Fr. 70.00 6-7 settimane
Khurshi Ahmad, Khurshid Ahmad, Marianne Kugler, Gregor Thurmair - Translator's Workbench
Khurshi Ahmad, Khurshid Ahmad, Marianne Kugler, Gregor Thurmair Translator's Workbench Inglese 01.01.1995 Tascabile Fr. 70.00 6-7 settimane
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... - Applications of Neural Networks in High Assurance Systems
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... Applications of Neural Networks in High Assurance Systems Inglese 11.05.2012 Tascabile Fr. 189.00 6-7 settimane
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas - Relational Methods for Computer Science Applications
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas Relational Methods for Computer Science Applications Inglese 25.07.2013 Tascabile Fr. 70.00 6-7 settimane
Ian Ricketts - Managing Your Software Project
Ian Ricketts Managing Your Software Project Inglese 01.01.1997 Tascabile Fr. 70.00 6-7 settimane
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... - Domain Decomposition Methods in Science and Engineering XVII
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... Domain Decomposition Methods in Science and Engineering XVII Inglese 14.04.2009 Tascabile Fr. 189.00 6-7 settimane
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... - Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems Inglese 14.01.2005 Copertina rigida Fr. 239.00 6-7 settimane
Ra Earnshaw, Rae Earnshaw, Vince, Vince, John Vince - Digital Content Creation
Ra Earnshaw, Rae Earnshaw, Vince, Vince, John Vince Digital Content Creation Inglese 01.01.2012 Tascabile Fr. 189.00 6-7 settimane
Sandip Ray - Scalable Techniques for Formal Verification
Sandip Ray Scalable Techniques for Formal Verification Inglese 01.01.2014 Tascabile Fr. 149.00 6-7 settimane
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks - Specification and Verification of Multi-agent Systems
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks Specification and Verification of Multi-agent Systems Inglese 01.01.2014 Tascabile Fr. 189.00 6-7 settimane
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation Inglese 01.01.2015 Tascabile Fr. 68.00 6-7 settimane
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems Inglese 01.01.2018 Copertina rigida Fr. 70.00 6-7 settimane
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters - Principles of Security and Trust
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters Principles of Security and Trust Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane