Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

K. Denecke, M. Erne, S. L. Wismath, K. Denecke, Klaus Denecke, M. Erne... - Galois Connections and Applications
K. Denecke, M. Erne, S. L. Wismath, K. Denecke, Klaus Denecke, M. Erne... Galois Connections and Applications Inglese 22.04.2005 Copertina rigida Fr. 169.00 6-7 settimane
Sandeep Koranne - Handbook of Open Source Tools
Sandeep Koranne Handbook of Open Source Tools Inglese 01.01.2010 Tascabile Fr. 179.00 6-7 settimane
Ralf Karrenberg - Automatic SIMD Vectorization of SSA-based Control Flow Graphs
Ralf Karrenberg Automatic SIMD Vectorization of SSA-based Control Flow Graphs Inglese 31.07.2015 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology Inglese 01.01.2015 Copertina rigida Fr. 70.00 6-7 settimane
Sebastian Hack, Helmu Seidl, Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm - Compiler Design
Sebastian Hack, Helmu Seidl, Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm Compiler Design Inglese 01.01.2015 Tascabile Fr. 79.00 6-7 settimane
Jürgen Radel - Visual Basic für technische Anwendungen, m. CD-ROM
Jürgen Radel Visual Basic für technische Anwendungen, m. CD-ROM Tedesco 01.01.2003 Tascabile Fr. 72.00 6-7 settimane
Klaus Denecke, Jör Koppitz, Jorg Koppitz, Jörg Koppitz - M-Solid Varieties of Algebras
Klaus Denecke, Jör Koppitz, Jorg Koppitz, Jörg Koppitz M-Solid Varieties of Algebras Inglese 01.01.2014 Tascabile Fr. 179.00 6-7 settimane
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... - High Performance Embedded Architectures and Compilers
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... High Performance Embedded Architectures and Compilers Inglese 01.01.2005 Tascabile Fr. 70.00 6-7 settimane
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies Inglese 01.01.2015 Tascabile Fr. 56.90 6-7 settimane
Edi Weitz, Edmund Weitz - Common Lisp Recipes
Edi Weitz, Edmund Weitz Common Lisp Recipes Inglese 01.01.2016 Tascabile Fr. 90.00 6-7 settimane
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties - Requirements Engineering: Foundation for Software Quality
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties Requirements Engineering: Foundation for Software Quality Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... - Handbook of Floating-Point Arithmetic
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... Handbook of Floating-Point Arithmetic Inglese 01.01.2018 Copertina rigida Fr. 189.00 6-7 settimane
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs Inglese 01.01.2016 Tascabile Fr. 179.00 6-7 settimane
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... - Transactions on Modularity and Composition I
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... Transactions on Modularity and Composition I Inglese 31.01.2017 Tascabile Fr. 107.00 6-7 settimane
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... - Modern Compiler Design
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... Modern Compiler Design Inglese 01.01.2016 Tascabile Fr. 110.00 6-7 settimane
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane