Clear Search

Books+ Search Results

Subject: "Computers"
Subject (Region): Is Not
Is Not Is
Canada
Subject: Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (6,134)

Limit your search

-
Current results range from 1950 to 2024

1.
Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Search-Based Software Engineering 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Techniques for Searching, Parsing, and Matching
Author
Pettorossi, Alberto
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Graph Transformation for Software Engineers With Applications to Model-Based Development and Domain-Specific Language Engineering
Author
Heckel, Reiko
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Variable Domain-specific Software Languages with DjDSL Design and Implementation
Author
Sobernig, Stefan
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Tales of Electrologica Computers, Software and People
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Quantum Software Engineering
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Automotive software engineering : principles, processes, methods, and tools
Author
Schäuffele, Jörg
Published
Warrendale, Pa. : SAE International, ©2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Critical Information Infrastructures Security 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
VLSI-SoC: Technology Advancement on SoC Design 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Self-Aware Computing Systems
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Description and Selection of Communication Services for Service Oriented Network Architectures
Author
Khondoker, Rahamatullah
Published
Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Network and Parallel Computing 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Learn to Program with Assembly Foundational Learning for New Programmers
Author
Bartlett, Jonathan
Published
Berkeley, CA : Apress : Imprint: Apress, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Software Engineering: Specification, Implementation, Verification
Author
Alagić, Suad
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Domain Science and Engineering A Foundation for Software Development
Author
Bjørner, Dines
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Petri Nets for Modeling of Large Discrete Systems
Author
Davidrajuh, Reggie
Published
Singapore : Springer Singapore : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Understanding Programming Languages
Author
Jones, Cliff B.
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Fundamentals of Software Culture
Author
Qin, Zheng
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Conceptual Modeling Perspectives
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
Models of Computation
Author
Bruni, Roberto
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Analytical and Stochastic Modelling Techniques and Applications 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
Lectures on Runtime Verification Introductory and Advanced Topics
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December, 17-20, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Advances in Service-Oriented and Cloud Computing International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Evaluation of Novel Approaches to Software Engineering 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
AIxIA 2020 - Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
A Taxonomy for Texture Description and Identification
Author
Rao, A. Ravishankar
Published
New York, NY : Springer US, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-9777-9
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Euro-Par 2021: Parallel Processing 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Author
Steffen, Bernhard
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Big Data Technologies and Applications
Author
Furht, Borivoje
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
66.
Distributed Simulation A Model Driven Engineering Approach
Author
Topçu, Okan
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Principles of computer system design an introduction
Author
Saltzer, J. H., 1939-
Published
Amsterdam ; London : Elsevier/Morgan Kaufmann, c2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
68.
Advances in Computer Graphics Hardware V Rendering, Ray Tracing and Visualization Systems
Author
Grimsdale, Richard L.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1992.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-76777-7
Location
Yale Internet Resource >> None
Format
Books / Online
69.
Colored Petri Nets for Modeling of Discrete Systems A Practical Approach With GPenSIM
Author
Davidrajuh, Reggie
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
70.
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part I
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Service-Oriented and Cloud Computing 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Computational Science and Its Applications - ICCSA 2022 Workshops Malaga, Spain, July 4-7, 2022, Proceedings, Part IV
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
75.
Reuse and Software Quality 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15-17, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
76.
Service-Oriented and Cloud Computing 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Testing Software and Systems 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Guide to Graphics Software Tools
Author
Chen, Jim X.
Published
London : Springer-Verlag London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
81.
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Designing Virtual Reality Systems The Structured Approach
Author
Kim, Gerard Jounghyun
Published
London : Springer London, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
83.
Immersive Projection Technology and Virtual Environments 2001 Proceedings of the Eurographics Workshop, Stuttgart, Germany, May 16–18, 2001
Author
Fröhlich, Bernd
Published
Vienna : Springer Vienna, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-6221-7
Location
Yale Internet Resource >> None
Format
Books / Online
84.
Rendering with mental ray®
Author
Driemeyer, Th. (Thomas)
Published
Vienna : Springer Vienna : Imprint: Springer, 2001.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
85.
Rendering with mental ray®
Author
Driemeyer, Th. (Thomas)
Published
Vienna : Springer Vienna : Imprint: Springer, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
86.
Virtual Environments 2000 Proceedings of the Eurographics Workshop in Amsterdam, The Netherlands, June 1–2, 2000
Author
Mulder, Jurriaan
Published
Vienna : Springer Vienna, 2000.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-6785-4
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Virtual Environments ’99 Proceedings of the Eurographics Workshop in Vienna, Austria, May 31-June 1, 1999
Author
Gervautz, Michael
Published
Vienna : Springer Vienna, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-6805-9
Location
Yale Internet Resource >> None
Format
Books / Online
88.
Virtual Environments ’98 Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16–18, 1998
Author
Göbel, Martin
Published
Vienna : Springer Vienna, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-7519-4
Location
Yale Internet Resource >> None
Format
Books / Online
89.
Virtual Environments and Scientific Visualization ’96 Proceedings of the Eurographics Workshops in Monte Carlo, Monaco, February 19–20, 1996, and in Prague, Czech Republic, April 23–25, 1996
Author
Göbel, Martin
Published
Vienna : Springer Vienna, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-7488-3
Location
Yale Internet Resource >> None
Format
Books / Online
90.
Industrial Applications of Fuzzy Technology
Author
Hirota, Kaoru
Published
Tokyo : Springer Japan, 1993.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-4-431-65877-1
Location
Yale Internet Resource >> None
Format
Books / Online
91.
Three-Dimensional Object Recognition from Range Images
Author
Suk, Minsoo
Published
Tokyo : Springer Japan, 1992.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-4-431-68213-4
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Verified Software. Theories, Tools, and Experiments 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
93.
Guide to Computer Processor Architecture A RISC-V Approach, with High-Level Synthesis
Author
Goossens, Bernard
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
94.
Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
95.
DevOps for Airborne Software Exploring Modern Approaches
Author
Zaeske, Wanja
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
96.
From Data to Models and Back 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
97.
Product-Focused Software Process Improvement 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
98.
Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
Distributed Services with OpenAFS for Enterprise and Education
Author
Milicchio, Franco
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online