Refine your search

Your search returned 12 results. Subscribe to this search

|
1. Handbook of formal languages / G. Rozenberg, A. Salomaa

Rozenberg, Grzegorz | Salomaa, Arto.

Material type: book Book; Format: print Publisher: Berlin : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): 801/HAN.

Place hold Log in to add tags. Add to cart
2. Handbook of formal languages / G. Rozenberg, A. Salomaa

Rozenberg, Grzegorz | Salomaa, Arto.

Material type: book Book; Format: print Publisher: Berlin : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): 801/HAN.

3. Handbook of formal languages / G. Rozenberg, A. Salomaa

Rozenberg, Grzegorz | Salomaa, Arto.

Material type: book Book; Format: print Publisher: Berlin : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): 801/HAN.

4. Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

Kreowski, Hans-JÃœrg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | 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

5. Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb

Mauri, Giancarlo | Paun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | 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. Unconventional Computation (vol. # 3699) [Recurso electrónico] / 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez et al

Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Pérez-Jiménez, Mario de Jesus | Rozenberg, Grzegorz | 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. Membrane Computing (vol. # 3850) [Recurso electrónico] / 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.

Freund, Rudolph | Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | 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

8. Unconventional Computation (vol. # 4135) [Recurso electrónico] / 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg et al.

Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Rozenberg, Grzegorz | Stepney, Susan | 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

9. Graph Transformations [Recurso electrónico] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings edited by Andrea CorradiniHartmut Ehrig, Ugo Montanari, Leila Ribeiro et al.

Corradini, Andrea | Ehrig, Hartmut | Montanari, Ugo | Ribeiro, Leila | Rozenberg, Grzegorz | 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

10. Membrane Computing (vol. # 4361) [Recurso electrónico] / 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Ar

Hoogeboom, Hendrik Jan | Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | 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. Unconventional Computation [Recurso electrónico] : 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.

Akl, Selim G | Calude, Cristian S | Dinneen, Michael J | Rozenberg, Grzegorz | Wareham, H. Todd | 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

12. Membrane Computing [Recurso electrónico] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Pâ{uF451}un, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan.

Gheorghe, Marian | Pâ{uF451}un, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | Verlan, Sergey.

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

Powered by Koha