Clear Search

Books+ Search Results

Subject: "Engineering"
Recently Added: Is Not
Is Not Is
within 1 Year
Subject: All Of
All Of Any Of
Is
Is Is Not
Computer Communication Networks Is
Is Is Not
Computer science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
Project Engineering Computer-Oriented Planning and Operational Decision Making
Author
Pagnoni, Anastasia
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-75630-6
Location
Yale Internet Resource >> None
Format
Books / Online
2.
System Level Design of Reconfigurable Systems-on-Chip
Published
Boston, MA : Springer US, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Author
Budkowski, Stan
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Switching and Traffic Theory for Integrated Broadband Networks
Author
Hui, Joseph Y.
Published
Boston, MA : Springer US, 1993.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-3264-4
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Image and Text Compression
Author
Storer, James A.
Published
Boston, MA : Springer US : Imprint: Springer, 1992.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-3596-6
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Adaptive Data Compression
Author
Williams, Ross N.
Published
Boston, MA : Springer US, 1991.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-4046-5
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Author
Troubitsyna, Elena (Elena A.), 1970-
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Converged Networking Data and Real-time Communications over IP
Author
McDonald, Chris
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Networks and Systems Management Platforms Analysis and Evaluation
Author
Ghetie, Iosif G.
Published
Boston, MA : Springer US, 1997.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-6299-3
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Internetworking and Computing Over Satellite Networks
Author
Zhang, Yongguang
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0431-3
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings
Author
Vinel, Alexey
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Author
Strang, Thomas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
The Internet Challenge: Technology and Applications Proceedings of the 5th International Workshop held at the TU Berlin, Germany, October 8th–9th, 2002
Author
Hommel, Günter
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-010-0494-7
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Design of Optical WDM Networks LAN, MAN and WAN Architectures
Author
Ramamurthy, Byrav
Published
Boston, MA : Springer US : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-1675-0
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Heterogeneous Network Quality of Service Systems
Author
Schmitt, Jens Burkhard
Published
Boston, MA : Springer US : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-1419-0
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Communication Protocol Specification and Verification
Author
Lai, Richard
Published
Boston, MA : Springer US, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5549-0
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author
Kim, Tai-hoon
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Real-Time Systems Design Principles for Distributed Embedded Applications
Author
Kopetz, Hermann
Published
Boston, MA : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Mobile Web and Intelligent Information Systems 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Mathematical Theories of Distributed Sensor Networks
Author
Iyengar, Sitharama S.
Published
New York, NY : Springer New York : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Advanced Network Programming – Principles and Techniques Network Application Programming with Java
Author
Ciubotaru, Bogdan
Published
London : Springer London : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author
Tribastone, Mirco.c.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Author
Balsamo, Maria Simonetta
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
Author
Eyers, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers
Author
Timm-Giel, Andreas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Author
Jónasson, Kristján
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Author
Jónasson, Kristján
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Author
Sirjani, Marjan
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Protocol Engineering
Author
König, Hartmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
RoboCup 2009: Robot Soccer World Cup XIII
Author
Baltes, Jacky
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
RoboCup 2008: Robot Soccer World Cup XII
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Optical Networks Architecture and Survivability
Author
Mouftah, Hussein T.
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-1169-4
Location
Yale Internet Resource >> None
Format
Books / Online
36.
Photonic Slot Routing in Optical Transport Networks
Author
Wedzinga, Gosse
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0317-0
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Routing and Quality-of-Service in Broadband LEO Satellite Networks
Author
Nguyen, Hoang Nam
Published
Boston, MA : Springer US, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0249-4
Location
Yale Internet Resource >> None
Format
Books / Online
38.
WDM Mesh Networks Management and Survivability
Author
Zang, Hui
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0341-5
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Multiaccess, Mobility and Teletraffic for Wireless Communications, volume 6
Author
Lagrange, Xavier
Published
Boston, MA : Springer US : Imprint: Springer, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Optical Packet Access Protocols for WDM Networks
Author
Bengi, Kemal
Published
Boston, MA : Springer US : Imprint: Springer, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0961-5
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
A Discipline of Multiprogramming Programming Theory for Distributed Applications
Author
Misra, Jayadev
Published
New York, NY : Springer New York : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4419-8528-6
Location
Yale Internet Resource >> None
Format
Books / Online
43.
ATM Network Performance
Author
Kesidis, George
Published
Boston, MA : Springer US : Imprint: Springer, 2000.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-4559-0
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Broadband Communications Convergence of Network Technologies
Author
Tsang, Danny H. K.
Published
Boston, MA : Springer US : Imprint: Springer, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Deadline Scheduling for Real-Time Systems EDF and Related Algorithms
Author
Stankovic, John A.
Published
Boston, MA : Springer US, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5535-3
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Distributed Applications Engineering Building New Applications and Managing Legacy Applications with Distributed Technologies
Author
Wijegunaratne, Indrajit
Published
London : Springer London, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-1550-2
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Multimedia Communications and Video Coding
Author
Wang, Yao
Published
Boston, MA : Springer US, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-0403-6
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Distributed Systems Software Design and Implementation
Author
Fleischmann, Albert
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1994.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-78612-9
Location
Yale Internet Resource >> None
Format
Books / Online
49.
High Performance Networks Technology and Protocols
Author
Tantawy, Ahmed N.
Published
Boston, MA : Springer US : Imprint: Springer, 1994.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-3194-4
Location
Yale Internet Resource >> None
Format
Books / Online
50.
The Art of Distributed Applications Programming Techniques for Remote Procedure Calls
Author
Corbin, John R.
Published
New York, NY : Springer New York, 1991.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-2998-8
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Computer Communications and Networks
Author
Freer, John R.
Published
Boston, MA : Springer US, 1988.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-1041-9
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Hector Heterogeneous Computers Together A Joint Project of IBM and the University of Karlsruhe Volume II: Basic Projects
Author
Krüger, G.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1988.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-73574-5
Location
Yale Internet Resource >> None
Format
Books / Online
53.
Software System Design Methods The Challenge of Advanced Computing Technology
Author
Skwirzynski, Jozef K.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1986.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-82846-1
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Author
Gavrilova, Marina L.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Wireless Rechargeable Sensor Networks
Author
Yang, Yuanyuan
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Mobile Social Networking An Innovative Approach
Author
Chin, Alvin
Published
New York, NY : Springer New York : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Dot-Dash to Dot.Com How Modern Telecommunications Evolved from the Telegraph to the Internet
Author
Wheen, Andrew
Published
New York, NY : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Scalable Network Monitoring in High Speed Networks
Author
Choi, Baek-Young
Published
New York, NY : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Flow Control of Congested Networks
Author
Odoni, Amedeo R.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-86726-2
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Information Technology and the Computer Network
Author
Beauchamp, Kenneth G.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1984.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-87089-7
Location
Yale Internet Resource >> None
Format
Books / Online
61.
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
Author
Palma, José M. Laginha M.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Wired/Wireless Internet Communications 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
66.
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
Author
Camarinha-Matos, Luis M.
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
68.
Understanding Network Hacks Attack and Defense with Python
Author
Ballmann, Bastian
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
69.
Web Information Systems Engineering – WISE 2014 Workshops 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
70.
Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers
Author
Sherif, Mostafa Hashem
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks
Author
Shehory, Onn
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
Author
Cassez, Franck
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings
Author
Jones, Richard
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
Author
Merz, Stephan
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
75.
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Author
Sauer, Stefan
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
76.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings
Author
Fischbach, Kai
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
Author
Wyrzykowski, Roman
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Author
Giannakopoulou, Dimitra
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Towards the Internet of Services: The THESEUS Research Program
Author
Wahlster, Wolfgang
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Trusted Cloud Computing
Author
Krcmar, Helmut
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
81.
Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings
Author
Hervás, Ramón
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author
Hung, Dang
Published
Cham : Springer International Publishing : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
83.
Distributed Programming Theory and Practice
Author
Shankar, A. Udaya
Published
New York, NY : Springer New York : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
84.
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author
Castagna, Giuseppe
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
85.
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author
Groves, Lindsay
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
86.
SemProM Foundations of Semantic Product Memories for the Internet of Things
Author
Wahlster, Wolfgang
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers
Author
Zuniga, Marco
Published
Cham : Springer International Publishing : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
88.
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author
Hierons, Robert M.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author
Haugen, Øystein
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
90.
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Author
Urzaiz, Gabriel
Published
Cham : Springer International Publishing : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
91.
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Author
Szmuc, Tomasz
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Author
Chakraborty, Supratik
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
93.
Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author
O’Boyle, Michael
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
94.
Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers
Author
Cranefield, Stephen
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
95.
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Author
Noble, James
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
96.
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
97.
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Author
Aoki, Toshiaki
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
98.
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author
Giese, Holger
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
Author
Winckler, Marco
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Author
Calinescu, Radu
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online