Resultados de la búsqueda para 'su:"simulation."'

Resultados
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. por Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11429 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers / edited by Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea. por Duguleană, Mihai [editor.] Carrozzino, Marcello [editor.] Gams, Matjaž [editor.] Tanea, Iulian [editor.] SpringerLink (Online service) Series Communications in Computer and Information Science ; 904 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers / edited by Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea. por Duguleană, Mihai [editor.] Carrozzino, Marcello [editor.] Gams, Matjaž [editor.] Tanea, Iulian [editor.] SpringerLink (Online service) Series Communications in Computer and Information Science ; 904 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12759 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12760 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Listas: Perspectiva de genero. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Finding the Limits of the Limes [electronic resource] : Modelling Demography, Economy and Transport on the Edge of the Roman Empire / edited by Philip Verhagen, Jamie Joyce, Mark R. Groenhuijzen. por Verhagen, Philip [editor.] Joyce, Jamie [editor.] Groenhuijzen, Mark R [editor.] SpringerLink (Online service) Series Simulating the Past Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Cyber-Physical Systems: A Model-Based Approach [electronic resource] / by Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg. por Taha, Walid M [author.] Taha, Abd-Elhamid M [author.] Thunberg, Johan [author.] SpringerLink (Online service) Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. por Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11561 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Methodological Investigations in Agent-Based Modelling [electronic resource] : With Applications for the Social Sciences / by Eric Silverman. por Silverman, Eric [author.] SpringerLink (Online service) Series Methodos Series, Methodological Prospects in the Social Sciences ; 13 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games [electronic resource] / von Julia Hofmann. por Hofmann, Julia [author.] SpringerLink (Online service) Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Anti-fragile ICT Systems [electronic resource] / by Kjell Jørgen Hole. por Hole, Kjell Jørgen [author.] SpringerLink (Online service) Series Simula SpringerBriefs on Computing ; 1 Edición: 1st ed. 2016. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 ; 10982 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10981 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Annals of Scientific Society for Assembly, Handling and Industrial Robotics [electronic resource] / edited by Thorsten Schüppstuhl, Kirsten Tracht, Dominik Henrich. por Schüppstuhl, Thorsten [editor.] Tracht, Kirsten [editor.] Henrich, Dominik [editor.] SpringerLink (Online service) Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer Vieweg, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Software for Exascale Computing - SPPEXA 2016-2019 [electronic resource] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel. por Bungartz, Hans-Joachim [editor.] Reiz, Severin [editor.] Uekermann, Benjamin [editor.] Neumann, Philipp [editor.] Nagel, Wolfgang E [editor.] SpringerLink (Online service) Series Lecture Notes in Computational Science and Engineering ; 136 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Microsimulation Population Projections with SAS [electronic resource] : A Reference Guide / by Guillaume Marois, Samir KC. por Marois, Guillaume [author.] KC, Samir [author.] SpringerLink (Online service) Series SpringerBriefs in Population Studies Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Proceedings of the 2020 DigitalFUTURES [electronic resource] : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / edited by Philip F. Yuan, Jiawei Yao, Chao Yan, Xiang Wang, Neil Leach. por Yuan, Philip F [editor.] Yao, Jiawei [editor.] Yan, Chao [editor.] Wang, Xiang [editor.] Leach, Neil [editor.] SpringerLink (Online service) Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. por Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11424 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. por Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 13243 Edición: 1st ed. 2022. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014 [electronic resource] / edited by Hideki Takayasu, Nobuyasu Ito, Itsuki Noda, Misako Takayasu. por Takayasu, Hideki [editor.] Ito, Nobuyasu [editor.] Noda, Itsuki [editor.] Takayasu, Misako [editor.] SpringerLink (Online service) Series Springer Proceedings in Complexity Edición: 1st ed. 2015. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2015 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Managing the Complexity of Critical Infrastructures [electronic resource] : A Modelling and Simulation Approach / edited by Roberto Setola, Vittorio Rosato, Elias Kyriakides, Erich Rome. por Setola, Roberto [editor.] Rosato, Vittorio [editor.] Kyriakides, Elias [editor.] Rome, Erich [editor.] SpringerLink (Online service) Series Studies in Systems, Decision and Control ; 90 Edición: 1st ed. 2016. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Natural Computing and Beyond [electronic resource] : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings / edited by Yasuhiro Suzuki, Toshiyuki Nakagaki. por Suzuki, Yasuhiro [editor.] Nakagaki, Toshiyuki [editor.] SpringerLink (Online service) Series Proceedings in Information and Communications Technology ; 6 Edición: 1st ed. 2013. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Tokyo : Springer Japan : Imprint: Springer, 2013 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Air Quality Integrated Assessment [electronic resource] : A European Perspective / edited by Giorgio Guariso, Marialuisa Volta. por Guariso, Giorgio [editor.] Volta, Marialuisa [editor.] SpringerLink (Online service) Series PoliMI SpringerBriefs Edición: 1st ed. 2017. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2017 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Scaling of Differential Equations [electronic resource] / by Hans Petter Langtangen, Geir K. Pedersen. por Langtangen, Hans Petter [author.] Pedersen, Geir K [author.] SpringerLink (Online service) Series Simula SpringerBriefs on Computing ; 2 Edición: 1st ed. 2016. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Unity 2020 virtual reality projects : learn VR development by building immersive applications and games with Unity 2019.4 and later versions / Jonathan Linowes. por Linowes, Jonathan [autor.] Edición: Third edition. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Birmingham, UK : Packt Publishing, 2020 Recursos en línea: EBSCOhost Safari Books Online Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Unity 2020 virtual reality projects : learn VR development by building immersive applications and games with Unity 2019.4 and later versions / Jonathan Linowes. por Linowes, Jonathan [autor.] Edición: Third edition. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Birmingham, UK : Packt Publishing, 2020 Recursos en línea: EBSCOhost Safari Books Online Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The art of intelligence : more simulations, exercises, and games / edited by Rub{acute}en Arcos, Rey Juan Carlos University, William J. Lahneman, Embry-Riddle Aeronautical University. por Arcos Mart{acute}in, Rub{acute}en [editor.] Lahneman, William J, 1952- [editor.] Series Security and professional intelligence education series Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Lanham : ROWMAN & LITTLEFIELD, [2019]Fecha de copyright: {copy}2019 by the Rowman & Littlefield Publishing Group, Inc Recursos en línea: EBSCOhost ProQuest Ebook Central Haga clic para acceso en línea Haga clic para acceso en línea cloudLibrary Front cover Front cover, high quality Front cover thumbnail Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)

Refinar su búsqueda

Disponibilidad

Autores

Series

Temas

Títulos

Su búsqueda retornó 27 resultados.