Languages
Subject
Format
Availabity
Authors

Search result

Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... - Software Process Modeling
Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... Software Process Modeling English 01.01.2005 Hardback Fr. 179.00 6-7 weeks
Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley - Rules and Rule Markup Languages for the Semantic Web
Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley Rules and Rule Markup Languages for the Semantic Web English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Neumann, Carsten Witt - Bioinspired Computation in Combinatorial Optimization
Frank Neumann, Carsten Witt Bioinspired Computation in Combinatorial Optimization English 02.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications English 30.10.2014 Paperback / Softback Fr. 104.00 6-7 weeks
Ralf Pinger, Mariëlle Stoelinga - Formal Methods for Industrial Critical Systems
Ralf Pinger, Mariëlle Stoelinga Formal Methods for Industrial Critical Systems English 17.07.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Nicolas Guelfi - Rapid Integration of Software Engineering Techniques
Nicolas Guelfi Rapid Integration of Software Engineering Techniques English 18.05.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Andreas Prinz, Jeanne Reed, Rick Reed - SDL 2005: Model Driven
Andreas Prinz, Jeanne Reed, Rick Reed SDL 2005: Model Driven English 09.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation English 24.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Fedor V. Fomin, Dieter Kratsch - Exact Exponential Algorithms
Fedor V. Fomin, Dieter Kratsch Exact Exponential Algorithms English 01.12.2012 Paperback / Softback Fr. 70.00 6-7 weeks
D. Björner, Dines Bjørner - Software Engineering 2. Vol.2
D. Björner, Dines Bjørner Software Engineering 2. Vol.2 English 01.03.2006 Hardback Fr. 70.00 6-7 weeks
Javie Esparza, Javier Esparza, Majumdar, Majumdar, Rupak Majumdar - Tools and Algorithms for the Construction and Analysis of Systems
Javie Esparza, Javier Esparza, Majumdar, Majumdar, Rupak Majumdar Tools and Algorithms for the Construction and Analysis of Systems English 08.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola - Functional and Logic Programming
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola Functional and Logic Programming English 08.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Maybank, Rin-ichir Taniguchi, Rin-ichiro Taniguchi, Hongbin Zha - Computer Vision -- ACCV 2009
Stephen Maybank, Rin-ichir Taniguchi, Rin-ichiro Taniguchi, Hongbin Zha Computer Vision -- ACCV 2009 English 28.09.2012 Paperback / Softback Fr. 135.00 6-7 weeks
Bonnie Berger - Research in Computational Molecular Biology
Bonnie Berger Research in Computational Molecular Biology English 22.03.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Vangelis Karkaletsis, Stasinos Konstantopoulos, Stavros Perantonis, Costas D. Spyropoulos, George Vouros - Advances in Artificial Intelligence: Theories, Models, and Applications
Vangelis Karkaletsis, Stasinos Konstantopoulos, Stavros Perantonis, Costas D. Spyropoulos, George Vouros Advances in Artificial Intelligence: Theories, Models, and Applications English 30.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Junzhong Gu, Byeong-Ho Kang, Byeong-Ho Kang et al, Tai-hoon Kim, Hideo Kuroda, Sanka Pal... - Signal Processing, Image Processing and Pattern Recognition,
Junzhong Gu, Byeong-Ho Kang, Byeong-Ho Kang et al, Tai-hoon Kim, Hideo Kuroda, Sanka Pal... Signal Processing, Image Processing and Pattern Recognition, English 30.11.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks