Search Results for - Narrowed by: Computer science. - Electronic Resources

Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures

2024-05-20T05:45:20Z

Yazar Aspray, William. editor.
https://doi.org/10.1007/978-3-030-18955-6
Format: Electronic Resources

Big Scientific Data Management First International Conference, BigSDM 2018, Beijing, China, November 30 – December 1, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Li, Jianhui. editor.
https://doi.org/10.1007/978-3-030-28061-1
Format: Electronic Resources

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Prateek, Manish. editor.
https://doi.org/10.1007/978-981-15-1718-1
Format: Electronic Resources

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Tonin, Graziela Simone. editor.
https://doi.org/10.1007/978-3-030-14310-7
Format: Electronic Resources

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Bordeleau, Francis. editor.
https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources

Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management System

2024-05-20T05:45:20Z

Yazar Kuruba, Mahesh. author.
https://doi.org/10.1007/978-981-13-7972-7
Format: Electronic Resources

UnBlock the Blockchain

2024-05-20T05:45:20Z

Yazar Upadhyay, Nitin. author.
https://doi.org/10.1007/978-981-15-0177-7
Format: Electronic Resources

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources

Handbook of Software Engineering

2024-05-20T05:45:20Z

Yazar Cha, Sungdeok. editor.
https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Hoda, Rashina. editor. (orcid)0000-0001-5147-8096
https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Ren, Rui. editor.
https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201
https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources

Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X
https://doi.org/10.1007/978-3-030-15850-7
Format: Electronic Resources

Product Lifecycle Management in the Digital Twin Era 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Fortin, Clement. editor.
https://doi.org/10.1007/978-3-030-42250-9
Format: Electronic Resources

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750
https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources

Managed Software Evolution

2024-05-20T05:45:20Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377
https://doi.org/10.1007/978-3-030-34621-8
Format: Electronic Resources

Artificial Intelligence versus Human Intelligence Are Humans Going to Be Hacked?

2024-05-20T05:45:20Z

Yazar Lexcellent, Christian. author.
https://doi.org/10.1007/978-3-030-21445-6
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-05-20T05:45:20Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Walker, Alastair. editor.
https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources

Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814
https://doi.org/10.1007/978-3-030-36701-5
Format: Electronic Resources

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124
https://doi.org/10.1007/978-3-030-05767-1
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867
https://doi.org/10.1007/978-3-030-19034-7
Format: Electronic Resources

Advances in Information Systems Development Designing Digitalization

2024-05-20T05:45:20Z

Yazar Andersson, Bo. editor.
https://doi.org/10.1007/978-3-030-22993-1
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Luo, Yuhua. editor. (orcid)0000-0003-3057-4753
https://doi.org/10.1007/978-3-030-30949-7
Format: Electronic Resources

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Mirto, Ignazio Mauro. editor.
https://doi.org/10.1007/978-3-030-10868-7
Format: Electronic Resources

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Chang, Chuan-Yu. editor.
https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources

Macrotask Crowdsourcing Engaging the Crowds to Address Complex Problems

2024-05-20T05:45:20Z

Yazar Khan, Vassillis-Javed. editor.
https://doi.org/10.1007/978-3-030-12334-5
Format: Electronic Resources

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Information Literacy in Everyday Life 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Kurbanoğlu, Serap. editor.
https://doi.org/10.1007/978-3-030-13472-3
Format: Electronic Resources

Becoming a data-driven Organisation Unlock the value of data

2024-05-20T05:45:20Z

Yazar Treder, Martin. author.
https://doi.org/10.1007/978-3-662-60304-8
Format: Electronic Resources

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-05-20T05:45:20Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Méndez, Eva. editor. (orcid)0000-0002-5337-4722
https://doi.org/10.1007/978-3-030-00066-0
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Experimental IR Meets Multilinguality, Multimodality, and Interaction 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Bellot, Patrice. editor. (orcid)0000-0001-8698-5055
https://doi.org/10.1007/978-3-319-98932-7
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-05-20T05:45:20Z

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

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources

Serious Games 4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Göbel, Stefan. editor.
https://doi.org/10.1007/978-3-030-02762-9
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91476-3
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-05-20T05:45:20Z

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

Memory and Technology How We Use Information in the Brain and the World

2024-05-20T05:45:20Z

Yazar Finley, Jason R. author.
https://doi.org/10.1007/978-3-319-99169-6
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-05-20T05:45:20Z

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

