Refine your search

Your search returned 306 results.

|
1.
Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

2.
Transactions on Computational Systems Biology II [Recurso electrónico] / edited by Alexander Zelikovsky.

by Zelikovsky, Alexander | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

3.
Distributed Computing (vol. # 4167) [Recurso electrónico] / 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings edited by Shlomi Dolev.

by Dolev, Shlomi | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

4.
Transactions on Computational Systems Biology VI [Recurso electrónico] / edited by Gordon Plotkin.

by Plotkin, Gordon | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

5.
Machines, Computations, and Universality [Recurso electrónico] / 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers edited by Maurice Margenstern.

by Margenstern, Maurice | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6.
Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust.

by Rust, Heinrich | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7.
Distributed Computing (vol. # 3724) [Recurso electrónico] / 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings edited by Pierre Fraigniaud.

by Fraigniaud, Pierre | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
Software Service and Application Engineering [Recurso electrónico] : Essays Dedicated to Bernd KrÃ{uD972} on the Occasion of His 65th Birthday / edited by Maritta Heisel.

by Heisel, Maritta.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

9.
Distributed Computing [Recurso electrónico] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.

by Pelc, Andrzej | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

10.
Mathematics of Program Construction [Recurso electrónico] / 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu.

by Uustalu, Tarmo | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

11.
Transactions on Computational Systems Biology IV [Recurso electrónico] / edited by Luca Cardelli, Stephen Emmott.

by Cardelli, Luca | Emmott, Stephen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

12.
Computational Methods in Systems Biology (vol. # 4210) [Recurso electrónico] / International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings edited by Corrado Priami.

by Priami, Corrado | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

13.
Control, Computation and Information Systems [Recurso electrónico] : First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings / edited by P. Balasubramaniam.

by Balasubramaniam, P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available

14.
Parallel Computing Technologies [Recurso electrónico] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

15.
16.
Research in Computational Molecular Biology [Recurso electrónico] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings / edited by Benny Chor.

by Chor, Benny.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
AI*IA 2005: Advances in Artificial Intelligence [Recurso electrónico] / 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings edited by Stefania Bandini, Sara Manzoni.

by Bandini, Stefania | Manzoni, Sara | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

19.
DNA Computing (vol. # 4287) [Recurso electrónico] / 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers edited by Chengde Mao, Takashi Yokomori.

by Mao, Chengde | Yokomori, Takashi | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

20.
Unifying Theories of Programming [Recurso electrónico] / First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve | Stoddart, Bill | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha