Refinar su búsqueda

Su búsqueda retornó 18193 resultados.

Ordenar
Resultados
Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner.

por Schreiner, Wolfgang [author.] | SpringerLink (Online service).

Series Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Agro and Food Processing Technologies [electronic resource] : Proceedings of NERC 2022 / edited by Ramagopal V.S. Uppaluri, Chandan Das, V.V. Goud, R. Anandalakshmi.

por Uppaluri, Ramagopal V.S [editor.] | Das, Chandan [editor.] | Goud, V.V [editor.] | Anandalakshmi, R [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13623Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13624Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13625Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Technology for Environmentally Friendly Livestock Production [electronic resource] / edited by Thomas Bartzanas.

por Bartzanas, Thomas [editor.] | SpringerLink (Online service).

Series Smart Animal ProductionEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

The NICE Cyber Security Framework [electronic resource] : Cyber Security Intelligence and Analytics / by Izzat Alsmadi.

por Alsmadi, Izzat [author.] | SpringerLink (Online service).

Edición: 2nd ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Hierarchical Control and Optimization Strategies Applied to Solar Membrane Distillation Facilities [electronic resource] / by Juan D. Gil.

por Gil, Juan D [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Sustainable Agriculture Reviews 61 [electronic resource] : Biochar to Improve Crop Production and Decrease Plant Stress under a Changing Climate / edited by Shah Fahad, Subhan Danish, Rahul Datta, Shah Saud, Eric Lichtfouse.

por Fahad, Shah [editor.] | Danish, Subhan [editor.] | Datta, Rahul [editor.] | Saud, Shah [editor.] | Lichtfouse, Eric [editor.] | SpringerLink (Online service).

Series Sustainable Agriculture Reviews ; 61Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Database Systems for Advanced Applications [electronic resource] : 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part II / edited by Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin.

por Wang, Xin [editor.] | Sapino, Maria Luisa [editor.] | Han, Wook-Shin [editor.] | El Abbadi, Amr [editor.] | Dobbie, Gill [editor.] | Feng, Zhiyong [editor.] | Shao, Yingxiao [editor.] | Yin, Hongzhi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13944Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Persuasive Technology [electronic resource] : 18th International Conference, PERSUASIVE 2023, Eindhoven, The Netherlands, April 19-21, 2023, Proceedings / edited by Alexander Meschtscherjakov, Cees Midden, Jaap Ham.

por Meschtscherjakov, Alexander [editor.] | Midden, Cees [editor.] | Ham, Jaap [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13832Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Hypoxia in Cancer: Significance and Impact on Cancer Therapy [electronic resource] / edited by Sukhes Mukherjee, Jagat Rakesh Kanwar.

por Mukherjee, Sukhes [editor.] | Kanwar, Jagat Rakesh [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1792Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1793Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Database Systems for Advanced Applications [electronic resource] : 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part III / edited by Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin.

por Wang, Xin [editor.] | Sapino, Maria Luisa [editor.] | Han, Wook-Shin [editor.] | El Abbadi, Amr [editor.] | Dobbie, Gill [editor.] | Feng, Zhiyong [editor.] | Shao, Yingxiao [editor.] | Yin, Hongzhi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13945Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Soft Computing: Theories and Applications [electronic resource] : Proceedings of SoCTA 2022 / edited by Rajesh Kumar, Ajit Kumar Verma, Tarun K. Sharma, Om Prakash Verma, Sanjay Sharma.

por Kumar, Rajesh [editor.] | Verma, Ajit Kumar [editor.] | Sharma, Tarun K [editor.] | Verma, Om Prakash [editor.] | Sharma, Sanjay [editor.] | SpringerLink (Online service).

Series Lecture Notes in Networks and Systems ; 627Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Performance Evaluation Methodologies and Tools [electronic resource] : 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings / edited by Esa Hyytiä, Veeraruna Kavitha.

por Hyytiä, Esa [editor.] | Kavitha, Veeraruna [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 482Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Risks and Security of Internet and Systems [electronic resource] : 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers / edited by Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens.

por Kallel, Slim [editor.] | Jmaiel, Mohamed [editor.] | Zulkernine, Mohammad [editor.] | Hadj Kacem, Ahmed [editor.] | Cuppens, Frédéric [editor.] | Cuppens, Nora [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13857Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Induced Mutation Breeding [electronic resource] / by Subodh Kumar Datta.

por Datta, Subodh Kumar [author.] | SpringerLink (Online service).

Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Science and Global Challenges of the 21st Century - Innovations and Technologies in Interdisciplinary Applications [electronic resource] / edited by Ekaterina Isaeva, Álvaro Rocha.

por Isaeva, Ekaterina [editor.] | Rocha, Álvaro [editor.] | SpringerLink (Online service).

Series Lecture Notes in Networks and Systems ; 622Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha