Mark Harman – författare
Visar alla böcker från författaren Mark Harman. Handla med fri frakt och snabb leverans.
9 produkter
Selected Stories
Inbunden, 2024
302 kr
Lägg i varukorg
A Spectator Best Book of the Year“It’s an extremely handsome, well-designed book, and you couldn’t ask for a better introduction to Kafka…If you’ve never read Kafka before or if you already love him, you’ll still want Harman’s Selected Stories.” —Michael Dirda, The Washington PostA superb new …
Genetic and Evolutionary Computation — GECCO 2004
Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II
Av Kalyanmoy Deb, Riccardo Poli m. fl.
2004
669 kr
Lägg i varukorg
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. …
Genetic and Evolutionary Computation — GECCO 2004
Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I
Av Kalyanmoy Deb, Riccardo Poli m. fl.
2004
669 kr
Lägg i varukorg
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. …
Genetic and Evolutionary Computation - GECCO 2004
Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I
Av Andy Tyrrell, Dirk Thierens m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. …
Genetic and Evolutionary Computation - GECCO 2004
Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II
Av Andy Tyrrell, Dirk Thierens m. fl.
E-bok, 2004
718 kr
Lägg i varukorg
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. …
Genetic and Evolutionary Computation - GECCO 2003
Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I
Av Erick Cantú-Paz, James A. Foster m. fl.
Häftad, 2003
904 kr
Lägg i varukorg
The set LNCS 2723 and LNCS 2724 constitutes the refereed proceedings of the Genetic and Evolutionaty Computation Conference, GECCO 2003, held in Chicago, IL, USA in July 2003.The 193 revised full papers and 93 poster papers presented were carefully reviewed and selected from a total of 417 …
Genetic and Evolutionary Computation - GECCO 2003
Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I
Av Julian F. Miller, Kathryn A. Dowsland m. fl.
E-bok, 2003
1174 kr
Lägg i varukorg
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
Av Robert M. Hierons, Jonathan P. Bowen m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a …
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
Av Mark Harman, Jonathan P. Bowen m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a …