Computer Security 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Lopez, Javier. editor.
https://doi.org/10.1007/978-3-319-98989-1
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-05-20T05:45:20Z

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

e-Infrastructure and e-Services for Developing Countries 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings

2024-05-20T05:45:20Z

Yazar Odumuyiwa, Victor. editor.
https://doi.org/10.1007/978-3-319-98827-6
Format: Electronic Resources

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2024-05-20T05:45:20Z

Yazar Louis, Pierre-Yves. editor.
https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources

Online Harassment

2024-05-20T05:45:20Z

Yazar Golbeck, Jennifer. editor.
https://doi.org/10.1007/978-3-319-78583-7
Format: Electronic Resources

Concept Invention Foundations, Implementation, Social Aspects and Applications

2024-05-20T05:45:20Z

Yazar Confalonieri, Roberto. editor.
https://doi.org/10.1007/978-3-319-65602-1
Format: Electronic Resources

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2024-05-20T05:45:20Z

Yazar Melikyan, Vazgen. author.
https://doi.org/10.1007/978-3-319-71637-4
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-05-20T05:45:20Z

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

Graph Data Management Fundamental Issues and Recent Developments

2024-05-20T05:45:20Z

Yazar Fletcher, George. editor.
https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Takahashi, Yutaka. editor.
https://doi.org/10.1007/978-3-319-93736-6
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-05-20T05:45:20Z

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

Human Interface and the Management of Information. Information in Applications and Services 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Yamamoto, Sakae. editor.
https://doi.org/10.1007/978-3-319-92046-7
Format: Electronic Resources

Explorations in Art and Technology

2024-05-20T05:45:20Z

Yazar Candy, Linda. author.
https://doi.org/10.1007/978-1-4471-7367-0
Format: Electronic Resources

User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Abdullah, Natrah. editor.
https://doi.org/10.1007/978-981-13-1628-9
Format: Electronic Resources

Neural Networks and Deep Learning A Textbook

2024-05-20T05:45:20Z

Yazar Aggarwal, Charu C. author.
https://doi.org/10.1007/978-3-319-94463-0
Format: Electronic Resources

Learning Java with Games

2024-05-20T05:45:20Z

Yazar Xu, Chong-wei. author.
https://doi.org/10.1007/978-3-319-72886-5
Format: Electronic Resources

Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Wang, Yongtian. editor.
https://doi.org/10.1007/978-981-13-1702-6
Format: Electronic Resources

Funology 2 From Usability to Enjoyment

2024-05-20T05:45:20Z

Yazar Blythe, Mark. editor.
https://doi.org/10.1007/978-3-319-68213-6
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Honeypot Frameworks and Their Applications: A New Framework

2024-05-20T05:45:20Z

Yazar NG, Chee Keong. author.
https://doi.org/10.1007/978-981-10-7739-5
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-05-20T05:45:20Z

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

Geospatial Infrastructure, Applications and Technologies: India Case Studies

2024-05-20T05:45:20Z

Yazar Sarda, N.L. editor.
https://doi.org/10.1007/978-981-13-2330-0
Format: Electronic Resources

Connectomics in NeuroImaging Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Wu, Guorong. editor.
https://doi.org/10.1007/978-3-030-00755-3
Format: Electronic Resources

Family History Digital Libraries

2024-05-20T05:45:20Z

Yazar Bainbridge, William Sims. author.
https://doi.org/10.1007/978-3-030-01063-8
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-05-20T05:45:20Z

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

Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459
https://doi.org/10.1007/978-3-030-01535-0
Format: Electronic Resources

Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings

2024-05-20T05:45:20Z

Yazar Chisik, Yoram. editor.
https://doi.org/10.1007/978-3-319-73062-2
Format: Electronic Resources

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-030-02465-9
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-05-20T05:45:20Z

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

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2024-05-20T05:45:20Z

Yazar Prasad, Sushil K. editor.
https://doi.org/10.1007/978-3-319-93109-8
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
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-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Computer Simulations of Space Societies

2024-05-20T05:45:20Z

Yazar Bainbridge, William Sims. author.
https://doi.org/10.1007/978-3-319-90560-0
Format: Electronic Resources

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources

Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Li, Hongxiu. editor.
https://doi.org/10.1007/978-3-319-97931-1
Format: Electronic Resources

Science of Cyber Security First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Liu, Feng. editor.
https://doi.org/10.1007/978-3-030-03026-1
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Baum, Marcus. editor.
https://doi.org/10.1007/978-3-319-96271-9
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-05-20T05:45:20Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
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-05-20T05:45:20Z

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

Designing for the User Experience in Learning Systems

2024-05-20T05:45:20Z

Yazar Kapros, Evangelos. editor.
https://doi.org/10.1007/978-3-319-94794-5
Format: Electronic Resources

Computer Security 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I

2024-05-20T05:45:20Z

Yazar Lopez, Javier. editor.
https://doi.org/10.1007/978-3-319-99073-6
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Maturity and Innovation in Digital Libraries 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Hamilton, New Zealand, November 19-22, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Dobreva, Milena. editor. (orcid)0000-0002-2579-7541
https://doi.org/10.1007/978-3-030-04257-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Computational Kinematics Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017

2024-05-20T05:45:20Z

Yazar Zeghloul, Saïd. editor.
https://doi.org/10.1007/978-3-319-60867-9
Format: Electronic Resources

Transforming Digital Worlds 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Chowdhury, Gobinda. editor. (orcid)0000-0002-2122-9547
https://doi.org/10.1007/978-3-319-78105-1
Format: Electronic Resources

Multi-Objective Optimization Evolutionary to Hybrid Framework

2024-05-20T05:45:20Z

Yazar Mandal, Jyotsna K. editor.
https://doi.org/10.1007/978-981-13-1471-1
Format: Electronic Resources

Electronic Government and the Information Systems Perspective 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Kő, Andrea. editor. (orcid)0000-0003-0023-1143
https://doi.org/10.1007/978-3-319-98349-3
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Gagie, Travis. editor. (orcid)0000-0003-3689-327X
https://doi.org/10.1007/978-3-030-00479-8
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-05-20T05:45:20Z

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

Fundamentals of Software Culture

2024-05-20T05:45:20Z

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

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

2024-05-20T05:45:20Z

Yazar Ganapathi, Geetha. editor.
https://doi.org/10.1007/978-981-13-0716-4
Format: Electronic Resources

Computers Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Escudeiro, Paula. editor.
https://doi.org/10.1007/978-3-319-94640-5
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-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Developing Support Technologies Integrating Multiple Perspectives to Create Assistance that People Really Want

2024-05-20T05:45:20Z

Yazar Karafillidis, Athanasios. editor.
https://doi.org/10.1007/978-3-030-01836-8
Format: Electronic Resources

Museum Experience Design Crowds, Ecosystems and Novel Technologies

2024-05-20T05:45:20Z

Yazar Vermeeren, Arnold. editor.
https://doi.org/10.1007/978-3-319-58550-5
Format: Electronic Resources

Personal Multimedia Preservation Remembering or Forgetting Images and Video

2024-05-20T05:45:20Z

Yazar Mezaris, Vasileios. editor.
https://doi.org/10.1007/978-3-319-73465-1
Format: Electronic Resources

The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered

2024-05-20T05:45:20Z

Yazar Aiello, Marco. author.
https://doi.org/10.1007/978-3-319-90008-7
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Capkun, Srdjan. editor.
https://doi.org/10.1007/978-3-030-02641-7
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-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Data Science and Predictive Analytics Biomedical and Health Applications using R

2024-05-20T05:45:20Z

Yazar Dinov, Ivo D. author.
https://doi.org/10.1007/978-3-319-72347-1
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Recent Trends in Computer Applications Best Studies from the 2017 International Conference on Computer and Applications, Dubai, UAE

2024-05-20T05:45:20Z

Yazar Alja’am, Jihad Mohamad. editor.
https://doi.org/10.1007/978-3-319-89914-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar 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 III

2024-05-20T05:45:20Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03332-3
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-05-20T05:45:20Z

Yazar 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-05-20T05:45:20Z

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

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2024-05-20T05:45:20Z

Yazar López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396
https://doi.org/10.1007/978-3-319-62136-4
Format: Electronic Resources

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Potapov, Igor. editor.
https://doi.org/10.1007/978-3-030-00250-3
Format: Electronic Resources

Higher Education Computer Science A Manual of Practical Approaches

2024-05-20T05:45:20Z

Yazar Carter, Jenny. editor.
https://doi.org/10.1007/978-3-319-98590-9
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
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-05-20T05:45:20Z

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

Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experience

2024-05-20T05:45:20Z

Yazar Kulshreshth, Arun K. author.
https://doi.org/10.1007/978-3-319-77953-9
Format: Electronic Resources

A New Kind of Computational Biology Cellular Automata Based Models for Genomics and Proteomics

2024-05-20T05:45:20Z

Yazar Pal Chaudhuri, Parimal. author.
https://doi.org/10.1007/978-981-13-1639-5
Format: Electronic Resources

Computing with Data An Introduction to the Data Industry

2024-05-20T05:45:20Z

Yazar Lebanon, Guy. author.
https://doi.org/10.1007/978-3-319-98149-9
Format: Electronic Resources

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285
https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-05-20T05:45:20Z

Yazar Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-05-20T05:45:20Z

Yazar Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Technology Enhanced Assessment 20th International Conference, TEA 2017, Barcelona, Spain, October 5–6, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Ras, Eric. editor.
https://doi.org/10.1007/978-3-319-97807-9
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-05-20T05:45:20Z

Yazar Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-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-05-20T05:45:20Z

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

Cognitive Biases in Visualizations

2024-05-20T05:45:20Z

Yazar Ellis, Geoffrey. editor.
https://doi.org/10.1007/978-3-319-95831-6
Format: Electronic Resources

Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335
https://doi.org/10.1007/978-3-319-99843-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Advances in Digital Forensics XIV 14th IFIP WG 11.9 International Conference, New Delhi, India, January 3-5, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Peterson, Gilbert. editor.
https://doi.org/10.1007/978-3-319-99277-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Kim, Donghyun. editor.
https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Dinur, Itai. editor.
https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684
https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Information Security Practice and Experience 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Su, Chunhua. editor.
https://doi.org/10.1007/978-3-319-99807-7
Format: Electronic Resources

Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Beck, Dennis. editor.
https://doi.org/10.1007/978-3-319-93596-6
Format: Electronic Resources

Advances in The Human Side of Service Engineering Proceedings of the AHFE 2017 International Conference on The Human Side of Service Engineering, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-05-20T05:45:20Z

Yazar Freund, Louis E. editor.
https://doi.org/10.1007/978-3-319-60486-2
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXXI

2024-05-20T05:45:20Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-58464-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Nunes, Isabel L. editor.
https://doi.org/10.1007/978-3-319-60366-7
Format: Electronic Resources

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-05-20T05:45:20Z

Yazar Stephanidis, Constantine. editor.
https://doi.org/10.1007/978-3-319-92270-6
Format: Electronic Resources

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-05-20T05:45:20Z

Yazar Lohstroh, Marten. editor.
https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Fleuriot, Jacques. editor.
https://doi.org/10.1007/978-3-319-99957-9
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Christodoulou, George. editor.
https://doi.org/10.1007/978-3-030-04612-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-05-20T05:45:20Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91250-9
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-05-20T05:45:20Z

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

Reconstructing Our Orders Artificial Intelligence and Human Society

2024-05-20T05:45:20Z

Yazar Jin, Donghan. editor.
https://doi.org/10.1007/978-981-13-2209-9
Format: Electronic Resources

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2024-05-20T05:45:20Z

Yazar Weichslgartner, Andreas. author.
https://doi.org/10.1007/978-981-10-7356-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2024-05-20T05:45:20Z

Yazar Zhou, Jia. editor.
https://doi.org/10.1007/978-3-319-92034-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates

2024-05-20T05:45:20Z

Yazar Karwowski, Waldemar. editor.
https://doi.org/10.1007/978-3-319-73888-8
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-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Emotional Engineering, Vol. 6 Understanding Motivation

2024-05-20T05:45:20Z

Yazar Fukuda, Shuichi. editor.
https://doi.org/10.1007/978-3-319-70802-7
Format: Electronic Resources

Mechatronics for Cultural Heritage and Civil Engineering

2024-05-20T05:45:20Z

Yazar Ottaviano, Erika. editor.
https://doi.org/10.1007/978-3-319-68646-2
Format: Electronic Resources

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-05-20T05:45:20Z

Yazar Mishra, Anurag. editor.
https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Applied Scientific Computing With Python

2024-05-20T05:45:20Z

Yazar Turner, Peter R. author.
https://doi.org/10.1007/978-3-319-89575-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-05-20T05:45:20Z

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

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Berekovic, Mladen. editor.
https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2024-05-20T05:45:20Z

Yazar Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651
https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources

Nonlinear Eigenproblems in Image Processing and Computer Vision

