Search Results for - Narrowed by: Software engineering. - Computer science.

Google xi tong jia gou jie mi : gou jian an quan ke kao de xi tong = Building secure and reliable systems

2024-06-18T11:07:42Z

by Adkins, Heather, author.
https://go.oreilly.com/library-access/library/view/-/9787115569257/?ar https://learning.oreilly.com/library/view/~/9787115569257/?ar https://learning.oreilly.com/library/view/~/9787115569257
Format: Electronic Resources

Advances in computers. Volume 114

2024-06-18T11:07:42Z

by Hurson, A. R., editor.
https://go.oreilly.com/library-access/library/view/-/9780128171585/?ar https://learning.oreilly.com/library/view/~/9780128171585 https://learning.oreilly.com/library/view/~/9780128171585/?ar
Format: Electronic Resources

Soft Skills to Advance Your Developer Career : Actionable Steps to Help Maximize Your Potential

2024-06-18T11:07:42Z

by Nagy, Zsolt., author
https://learning.oreilly.com/library/view/~/9781484250921/?ar https://go.oreilly.com/library-access/library/view/-/9781484250921/?ar
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-06-18T11:07:42Z

by Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-18T11:07:42Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-06-18T11:07:42Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97586-3
Format: Electronic Resources

Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

2024-06-18T11:07:42Z

by Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820
https://doi.org/10.1007/978-3-319-98379-0
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-06-18T11:07:42Z

by Češka, Milan. editor.
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

2024-06-18T11:07:42Z

by Naccache, David. editor. (orcid)0000-0002-8651-6555
https://doi.org/10.1007/978-3-030-01950-1
Format: Electronic Resources

Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

2024-06-18T11:07:42Z

by Kováčiková, Tatiana. editor.
https://doi.org/10.1007/978-3-319-93710-6
Format: Electronic Resources

Fundamentals of Software Culture

2024-06-18T11:07:42Z

by Qin, Zheng. author.
https://doi.org/10.1007/978-981-13-0701-0
Format: Electronic Resources

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Röcker, Carsten. editor.
https://doi.org/10.1007/978-3-319-93644-4
Format: Electronic Resources

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2024-06-18T11:07:42Z

by Dey, Nilanjan. editor.
https://doi.org/10.1007/978-3-319-90059-9
Format: Electronic Resources

Handbook of Dynamic Data Driven Applications Systems

2024-06-18T11:07:42Z

by Blasch, Erik. editor.
https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2024-06-18T11:07:42Z

by Baek, Joonsang. editor.
https://doi.org/10.1007/978-3-030-01446-9
Format: Electronic Resources

e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings

2024-06-18T11:07:42Z

by Liu, Shuai. editor.
https://doi.org/10.1007/978-3-319-93719-9
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-06-18T11:07:42Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

2024-06-18T11:07:42Z

by Guidi, Barbara. editor.
https://doi.org/10.1007/978-3-319-76111-4
Format: Electronic Resources

Web Content Credibility

2024-06-18T11:07:42Z

by Wierzbicki, Adam. author.
https://doi.org/10.1007/978-3-319-77794-8
Format: Electronic Resources

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2024-06-18T11:07:42Z

by Shi, Zhongzhi. editor.
https://doi.org/10.1007/978-3-030-01313-4
Format: Electronic Resources

Towards Extensible and Adaptable Methods in Computing

2024-06-18T11:07:42Z

by Chakraverty, Shampa. editor.
https://doi.org/10.1007/978-981-13-2348-5
Format: Electronic Resources

Introduction to Programming with Fortran

2024-06-18T11:07:42Z

by Chivers, Ian. author.
https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2024-06-18T11:07:42Z

by Iklé, Matthew. editor.
https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources

Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings

2024-06-18T11:07:42Z

by Torres Guerrero, Francisco. editor.
https://doi.org/10.1007/978-3-319-73323-4
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2024-06-18T11:07:42Z

by Luo, Yuhua. editor.
https://doi.org/10.1007/978-3-030-00560-3
Format: Electronic Resources

Fog Computing Concepts, Frameworks and Technologies

