Refinar su búsqueda

Su búsqueda retornó 7749 resultados.

Ordenar
Resultados
Swarm Robotics: A Formal Approach [electronic resource] / by Heiko Hamann.

por Hamann, Heiko [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

por Hooker, John [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Gene and Cell Therapy: Biology and Applications [electronic resource] / edited by Giridhara R. Jayandharan.

por Jayandharan, Giridhara R [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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 Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / edited by Fabio Fioravanti, John P. Gallagher.

por Fioravanti, Fabio [editor.] | Gallagher, John P [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10855Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Software Analysis, Testing, and Evolution [electronic resource] : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings / edited by Lei Bu, Yingfei Xiong.

por Bu, Lei [editor.] | Xiong, Yingfei [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11293Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Lung Stem Cell Behavior [electronic resource] / by Ahmed El-Hashash.

por El-Hashash, Ahmed [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Software Architecture [electronic resource] : 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings / edited by Carlos E. Cuesta, David Garlan, Jennifer Pérez.

por Cuesta, Carlos E [editor.] | Garlan, David [editor.] | Pérez, Jennifer [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11048Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / edited by Vlad Rusu.

por Rusu, Vlad [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 11152Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Control Theory Tutorial [electronic resource] : Basic Concepts Illustrated by Software Examples / by Steven A. Frank.

por Frank, Steven A [author.] | SpringerLink (Online service).

Series SpringerBriefs in Applied Sciences and TechnologyEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Building Information Modeling [electronic resource] : Technology Foundations and Industry Practice / edited by André Borrmann, Markus König, Christian Koch, Jakob Beetz.

por Borrmann, André [editor.] | König, Markus [editor.] | Koch, Christian [editor.] | Beetz, Jakob [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Stem Cell Drugs - A New Generation of Biopharmaceuticals [electronic resource] / edited by Phuc Van Pham.

por Pham, Phuc Van [editor.] | SpringerLink (Online service).

Series Stem Cells in Clinical ApplicationsEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Pumps as Turbines [electronic resource] : Fundamentals and Applications / by Armando Carravetta, Shahram Derakhshan Houreh, Helena M. Ramos.

por Carravetta, Armando [author.] | Derakhshan Houreh, Shahram [author.] | Ramos, Helena M [author.] | SpringerLink (Online service).

Series Springer Tracts in Mechanical EngineeringEdición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Music Technology with Swing [electronic resource] : 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers / edited by Mitsuko Aramaki, Matthew E. P. Davies, Richard Kronland-Martinet, Sølvi Ystad.

por Aramaki, Mitsuko [editor.] | Davies, Matthew E. P [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11265Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Information Systems and Industrial Management [electronic resource] : 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings / edited by Khalid Saeed, Władysław Homenda.

por Saeed, Khalid [editor.] | Homenda, Władysław [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11127Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principled Software Development [electronic resource] : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday / edited by Peter Müller, Ina Schaefer.

por Müller, Peter [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Recent Advances in Nonlinear Dynamics and Synchronization [electronic resource] : With Selected Applications in Electrical Engineering, Neurocomputing, and Transportation / edited by Kyandoghere Kyamakya, Wolfgang Mathis, Ruedi Stoop, Jean Chamberlain Chedjou, Zhong Li.

por Kyamakya, Kyandoghere [editor.] | Mathis, Wolfgang [editor.] | Stoop, Ruedi [editor.] | Chedjou, Jean Chamberlain [editor.] | Li, Zhong [editor.] | SpringerLink (Online service).

Series Studies in Systems, Decision and Control ; 109Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.

por Furia, Carlo A [editor.] | Winter, Kirsten [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11023Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus [electronic resource] : Test Techniques and Sample Mock Exams / by Adam Roman.

por Roman, Adam [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.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, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Transactions on Computational Science XXXI [electronic resource] : Special Issue on Signal Processing and Security in Distributed Systems / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Nabendu Chaki, Khalid Saeed.

por Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Chaki, Nabendu [editor.] | Saeed, Khalid [editor.] | SpringerLink (Online service).

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

A Quadratic Constraint Approach to Model Predictive Control of Interconnected Systems [electronic resource] / by Anthony Tri Tran C., Quang Ha.

por Tri Tran C., Anthony [author.] | Ha, Quang [author.] | SpringerLink (Online service).

Series Studies in Systems, Decision and Control ; 148Edición: 1st ed. 2018.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 Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha