Su búsqueda retornó 5651 resultados.

Resultados
		Similarity Search and Applications [electronic resource] : 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings / edited by Stéphane Marchand-Maillet, Yasin N. Silva, Edgar Chávez. por Marchand-Maillet, Stéphane [editor.] \| Silva, Yasin N [editor.] \| Chávez, Edgar [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11223Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings / edited by Taisuke Izumi, Petr Kuznetsov. por Izumi, Taisuke [editor.] \| Kuznetsov, Petr [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11201Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I / edited by Amos Beimel, Stefan Dziembowski. por Beimel, Amos [editor.] \| Dziembowski, Stefan [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11239Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker. por Colombo, Christian [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11237Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Science/Intelligence and Applied Informatics [electronic resource] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 726Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Advances in Multi-state Systems Reliability [electronic resource] : Theory and Applications / edited by Anatoly Lisnianski, Ilia Frenkel, Alex Karagrigoriou. por Lisnianski, Anatoly [editor.] \| Frenkel, Ilia [editor.] \| Karagrigoriou, Alex [editor.] \| SpringerLink (Online service). Series Springer Series in Reliability EngineeringEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Population-Based Approaches to the Resource-Constrained and Discrete-Continuous Scheduling [electronic resource] / by Ewa Ratajczak-Ropel, Aleksander Skakovski. por Ratajczak-Ropel, Ewa [author.] \| Skakovski, Aleksander [author.] \| SpringerLink (Online service). Series Studies in Systems, Decision and Control ; 108Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2017 [electronic resource] / edited by Aboul Ella Hassanien, Khaled Shaalan, Tarek Gaber, Mohamed F. Tolba. por Hassanien, Aboul Ella [editor.] \| Shaalan, Khaled [editor.] \| Gaber, Tarek [editor.] \| Tolba, Mohamed F [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 639Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Compact Antennas for High Data Rate Communication [electronic resource] : Ultra-wideband (UWB) and Multiple-Input-Multiple-Output (MIMO) Technology / by Jagannath Malik, Amalendu Patnaik, M.V. Kartikeyan. por Malik, Jagannath [author.] \| Patnaik, Amalendu [author.] \| Kartikeyan, M.V [author.] \| SpringerLink (Online service). Series Springer Topics in Signal Processing ; 14Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Tools and Methods of Program Analysis [electronic resource] : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov. por Itsykson, Vladimir [editor.] \| Scedrov, Andre [editor.] \| Zakharov, Victor [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 779Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Database and Expert Systems Applications [electronic resource] : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II / edited by Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner. por Hartmann, Sven [editor.] \| Ma, Hui [editor.] \| Hameurlain, Abdelkader [editor.] \| Pernul, Günther [editor.] \| Wagner, Roland R [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11030Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I / edited by Amos Beimel, Stefan Dziembowski. por Beimel, Amos [editor.] \| Dziembowski, Stefan [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11239Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 [electronic resource] : Part I / edited by Leszek Borzemski, Jerzy Świątek, Zofia Wilimowska. por Borzemski, Leszek [editor.] \| Świątek, Jerzy [editor.] \| Wilimowska, Zofia [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 655Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Computations: Abstract Fractional Calculus, Inequalities, Approximations [electronic resource] / by George A. Anastassiou. por Anastassiou, George A [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 734Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Advances in Traffic Engineering for Transport Networks and Systems [electronic resource] : 14th Scientific and Technical Conference "Transport Systems. Theory & Practice 2017" Selected Papers / edited by Elżbieta Macioszek, Grzegorz Sierpiński. por Macioszek, Elżbieta [editor.] \| Sierpiński, Grzegorz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Networks and Systems ; 21Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Man-Machine Interactions 5 [electronic resource] : 5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017 / edited by Aleksandra Gruca, Tadeusz Czachórski, Katarzyna Harezlak, Stanisław Kozielski, Agnieszka Piotrowska. por Gruca, Aleksandra [editor.] \| Czachórski, Tadeusz [editor.] \| Harezlak, Katarzyna [editor.] \| Kozielski, Stanisław [editor.] \| Piotrowska, Agnieszka [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 659Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Towards a Synergistic Combination of Research and Practice in Software Engineering [electronic resource] / edited by Piotr Kosiuczenko, Lech Madeyski. por Kosiuczenko, Piotr [editor.] \| Madeyski, Lech [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 733Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10982Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Similarity Search and Applications [electronic resource] : 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings / edited by Stéphane Marchand-Maillet, Yasin N. Silva, Edgar Chávez. por Marchand-Maillet, Stéphane [editor.] \| Silva, Yasin N [editor.] \| Chávez, Edgar [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11223Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings / edited by Taisuke Izumi, Petr Kuznetsov. por Izumi, Taisuke [editor.] \| Kuznetsov, Petr [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11201Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I / edited by Amos Beimel, Stefan Dziembowski. por Beimel, Amos [editor.] \| Dziembowski, Stefan [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11239Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker. por Colombo, Christian [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11237Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Science/Intelligence and Applied Informatics [electronic resource] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 726Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Advances in Multi-state Systems Reliability [electronic resource] : Theory and Applications / edited by Anatoly Lisnianski, Ilia Frenkel, Alex Karagrigoriou. por Lisnianski, Anatoly [editor.] \| Frenkel, Ilia [editor.] \| Karagrigoriou, Alex [editor.] \| SpringerLink (Online service). Series Springer Series in Reliability EngineeringEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Population-Based Approaches to the Resource-Constrained and Discrete-Continuous Scheduling [electronic resource] / by Ewa Ratajczak-Ropel, Aleksander Skakovski. por Ratajczak-Ropel, Ewa [author.] \| Skakovski, Aleksander [author.] \| SpringerLink (Online service). Series Studies in Systems, Decision and Control ; 108Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2017 [electronic resource] / edited by Aboul Ella Hassanien, Khaled Shaalan, Tarek Gaber, Mohamed F. Tolba. por Hassanien, Aboul Ella [editor.] \| Shaalan, Khaled [editor.] \| Gaber, Tarek [editor.] \| Tolba, Mohamed F [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 639Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Compact Antennas for High Data Rate Communication [electronic resource] : Ultra-wideband (UWB) and Multiple-Input-Multiple-Output (MIMO) Technology / by Jagannath Malik, Amalendu Patnaik, M.V. Kartikeyan. por Malik, Jagannath [author.] \| Patnaik, Amalendu [author.] \| Kartikeyan, M.V [author.] \| SpringerLink (Online service). Series Springer Topics in Signal Processing ; 14Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Tools and Methods of Program Analysis [electronic resource] : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov. por Itsykson, Vladimir [editor.] \| Scedrov, Andre [editor.] \| Zakharov, Victor [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 779Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Database and Expert Systems Applications [electronic resource] : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II / edited by Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner. por Hartmann, Sven [editor.] \| Ma, Hui [editor.] \| Hameurlain, Abdelkader [editor.] \| Pernul, Günther [editor.] \| Wagner, Roland R [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11030Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I / edited by Amos Beimel, Stefan Dziembowski. por Beimel, Amos [editor.] \| Dziembowski, Stefan [editor.] \| SpringerLink (Online service). Series Security and Cryptology ; 11239Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 [electronic resource] : Part I / edited by Leszek Borzemski, Jerzy Świątek, Zofia Wilimowska. por Borzemski, Leszek [editor.] \| Świątek, Jerzy [editor.] \| Wilimowska, Zofia [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 655Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Computations: Abstract Fractional Calculus, Inequalities, Approximations [electronic resource] / by George A. Anastassiou. por Anastassiou, George A [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 734Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recent Advances in Traffic Engineering for Transport Networks and Systems [electronic resource] : 14th Scientific and Technical Conference "Transport Systems. Theory & Practice 2017" Selected Papers / edited by Elżbieta Macioszek, Grzegorz Sierpiński. por Macioszek, Elżbieta [editor.] \| Sierpiński, Grzegorz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Networks and Systems ; 21Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Man-Machine Interactions 5 [electronic resource] : 5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017 / edited by Aleksandra Gruca, Tadeusz Czachórski, Katarzyna Harezlak, Stanisław Kozielski, Agnieszka Piotrowska. por Gruca, Aleksandra [editor.] \| Czachórski, Tadeusz [editor.] \| Harezlak, Katarzyna [editor.] \| Kozielski, Stanisław [editor.] \| Piotrowska, Agnieszka [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 659Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Towards a Synergistic Combination of Research and Practice in Software Engineering [electronic resource] / edited by Piotr Kosiuczenko, Lech Madeyski. por Kosiuczenko, Piotr [editor.] \| Madeyski, Lech [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 733Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10982Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 5651 resultados.