Disponibiltà
Versione linguistica
Novità
Categoria
Forma del prodotto
Autori
prezzo massimo
CHF

Risultato ricerca (Lecture Notes in Computer Science / Programming and Software Engineering)

Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess - Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess Performance Characterization and Benchmarking. Traditional to Big Data Inglese 01.01.2015 Tascabile CHF 56.90 6-7 settimane
Samue A Fricker, Samuel A Fricker, Samuel A. Fricker, Schneider, Schneider, … - Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Samue A Fricker, Samuel A Fricker, Samuel A. Fricker, Schneider, Schneider, … Requirements Engineering: Foundation for Software Quality Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Zden k Dvo ák, Zden¿k Dvo¿ák, Zdene Dvorák, Zdenek Dvorák, Zdeněk Dvořák, … - Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Tel , Czech Republic, October 17-19, 2014, Revised Selected Papers
Zden k Dvo ák, Zden¿k Dvo¿ák, Zdene Dvorák, Zdenek Dvorák, Zdeněk Dvořák, … Mathematical and Engineering Methods in Computer Science Inglese 01.01.2015 Tascabile CHF 56.90 6-7 settimane
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani - Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani Software Engineering and Formal Methods Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine - Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine Formal Aspects of Component Software Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker - Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker Software, Services, and Systems Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, … - Software Engineering for Collective Autonomic Systems The ASCENS Approach
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, … Software Engineering for Collective Autonomic Systems Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Klaus Havelund, Gerar Holzmann, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Klaus Havelund, Gerar Holzmann, Gerard Holzmann, Rajeev Joshi NASA Formal Methods Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Gul Agha, Atsush Igarashi, Atsushi Igarashi, Naoki Kobayashi, Naoki Kobayashi et al, … - Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Gul Agha, Atsush Igarashi, Atsushi Igarashi, Naoki Kobayashi, Naoki Kobayashi et al, … Concurrent Objects and Beyond Inglese 31.08.2014 Tascabile CHF 70.00 6-7 settimane
Clair Le Goues, Claire Le Goues, Yoo, Yoo, Shin Yoo - Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Clair Le Goues, Claire Le Goues, Yoo, Yoo, Shin Yoo Search-Based Software Engineering Inglese 31.08.2014 Tascabile CHF 77.00 6-7 settimane
Jerem Gibbons, Jeremy Gibbons, MacCaull, MacCaull, Wendy MacCaull - Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Jerem Gibbons, Jeremy Gibbons, MacCaull, MacCaull, Wendy MacCaull Foundations of Health Information Engineering and Systems Inglese 01.08.2014 Tascabile CHF 70.00 6-7 settimane
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Inglese 21.07.2014 Tascabile CHF 70.00 6-7 settimane
Elvir Albert, Elvira Albert, Sekerinski, Sekerinski, Emil Sekerinski - Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Elvir Albert, Elvira Albert, Sekerinski, Sekerinski, Emil Sekerinski Integrated Formal Methods Inglese 21.07.2014 Tascabile CHF 70.00 6-7 settimane
Richar Jones, Richard Jones - ECOOP 2014 -- Object-Oriented Programming 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Richar Jones, Richard Jones ECOOP 2014 -- Object-Oriented Programming Inglese 23.06.2014 Tascabile CHF 70.00 6-7 settimane
Martin Seidl, Martina Seidl, Tillmann, Tillmann, Nikolai Tillmann - Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Martin Seidl, Martina Seidl, Tillmann, Tillmann, Nikolai Tillmann Tests and Proofs Inglese 20.06.2014 Tascabile CHF 68.00 6-7 settimane
Gábor Horváth, Tele Miklós, Telek Miklós, Bruno Sericola - Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
Gábor Horváth, Tele Miklós, Telek Miklós, Bruno Sericola Analytical and Stochastic Modelling Techniques and Applications Inglese 26.05.2014 Tascabile CHF 68.00 6-7 settimane
Lauren George, Laurent George, George. Laurent, George Laurent, Vardanega, … - Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Lauren George, Laurent George, George. Laurent, George Laurent, Vardanega, … Reliable Software Technologies - Ada-Europe 2014 Inglese 26.05.2014 Tascabile CHF 68.00 6-7 settimane
Krist Boyer, Kristy Boyer, Martha Crosby, Martha Crosby et al, Kitty Panourgia, … - Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
Krist Boyer, Kristy Boyer, Martha Crosby, Martha Crosby et al, Kitty Panourgia, … Intelligent Tutoring Systems Inglese 30.04.2014 Tascabile CHF 135.00 6-7 settimane
Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, … - Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, … Formal Methods for Executable Software Models Inglese 30.04.2014 Tascabile CHF 70.00 6-7 settimane
Erik Ábrahám, Erika Ábrahám, Palamidessi, Palamidessi, Catuscia Palamidessi - Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Erik Ábrahám, Erika Ábrahám, Palamidessi, Palamidessi, Catuscia Palamidessi Formal Techniques for Distributed Objects, Components, and Systems Inglese 30.04.2014 Tascabile CHF 70.00 6-7 settimane