2024-05-20T05:45:20Z

Yazar Gilboa, Guy. author.
https://doi.org/10.1007/978-3-319-75847-3
Format: Electronic Resources

Handbook of Model Checking

2024-05-20T05:45:20Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2024-05-20T05:45:20Z

Yazar Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar 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-05-20T05:45:20Z

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

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Nkambou, Roger. editor.
https://doi.org/10.1007/978-3-319-91464-0
Format: Electronic Resources

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Crimi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-75238-9
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-05-20T05:45:20Z

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

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016

2024-05-20T05:45:20Z

Yazar Reddy, M. Sreenivasa. editor.
https://doi.org/10.1007/978-981-10-5272-9
Format: Electronic Resources

MediaSync Handbook on Multimedia Synchronization

2024-05-20T05:45:20Z

Yazar Montagud, Mario. editor.
https://doi.org/10.1007/978-3-319-65840-7
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Tangible Modeling with Open Source GIS

2024-05-20T05:45:20Z

Yazar Petrasova, Anna. author.
https://doi.org/10.1007/978-3-319-89303-7
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Paul, Manoranjan. editor.
https://doi.org/10.1007/978-3-319-75786-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-05-20T05:45:20Z

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

Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen

2024-05-20T05:45:20Z

Yazar Oñate, Eugenio. editor.
https://doi.org/10.1007/978-3-319-60885-3
Format: Electronic Resources

Advances in Robot Kinematics 2016

2024-05-20T05:45:20Z

Yazar Lenarčič, Jadran. editor.
https://doi.org/10.1007/978-3-319-56802-7
Format: Electronic Resources

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2024-05-20T05:45:20Z

Yazar Hidaka, Hideto. editor.
https://doi.org/10.1007/978-3-319-55306-1
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X
https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Abásolo, María José. editor. (orcid)0000-0003-4441-3264
https://doi.org/10.1007/978-3-319-90170-1
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Deep Learning in Natural Language Processing

2024-05-20T05:45:20Z

Yazar Deng, Li. editor.
https://doi.org/10.1007/978-981-10-5209-5
Format: Electronic Resources

Digital Marketplaces Unleashed

2024-05-20T05:45:20Z

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

Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Murao, Kazuya. editor.
https://doi.org/10.1007/978-3-319-90740-6
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Baetens, Jan M. editor.
https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources

Advanced Topics in Nonsmooth Dynamics Transactions of the European Network for Nonsmooth Dynamics

2024-05-20T05:45:20Z

Yazar Leine, Remco. editor.
https://doi.org/10.1007/978-3-319-75972-2
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Campilho, Aurélio. editor.
https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources

CABology: Value of Cloud, Analytics and Big Data Trio Wave

2024-05-20T05:45:20Z

Yazar Upadhyay, Nitin. author.
https://doi.org/10.1007/978-981-10-8675-5
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Reliable and Energy Efficient Streaming Multiprocessor Systems

2024-05-20T05:45:20Z

Yazar Das, Anup Kumar. author.
https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources

CMOS Circuits for Biological Sensing and Processing

2024-05-20T05:45:20Z

Yazar Mitra, Srinjoy. editor.
https://doi.org/10.1007/978-3-319-67723-1
Format: Electronic Resources

Advances in Human Factors in Training, Education, and Learning Sciences Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-05-20T05:45:20Z

Yazar Andre, Terence. editor.
https://doi.org/10.1007/978-3-319-60018-5
Format: Electronic Resources

Design of FPGA-Based Computing Systems with OpenCL

2024-05-20T05:45:20Z

Yazar Waidyasooriya, Hasitha Muthumala. author.
https://doi.org/10.1007/978-3-319-68161-0
Format: Electronic Resources

Online Engineering & Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA

2024-05-20T05:45:20Z

Yazar Auer, Michael E. editor.
https://doi.org/10.1007/978-3-319-64352-6
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-05-20T05:45:20Z

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

Designing Usable and Secure Software with IRIS and CAIRIS

2024-05-20T05:45:20Z

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

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Chen, Jianer. editor.
https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-05-20T05:45:20Z

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

Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Imine, Abdessamad. editor.
https://doi.org/10.1007/978-3-319-75650-9
Format: Electronic Resources

Closing the Gap Between Practice and Research in Industrial Engineering

2024-05-20T05:45:20Z

Yazar Viles, Elisabeth. editor.
https://doi.org/10.1007/978-3-319-58409-6
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-05-20T05:45:20Z

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