2024-06-18T11:07:42Z

by Mahmood, Zaigham. editor.
https://doi.org/10.1007/978-3-319-94890-4
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2024-06-18T11:07:42Z

by Cremers, Cas. editor. (orcid)0000-0003-0322-2293
https://doi.org/10.1007/978-3-030-04762-7
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-06-18T11:07:42Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Rau, Pei-Luen Patrick. editor.
https://doi.org/10.1007/978-3-319-92141-9
Format: Electronic Resources

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2024-06-18T11:07:42Z

by Saeed, Khalid. editor. (orcid)0000-0002-7741-7045
https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources

Digitalisation, Innovation, and Transformation 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings

2024-06-18T11:07:42Z

by Liu, Kecheng. editor.
https://doi.org/10.1007/978-3-319-94541-5
Format: Electronic Resources

Modeling Companion for Software Practitioners

2024-06-18T11:07:42Z

by Börger, Egon. author.
https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-18T11:07:42Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2024-06-18T11:07:42Z

by Mitrovic, Tanja. editor.
https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04167-0
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Debruyne, Christophe. editor.
https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Cuppens, Nora. editor.
https://doi.org/10.1007/978-3-319-76687-4
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-06-18T11:07:42Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-06-18T11:07:42Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-06-18T11:07:42Z

by Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-06-18T11:07:42Z

by Takahashi, Yutaka. editor.
https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Ham, Jaap. editor. (orcid)0000-0003-1703-5165
https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Chen, Jessie Y.C. editor.
https://doi.org/10.1007/978-3-319-91584-5
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-06-18T11:07:42Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91238-7
Format: Electronic Resources

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-06-18T11:07:42Z

by Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-06-18T11:07:42Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

2024-06-18T11:07:42Z

by Drevin, Lynette. editor. (orcid)0000-0001-9370-8216
https://doi.org/10.1007/978-3-319-99734-6
Format: Electronic Resources

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-06-18T11:07:42Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2024-06-18T11:07:42Z

by Damaševičius, Robertas. editor.
https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-06-18T11:07:42Z

by Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings

2024-06-18T11:07:42Z

by Lin, Yi-Bing. editor.
https://doi.org/10.1007/978-3-030-00410-1
Format: Electronic Resources

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Peixoto, Nathalia. editor.
https://doi.org/10.1007/978-3-319-94806-5
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-18T11:07:42Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-06-18T11:07:42Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-319-93375-7
Format: Electronic Resources

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

2024-06-18T11:07:42Z

by Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
Format: Electronic Resources

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-06-18T11:07:42Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-06-18T11:07:42Z

by German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04179-3
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04212-7
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04224-0
Format: Electronic Resources

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-06-18T11:07:42Z

by Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2024-06-18T11:07:42Z

by de Supinski, Bronis R. editor.
https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-06-18T11:07:42Z

by Korošec, Peter. editor.
https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91244-8
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-18T11:07:42Z

by Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-06-18T11:07:42Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339
https://doi.org/10.1007/978-3-319-76369-9
Format: Electronic Resources

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2024-06-18T11:07:42Z

by Ganapathy, Vinod. editor.
https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

2024-06-18T11:07:42Z

by Belqasmi, Fatna. editor.
https://doi.org/10.1007/978-3-319-67837-5
Format: Electronic Resources

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91250-9
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-06-18T11:07:42Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Prattichizzo, Domenico. editor.
https://doi.org/10.1007/978-3-319-93445-7
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-06-18T11:07:42Z

by Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-93815-8
Format: Electronic Resources

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2024-06-18T11:07:42Z

by Hu, Jiankun. editor.
https://doi.org/10.1007/978-3-319-90775-8
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-18T11:07:42Z

by Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-06-18T11:07:42Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources

Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings

2024-06-18T11:07:42Z

by Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961
https://doi.org/10.1007/978-3-319-99127-6
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-06-18T11:07:42Z

by Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Digital Marketplaces Unleashed

2024-06-18T11:07:42Z

by Linnhoff-Popien, Claudia. editor.
https://doi.org/10.1007/978-3-662-49275-8
Format: Electronic Resources

