Your search returned 12 results.

1.
Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer.

by Kreowski, Hans-Jörg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 K74 2005 (1).

2.
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.

by Corradini, Andrea | Ehrig, Hartmut | Montanari, Ugo | Ribeiro, Leila | Rozenberg, Grzegorz | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.3 C67 2006 (1).

3.
Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings / edited by Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham.

by Akl, Selim G | Calude, Cristian S | Dinneen, Michael J | Rozenberg, Grzegorz | Wareham, H. Todd | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S63 A35 2007 (1).

4.
Membrane Computing [electronic resource] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / edited by Rudolf Freund, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Freund, Rudolf | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 F74 2006 (1).

5.
Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Grzegorz Rozenberg, Susan Stepney.

by Calude, Cristian S | Dinneen, Michael J | Păun, Gheorghe | Rozenberg, Grzegorz | Stepney, Susan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S63 C35 2006 (1).

6.
Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Hoogeboom, Hendrik Jan | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 H66 2006 (1).

7.
Membrane Computing [electronic resource] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / edited by Giancarlo Mauri, Gheorghe Păun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa.

by Mauri, Giancarlo | Păun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 M38 2005 (1).

8.
Nanotechnology: Science and Computation [electronic resource] / edited by Junghuei Chen, Nataša Jonoska, Grzegorz Rozenberg.

by Chen, Junghuei | Jonoska, Nataša | Rozenberg, Grzegorz | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T174.7 C44 2006 (1).

9.
Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Mario J. Pérez-Jímenez, Grzegorz Rozenberg.

by Calude, Cristian S | Dinneen, Michael J | Păun, Gheorghe | Pérez-Jímenez, Mario J | Rozenberg, Grzegorz | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S63 C35 2005 (1).

10.
Membrane Computing [electronic resource] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / edited by George Eleftherakis, Petros Kefalas, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Eleftherakis, George | Kefalas, Petros | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 E44 2007 (1).

11.
Graph Transformations [electronic resource] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer.

by Ehrig, Hartmut | Heckel, Reiko | Rozenberg, Grzegorz | Taentzer, Gabriele | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.3 E37 2008 (1).

12.
Unconventional Computing [electronic resource] : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / edited by Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg.

by Calude, Cristian S | Costa, José Félix | Freund, Rudolf | Oswald, Marion | Rozenberg, Grzegorz | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

Powered by Koha