Probability and Statistics for Computer Science

2024-05-20T05:45:20Z

Yazar Forsyth, David. author.
https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
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-05-20T05:45:20Z

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

Neural Networks for Cooperative Control of Multiple Robot Arms

2024-05-20T05:45:20Z

Yazar Li, Shuai. author.
https://doi.org/10.1007/978-981-10-7037-2
Format: Electronic Resources

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2024-05-20T05:45:20Z

Yazar Liu, Qiyuan. author.
https://doi.org/10.1007/978-3-319-77225-7
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2024-05-20T05:45:20Z

Yazar Pagani, Santiago. author.
https://doi.org/10.1007/978-3-319-77479-4
Format: Electronic Resources

Plasticity and Fracture

2024-05-20T05:45:20Z

Yazar Brocks, Wolfgang. author.
https://doi.org/10.1007/978-3-319-62752-6
Format: Electronic Resources

Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs Beyond Red, Green and Blue

2024-05-20T05:45:20Z

Yazar Zhang, Xiaoyan. author.
https://doi.org/10.1007/978-981-10-3561-6
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Social Information Access Systems and Technologies

2024-05-20T05:45:20Z

Yazar Brusilovsky, Peter. editor.
https://doi.org/10.1007/978-3-319-90092-6
Format: Electronic Resources

Contactless VLSI Measurement and Testing Techniques

2024-05-20T05:45:20Z

Yazar Sayil, Selahattin. author.
https://doi.org/10.1007/978-3-319-69673-7
Format: Electronic Resources

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2024-05-20T05:45:20Z

Yazar Mehta, Ashok B. . author.
https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources

Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-05-20T05:45:20Z

Yazar Arezes, Pedro. editor.
https://doi.org/10.1007/978-3-319-60525-8
Format: Electronic Resources

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2024-05-20T05:45:20Z

Yazar Hunt, John. author.
https://doi.org/10.1007/978-3-319-75771-1
Format: Electronic Resources

Context-Aware Communication and Computing: Applications for Smart Environment

2024-05-20T05:45:20Z

Yazar Temdee, Punnarumol. author.
https://doi.org/10.1007/978-3-319-59035-6
Format: Electronic Resources

Computational Intelligence Techniques in Diagnosis of Brain Diseases

2024-05-20T05:45:20Z

Yazar Gurumoorthy, Sasikumar. author.
https://doi.org/10.1007/978-981-10-6529-3
Format: Electronic Resources

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015

2024-05-20T05:45:20Z

Yazar Agrawal, S. S. editor.
https://doi.org/10.1007/978-981-10-6626-9
Format: Electronic Resources

Digital Storage in Consumer Electronics The Essential Guide

2024-05-20T05:45:20Z

Yazar Coughlin, Thomas M. author.
https://doi.org/10.1007/978-3-319-69907-3
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Applied Cryptography and Network Security 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Preneel, Bart. editor. (orcid)0000-0003-2005-9651
https://doi.org/10.1007/978-3-319-93387-0
Format: Electronic Resources

Future Network Systems and Security 4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Doss, Robin. editor. (orcid)0000-0001-6143-6850
https://doi.org/10.1007/978-3-319-94421-0
Format: Electronic Resources

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Parlier, Greg H. editor.
https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources

An Introduction to the Technique of Formative Processes in Set Theory

2024-05-20T05:45:20Z

Yazar Cantone, Domenico. author.
https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources

Fundamentals of Probability and Stochastic Processes with Applications to Communications

2024-05-20T05:45:20Z

Yazar Park, Kun Il. author.
https://doi.org/10.1007/978-3-319-68075-0
Format: Electronic Resources

Advances in Usability and User Experience Proceedings of the AHFE 2017 International Conference on Usability and User Experience, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-05-20T05:45:20Z

Yazar Ahram, Tareq. editor.
https://doi.org/10.1007/978-3-319-60492-3
Format: Electronic Resources

Modelling and Verification of Secure Exams

2024-05-20T05:45:20Z

Yazar Giustolisi, Rosario. author.
https://doi.org/10.1007/978-3-319-67107-9
Format: Electronic Resources

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2024-05-20T05:45:20Z

Yazar Souri, Kamran. author.
https://doi.org/10.1007/978-3-319-62307-8
Format: Electronic Resources

Digital Forensics and Cyber Crime 9th International Conference, ICDF2C 2017, Prague, Czech Republic, October 9-11, 2017, Proceedings