Designing Usable and Secure Software with IRIS and CAIRIS

2024-06-18T11:07:42Z

by Faily, Shamal. author.
https://doi.org/10.1007/978-3-319-75493-2
Format: Electronic Resources

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2024-06-18T11:07:42Z

by Mikulski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-97955-7
Format: Electronic Resources

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2024-06-18T11:07:42Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2024-06-18T11:07:42Z

by Camenisch, Jan. editor. (orcid)0000-0001-6654-9459
https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources

Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings

2024-06-18T11:07:42Z

by Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X
https://doi.org/10.1007/978-3-030-05204-1
Format: Electronic Resources

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2024-06-18T11:07:42Z

by Ham, Jaap. editor. (orcid)0000-0003-1703-5165
https://doi.org/10.1007/978-3-319-78978-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

2024-06-18T11:07:42Z

by Clua, Esteban. editor. (orcid)0000-0001-5650-1718
https://doi.org/10.1007/978-3-319-99426-0
Format: Electronic Resources

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

2024-06-18T11:07:42Z

by Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
https://doi.org/10.1007/978-3-030-00305-0
Format: Electronic Resources

Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings

2024-06-18T11:07:42Z

by Saracino, Andrea. editor.
https://doi.org/10.1007/978-3-030-04372-8
Format: Electronic Resources

Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings

2024-06-18T11:07:42Z

by Hancke, Gerhard. editor.
https://doi.org/10.1007/978-3-319-96565-9
Format: Electronic Resources

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2024-06-18T11:07:42Z

by Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918
https://doi.org/10.1007/978-3-319-91662-0
Format: Electronic Resources

Programming with Actors State-of-the-Art and Research Perspectives

2024-06-18T11:07:42Z

by Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-06-18T11:07:42Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-06-18T11:07:42Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-06-18T11:07:42Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Miesenberger, Klaus. editor.
https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-06-18T11:07:42Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Capkun, Srdjan. editor.
https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2024-06-18T11:07:42Z

by Graciani, Carmen. editor.
https://doi.org/10.1007/978-3-030-00265-7
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-06-18T11:07:42Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-06-18T11:07:42Z

by Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X
https://doi.org/10.1007/978-3-319-99828-2
Format: Electronic Resources

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Balsamo, Simonetta. editor.
https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Streitz, Norbert. editor. (orcid)0000-0002-0244-0945
https://doi.org/10.1007/978-3-319-91131-1
Format: Electronic Resources

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-91803-7
Format: Electronic Resources

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-91797-9
Format: Electronic Resources

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-91806-8
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-06-18T11:07:42Z

by Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-06-18T11:07:42Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-06-18T11:07:42Z

by Krogstie, John. editor.
https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Chen, Jessie Y.C. editor.
https://doi.org/10.1007/978-3-319-91581-4
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Braubach, Lars. editor.
https://doi.org/10.1007/978-3-319-91764-1
Format: Electronic Resources

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

2024-06-18T11:07:42Z

by Catalano, Dario. editor.
https://doi.org/10.1007/978-3-319-98113-0
Format: Electronic Resources

Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Aramaki, Mitsuko. editor.
https://doi.org/10.1007/978-3-030-01692-0
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-06-18T11:07:42Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Streitz, Norbert. editor. (orcid)0000-0002-0244-0945
https://doi.org/10.1007/978-3-319-91125-0
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2024-06-18T11:07:42Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05063-4
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04182-3
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2024-06-18T11:07:42Z

by Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96878-0
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-06-18T11:07:42Z

by Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-06-18T11:07:42Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04221-9
Format: Electronic Resources

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2024-06-18T11:07:42Z

by Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930
https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-18T11:07:42Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-92049-8
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-18T11:07:42Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336
https://doi.org/10.1007/978-3-319-92081-8
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-18T11:07:42Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-06-18T11:07:42Z

by Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2024-06-18T11:07:42Z

by Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-01141-3
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Wannous, Hazem. editor.
https://doi.org/10.1007/978-3-319-91863-1
Format: Electronic Resources

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Kaczorowski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

2024-06-18T11:07:42Z

