Your search returned 12 results.

Not what you expected? Check for suggestions
1.
Finite Difference Methods. Theory and Applications [electronic resource] : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

2.
Queueing Theory and Network Applications [electronic resource] : 14th International Conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, Proceedings / edited by Tuan Phung-Duc, Shoji Kasahara, Sabine Wittevrongel.

by Phung-Duc, Tuan [editor.] | Kasahara, Shoji [editor.] | Wittevrongel, Sabine [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

3.
Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings / edited by David Parker, Verena Wolf.

by Parker, David [editor.] | Wolf, Verena [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

4.
Language, Logic, and Computation [electronic resource] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach.

by Silva, Alexandra [editor.] | Staton, Sam [editor.] | Sutton, Peter [editor.] | Umbach, Carla [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

5.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.

by Alvim, Mário S [editor.] | Chatzikokolakis, Kostas [editor.] | Olarte, Carlos [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

6.
Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers / edited by Bob Coecke, Ariane Lambert-Mogiliansky.

by Coecke, Bob [editor.] | Lambert-Mogiliansky, Ariane [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: No items available :

7.
Finite Difference Methods. Theory and Applications [electronic resource] : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

8.
Queueing Theory and Network Applications [electronic resource] : 14th International Conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, Proceedings / edited by Tuan Phung-Duc, Shoji Kasahara, Sabine Wittevrongel.

by Phung-Duc, Tuan [editor.] | Kasahara, Shoji [editor.] | Wittevrongel, Sabine [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

9.
Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings / edited by David Parker, Verena Wolf.

by Parker, David [editor.] | Wolf, Verena [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

10.
Language, Logic, and Computation [electronic resource] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach.

by Silva, Alexandra [editor.] | Staton, Sam [editor.] | Sutton, Peter [editor.] | Umbach, Carla [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

11.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.

by Alvim, Mário S [editor.] | Chatzikokolakis, Kostas [editor.] | Olarte, Carlos [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

12.
Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers / edited by Bob Coecke, Ariane Lambert-Mogiliansky.

by Coecke, Bob [editor.] | Lambert-Mogiliansky, Ariane [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Texto completo Availability: Items available for loan: BIBLIOTECA GENERALCall number: Computer Science (1).

Powered by Koha