2024-05-20T05:45:20Z

Yazar Matoušek, Petr. editor.
https://doi.org/10.1007/978-3-319-73697-6
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-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343
https://doi.org/10.1007/978-3-030-02925-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

System and Architecture Proceedings of CSI 2015

2024-05-20T05:45:20Z

Yazar Muttoo, Sunil Kumar. editor.
https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-05-20T05:45:20Z

Yazar Zaphiris, Panayiotis. editor.
https://doi.org/10.1007/978-3-319-91743-6
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Kozubek, Tomáš. editor.
https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

2024-05-20T05:45:20Z

Yazar O’Regan, Gerard. author.
https://doi.org/10.1007/978-3-030-02619-6
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar 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-05-20T05:45:20Z

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

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2024-05-20T05:45:20Z

Yazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources

Nonsymmetric Operads in Combinatorics

2024-05-20T05:45:20Z

Yazar Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources

Cybersecurity in Germany

2024-05-20T05:45:20Z

Yazar Schallbruch, Martin. author.
https://doi.org/10.1007/978-3-319-90014-8
Format: Electronic Resources

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2024-05-20T05:45:20Z

Yazar d’Amato, Claudia. editor.
https://doi.org/10.1007/978-3-030-00338-8
Format: Electronic Resources

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2024-05-20T05:45:20Z

Yazar Tavares, João Manuel R.S. editor.
https://doi.org/10.1007/978-3-319-68195-5
Format: Electronic Resources

Advances in Human Factors in Cybersecurity Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-05-20T05:45:20Z

Yazar Nicholson, Denise. editor.
https://doi.org/10.1007/978-3-319-60585-2
Format: Electronic Resources

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Bender, Michael A. editor.
https://doi.org/10.1007/978-3-319-77404-6
Format: Electronic Resources

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV

2024-05-20T05:45:20Z

Yazar Lai, Jian-Huang. editor.
https://doi.org/10.1007/978-3-030-03341-5
Format: Electronic Resources

Usability, Accessibility and Ambient Assisted Living

2024-05-20T05:45:20Z

Yazar Queirós, Alexandra. editor.
https://doi.org/10.1007/978-3-319-91226-4
Format: Electronic Resources

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

2024-05-20T05:45:20Z

Yazar Gonzalez-Perez, Cesar. author.
https://doi.org/10.1007/978-3-319-72652-6
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-05-20T05:45:20Z

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

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-05-20T05:45:20Z

Yazar Ausiello, Giorgio. author.
https://doi.org/10.1007/978-3-319-62680-2
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-05-20T05:45:20Z

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

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

Immersive Analytics

2024-05-20T05:45:20Z

Yazar Marriott, Kim. editor.
https://doi.org/10.1007/978-3-030-01388-2
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-05-20T05:45:20Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58415-6
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-05-20T05:45:20Z

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

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

2024-05-20T05:45:20Z

Yazar Priestley, Mark. author.
https://doi.org/10.1007/978-3-319-91671-2
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Brandstädt, Andreas. editor.
https://doi.org/10.1007/978-3-030-00256-5
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-05-20T05:45:20Z

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

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Handbook of Mobile Data Privacy

2024-05-20T05:45:20Z

Yazar Gkoulalas-Divanis, Aris. editor.
https://doi.org/10.1007/978-3-319-98161-1
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Social Computing and Social Media. Technologies and Analytics 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Meiselwitz, Gabriele. editor.
https://doi.org/10.1007/978-3-319-91485-5
Format: Electronic Resources

Trust, Privacy and Security in Digital Business 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5–6, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Furnell, Steven. editor. (orcid)0000-0003-0984-7542
https://doi.org/10.1007/978-3-319-98385-1
Format: Electronic Resources

Interrupt Handling Schemes in Operating Systems

2024-05-20T05:45:20Z

Yazar Mejia-Alvarez, Pedro. author.
https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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

Algorithms for Functional Programming

2024-05-20T05:45:20Z

Yazar Stone, John David. author.
https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources

Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II

2024-05-20T05:45:20Z

Yazar Beyah, Raheem. editor.
https://doi.org/10.1007/978-3-030-01704-0
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2024-05-20T05:45:20Z

Yazar Bailey, Michael. editor.
https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources

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

2024-05-20T05:45:20Z

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

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

2024-05-20T05:45:20Z

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