by Mokhtari, Mounir. editor.
https://doi.org/10.1007/978-3-319-94523-1
Format: Electronic Resources

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Liu, Peng. editor.
https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources

Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

2024-06-18T11:07:42Z

by Qing, Sihan. editor.
https://doi.org/10.1007/978-3-319-89500-0
Format: Electronic Resources

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Lirkov, Ivan. editor.
https://doi.org/10.1007/978-3-319-73441-5
Format: Electronic Resources

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 I

2024-06-18T11:07:42Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources

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

2024-06-18T11:07:42Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2024-06-18T11:07:42Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2024-06-18T11:07:42Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2024-06-18T11:07:42Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-06-18T11:07:42Z

by Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-06-18T11:07:42Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-06-18T11:07:42Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-06-18T11:07:42Z

by Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-06-18T11:07:42Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2024-06-18T11:07:42Z

by Duffy, Vincent G. editor.
https://doi.org/10.1007/978-3-319-91397-1
Format: Electronic Resources

Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Yamamoto, Sakae. editor.
https://doi.org/10.1007/978-3-319-92043-6
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-92052-8
Format: Electronic Resources

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070
https://doi.org/10.1007/978-3-319-95270-3
Format: Electronic Resources

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070
https://doi.org/10.1007/978-3-319-95282-6
Format: Electronic Resources

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-06-18T11:07:42Z

by Ahram, Tareq. editor.
https://doi.org/10.1007/978-3-319-60011-6
Format: Electronic Resources

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-06-18T11:07:42Z

by Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-06-18T11:07:42Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-06-18T11:07:42Z

by Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576
https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-06-18T11:07:42Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Prattichizzo, Domenico. editor.
https://doi.org/10.1007/978-3-319-93399-3
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-06-18T11:07:42Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-06-18T11:07:42Z

by McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources

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

2024-06-18T11:07:42Z

by Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-319-72817-9
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-06-18T11:07:42Z

by Kamsties, Erik. editor. (orcid)0000-0002-7373-8466
https://doi.org/10.1007/978-3-319-77243-1
Format: Electronic Resources

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

2024-06-18T11:07:42Z

by Younas, Muhammad. editor.
https://doi.org/10.1007/978-3-319-97163-6
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-06-18T11:07:42Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2024-06-18T11:07:42Z

by Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
https://doi.org/10.1007/978-3-030-00419-4
Format: Electronic Resources

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-06-18T11:07:42Z

by Tjoa, A Min. editor.
https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-06-18T11:07:42Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2024-06-18T11:07:42Z

by Medina, Manel. editor.
https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2024-06-18T11:07:42Z

by Bu, Lei. editor. (orcid)0000-0003-0517-7801
https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2024-06-18T11:07:42Z

by Gonzalez-Perez, Cesar. author.
https://doi.org/10.1007/978-3-319-72652-6
Format: Electronic Resources

Handbook of Model Checking

2024-06-18T11:07:42Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-18T11:07:42Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

2024-06-18T11:07:42Z

by Bissyande, Tegawendé F. editor.
https://doi.org/10.1007/978-3-319-66742-3
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-06-18T11:07:42Z

by Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

2024-06-18T11:07:42Z

by Egi, Hironori. editor.
https://doi.org/10.1007/978-3-319-98743-9
Format: Electronic Resources

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

2024-06-18T11:07:42Z

by Kameas, Achilles. editor. (orcid)0000-0002-1004-7860
https://doi.org/10.1007/978-3-030-03062-9
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-06-18T11:07:42Z

by Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

2024-06-18T11:07:42Z

by Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508
https://doi.org/10.1007/978-3-319-99582-3
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-06-18T11:07:42Z

by Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

2024-06-18T11:07:42Z

by Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961
https://doi.org/10.1007/978-3-319-78574-5
Format: Electronic Resources

Wireless Indoor Localization A Crowdsourcing Approach

2024-06-18T11:07:42Z

by Wu, Chenshu. author.
https://doi.org/10.1007/978-981-13-0356-2
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-06-18T11:07:42Z

by Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-06-18T11:07:42Z

by Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII

2024-06-18T11:07:42Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04239-4
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-06-18T11:07:42Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-06-18T11:07:42Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2024-06-18T11:07:42Z

by Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Mazal, Jan. editor.
https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-06-18T11:07:42Z

by Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888
https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources

RoboCup 2017: Robot World Cup XXI

2024-06-18T11:07:42Z

by Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123
https://doi.org/10.1007/978-3-030-00308-1
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-06-18T11:07:42Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-06-18T11:07:42Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

DevOps for Salesforce : build, test, and streamline data pipelines to simplify development in Salesforce

2024-06-18T11:07:42Z

by Dive, Priyanka, author.
https://go.oreilly.com/library-access/library/view/-/9781788833349/?ar https://learning.oreilly.com/library/view/~/9781788833349 https://learning.oreilly.com/library/view/~/9781788833349/?ar
Format: Electronic Resources

Advances in computers. Volume 105

2024-06-18T11:07:42Z

by Memon, Atif M., editor.
https://go.oreilly.com/library-access/library/view/-/9780128122334/?ar https://learning.oreilly.com/library/view/~/9780128122334/?ar https://learning.oreilly.com/library/view/~/9780128122334
Format: Electronic Resources

Cross-platform Localization for Native Mobile Apps with Xamarin

2024-06-18T11:07:42Z

by Miller, Chris.
https://learning.oreilly.com/library/view/~/9781484224663 https://learning.oreilly.com/library/view/~/9781484224663/?ar https://go.oreilly.com/library-access/library/view/-/9781484224663/?ar
Format: Electronic Resources

Beginning XML with C# 7 : XML processing and data access for C# developers

2024-06-18T11:07:42Z

by Joshi, Bipin, author.
https://learning.oreilly.com/library/view/~/9781484231050/?ar https://go.oreilly.com/library-access/library/view/-/9781484231050/?ar
Format: Electronic Resources

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings

2024-06-18T11:07:42Z

by Remke, Anne. editor.
https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources

Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings

2024-06-18T11:07:42Z

by Afsarmanesh, Hamideh. editor.
https://doi.org/10.1007/978-3-319-45390-3
Format: Electronic Resources

Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Brinda, Torsten. editor.
https://doi.org/10.1007/978-3-319-54687-2
Format: Electronic Resources

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2024-06-18T11:07:42Z

by Bošnački, Dragan. editor.
https://doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-06-18T11:07:42Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings

2024-06-18T11:07:42Z

by Parsons, Jeffrey. editor.
https://doi.org/10.1007/978-3-319-39294-3
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-06-18T11:07:42Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Collaboration Meets Interactive Spaces

2024-06-18T11:07:42Z

by Anslow, Craig. editor.
https://doi.org/10.1007/978-3-319-45853-3
Format: Electronic Resources

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

2024-06-18T11:07:42Z

by Mandler, Benny. editor.
https://doi.org/10.1007/978-3-319-47075-7
Format: Electronic Resources

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I

2024-06-18T11:07:42Z

by Mandler, Benny. editor.
https://doi.org/10.1007/978-3-319-47063-4
Format: Electronic Resources

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Lorenz, Pascal. editor.
https://doi.org/10.1007/978-3-319-30142-6
Format: Electronic Resources

Tangible Interactive Systems Grasping the Real World with Computers

2024-06-18T11:07:42Z

by Boy, Guy André. author.
https://doi.org/10.1007/978-3-319-30270-6
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-06-18T11:07:42Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2024-06-18T11:07:42Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part III

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40406-6
Format: Electronic Resources

Principles and Practice of Multi-Agent Systems International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-46218-9
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Gaudou, Benoit. editor.
https://doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-18T11:07:42Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Lucanu, Dorel. editor.
https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-06-18T11:07:42Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2024-06-18T11:07:42Z

by Stevens, Perdita. editor.
https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

2024-06-18T11:07:42Z

by Wierzbicki, Adam. editor.
https://doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-06-18T11:07:42Z

by De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Users and Context Diversity 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III

2024-06-18T11:07:42Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-40238-3
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

2024-06-18T11:07:42Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources

Music, Mind, and Embodiment 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Kronland-Martinet, Richard. editor.
https://doi.org/10.1007/978-3-319-46282-0
Format: Electronic Resources

Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Daniel, Florian. editor.
https://doi.org/10.1007/978-3-319-28727-0
Format: Electronic Resources

Understanding Control Flow Concurrent Programming Using μC++

2024-06-18T11:07:42Z

by Buhr, Peter A. author.
https://doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources

Integrating User-Centred Design in Agile Development

2024-06-18T11:07:42Z

by Cockton, Gilbert. editor.
https://doi.org/10.1007/978-3-319-32165-3
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-06-18T11:07:42Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Pervasive Computing Paradigms for Mental Health 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Serino, Silvia. editor.
https://doi.org/10.1007/978-3-319-32270-4
Format: Electronic Resources

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2024-06-18T11:07:42Z

by Herdt, Vladimir. author.
https://doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers

2024-06-18T11:07:42Z

by Leon-Garcia, Alberto. editor.
https://doi.org/10.1007/978-3-319-33681-7
Format: Electronic Resources

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40409-7
Format: Electronic Resources

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-3-662-49283-3
Format: Electronic Resources

Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

2024-06-18T11:07:42Z

by Tekinerdogan, Bedir. editor.
https://doi.org/10.1007/978-3-319-48992-6
Format: Electronic Resources

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2024-06-18T11:07:42Z

by Abrahamsson, Pekka. editor.
https://doi.org/10.1007/978-3-319-49094-6
Format: Electronic Resources

Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

2024-06-18T11:07:42Z

by Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-319-47590-5
Format: Electronic Resources

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2024-06-18T11:07:42Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Kozubek, Tomáš. editor.
https://doi.org/10.1007/978-3-319-40361-8
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-06-18T11:07:42Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-06-18T11:07:42Z

by Kiselyov, Oleg. editor.
https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II

2024-06-18T11:07:42Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40355-7
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2024-06-18T11:07:42Z

by Bello, Fernando. editor.
https://doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources

Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by De Gloria, Alessandro. editor.
https://doi.org/10.1007/978-3-319-40216-1
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-06-18T11:07:42Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2024-06-18T11:07:42Z

by ter Beek, Maurice H. editor.
https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2024-06-18T11:07:42Z

by Bello, Fernando. editor.
https://doi.org/10.1007/978-3-319-42324-1
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-06-18T11:07:42Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-06-18T11:07:42Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-06-18T11:07:42Z

by Greuel, Gert-Martin. editor.
https://doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources

Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-3159-5
Format: Electronic Resources

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

2024-06-18T11:07:42Z

by Karagiannis, Dimitris. editor.
https://doi.org/10.1007/978-3-319-39417-6
Format: Electronic Resources

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments

2024-06-18T11:07:42Z

by Biswas, Pradipta. author.
https://doi.org/10.1007/978-3-319-40709-8
Format: Electronic Resources

Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Figueroa-García, Juan Carlos. editor.
https://doi.org/10.1007/978-3-319-50880-1
Format: Electronic Resources

Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

2024-06-18T11:07:42Z

by Dregvaite, Giedre. editor.
https://doi.org/10.1007/978-3-319-46254-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-06-18T11:07:42Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources

Distributed Simulation A Model Driven Engineering Approach

2024-06-18T11:07:42Z

by Topçu, Okan. author.
https://doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-06-18T11:07:42Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-06-18T11:07:42Z

by Kunze, Matthias. author.
https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

2024-06-18T11:07:42Z

by Ebert, Achim. editor.
https://doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-06-18T11:07:42Z

by Bogdan, Cristian. editor.
https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Gadducci, Fabio. editor.
https://doi.org/10.1007/978-3-319-47286-7
Format: Electronic Resources

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2024-06-18T11:07:42Z

by Grabowski, Jens. editor.
https://doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-06-18T11:07:42Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-06-18T11:07:42Z

by Bartocci, Ezio. editor.
https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-06-18T11:07:42Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-18T11:07:42Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2024-06-18T11:07:42Z

by Yakovyna, Vitaliy. editor.
https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2024-06-18T11:07:42Z

by Sieckenius de Souza, Clarisse. author.
https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-06-18T11:07:42Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources