Search Results for - Narrowed by: Software engineering.

Model-driven DevOps : increasing agility and security in your physical network through DevOps

2024-06-02T22:53:44Z

by Carter, Steven, author.
https://learning.oreilly.com/library/view/~/9780137644711 https://learning.oreilly.com/library/view/~/9780137644711/?ar https://go.oreilly.com/library-access/library/view/-/9780137644711/?ar
Format: Electronic Resources

Efficient go : data-driven performance optimization

2024-06-02T22:53:44Z

by Plotka, Bartlomiej, author.
https://go.oreilly.com/library-access/library/view/-/9781098105709/?ar https://learning.oreilly.com/library/view/~/9781098105709/?ar https://learning.oreilly.com/library/view/~/9781098105709
Format: Electronic Resources

Software architecture superstream. Domain-driven design and event-driven architecture.

2024-06-02T22:53:44Z

by Ford, Neal, host.
https://go.oreilly.com/library-access/library/view/-/0636920702467/?ar https://learning.oreilly.com/videos/~/0636920702467/?ar https://learning.oreilly.com/videos/~/0636920702467
Format: Video recording

Patterns of software construction : how to predictably build results

2024-06-02T22:53:44Z

by Rylander, Stephen, author.
https://go.oreilly.com/library-access/library/view/-/9781484279366/?ar https://learning.oreilly.com/library/view/~/9781484279366/?ar https://learning.oreilly.com/library/view/~/9781484279366
Format: Electronic Resources

Software Architecture Hour. Modern software engineering with Dave Farley.

2024-06-02T22:53:44Z

by Ford, Neal, host.
https://learning.oreilly.com/videos/~/0636920830320 https://learning.oreilly.com/videos/~/0636920830320/?ar https://go.oreilly.com/library-access/library/view/-/0636920830320/?ar
Format: Video recording

Learn key skills in software engineering craftmanship course.

2024-06-02T22:53:44Z

by Gift, Noah, presenter.
https://learning.oreilly.com/videos/~/080712022VIDEOPAIML https://go.oreilly.com/library-access/library/view/-/080712022VIDEOPAIML/?ar https://learning.oreilly.com/videos/~/080712022VIDEOPAIML/?ar
Format: Video recording

GIT for electronic circuit design CAD and version control for electrical engineers

2024-06-02T22:53:44Z

by Brusan, Altay, author.
https://go.oreilly.com/library-access/library/view/-/9781484281246/?ar https://learning.oreilly.com/library/view/~/9781484281246/?ar https://learning.oreilly.com/library/view/~/9781484281246
Format: Electronic Resources

Evolving software processes : trends and future directions

2024-06-02T22:53:44Z

by Khan, Arif Ali, editor.
https://learning.oreilly.com/library/view/~/9781119821267/?ar https://learning.oreilly.com/library/view/~/9781119821267 https://go.oreilly.com/library-access/library/view/-/9781119821267/?ar
Format: Electronic Resources

Getting started with secure embedded systems : developing IoT systems for micro:bit and Raspberry Pi Pico using Rust and Tock

2024-06-02T22:53:44Z

by Radovici, Alexandru, author.
https://go.oreilly.com/library-access/library/view/-/9781484277898/?ar https://learning.oreilly.com/library/view/~/9781484277898 https://learning.oreilly.com/library/view/~/9781484277898/?ar
Format: Electronic Resources

DevOps key concepts

2024-06-02T22:53:44Z

by Knapp, Donna, presenter.
https://learning.oreilly.com/videos/~/9780137626687 https://go.oreilly.com/library-access/library/view/-/9780137626687/?ar https://learning.oreilly.com/videos/~/9780137626687/?ar
Format: Video recording

Head first Git : a learner's guide to understanding Git from the inside out

2024-06-02T22:53:44Z

by Gandhi, Raju, author.
https://learning.oreilly.com/library/view/~/9781492092506/?ar https://go.oreilly.com/library-access/library/view/-/9781492092506/?ar https://learning.oreilly.com/library/view/~/9781492092506
Format: Electronic Resources

Designing secure software : a guide for developers

2024-06-02T22:53:44Z

by Kohnfelder, Loren, author.
https://go.oreilly.com/library-access/library/view/-/9781098129804/?ar https://learning.oreilly.com/library/view/~/9781098129804/?ar https://learning.oreilly.com/library/view/~/9781098129804
Format: Electronic Resources

Software architecture superstream. Software architecture patterns

2024-06-02T22:53:44Z

by Ford, Neal, host.
https://learning.oreilly.com/videos/~/0636920689546 https://go.oreilly.com/library-access/library/view/-/0636920689546/?ar https://learning.oreilly.com/videos/~/0636920689546/?ar
Format: Video recording

The trust problem that slows digital transformation

2024-06-02T22:53:44Z

by Redman, Thomas C., author.
https://learning.oreilly.com/library/view/~/53863MIT64128 https://go.oreilly.com/library-access/library/view/-/53863MIT64128/?ar https://learning.oreilly.com/library/view/~/53863MIT64128/?ar
Format: Electronic Resources

C++ 20 STL cookbook : leverage the latest features of the stl to overcome real-world problems

2024-06-02T22:53:44Z

by Weinman, Bill.
https://learning.oreilly.com/library/view/~/9781803248714 https://go.oreilly.com/library-access/library/view/-/9781803248714/?ar https://learning.oreilly.com/library/view/~/9781803248714/?ar
Format: Electronic Resources

Practical Remote Pair Programming Best Practices, Tips, and Techniques for Collaborating Productively with Distributed Development Teams.

2024-06-02T22:53:44Z

by Bolboacă, Adrian.
https://go.oreilly.com/library-access/library/view/-/9781800561366/?ar https://learning.oreilly.com/library/view/~/9781800561366/?ar https://learning.oreilly.com/library/view/~/9781800561366
Format: Electronic Resources

The missing README : a guide for the new software engineer

2024-06-02T22:53:44Z

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

Automating Workflows with GitHub Actions

2024-06-02T22:53:44Z

by Heller, Priscila, author.
https://learning.oreilly.com/library/view/~/9781800560406/?ar https://go.oreilly.com/library-access/library/view/-/9781800560406/?ar https://learning.oreilly.com/library/view/~/9781800560406
Format: Electronic Resources

GIT FOR PROGRAMMERS master git for effective implementation of version control for your programming projects.

2024-06-02T22:53:44Z

by Liberty, Jesse.
https://learning.oreilly.com/library/view/~/9781801075732 https://go.oreilly.com/library-access/library/view/-/9781801075732/?ar https://learning.oreilly.com/library/view/~/9781801075732/?ar
Format: Electronic Resources

Modern Software Engineering : Doing What Works to Build Better Software Faster

2024-06-02T22:53:44Z

by Farley, David, author.
https://go.oreilly.com/library-access/library/view/-/9780137314942/?ar https://learning.oreilly.com/library/view/~/9780137314942 https://learning.oreilly.com/library/view/~/9780137314942/?ar
Format: Electronic Resources

Good code, bad code : think like a software engineer

2024-06-02T22:53:44Z

by Long, Tom (Software engineer), author.
https://learning.oreilly.com/videos/~/9781617298936VE https://go.oreilly.com/library-access/library/view/-/9781617298936VE/?ar https://learning.oreilly.com/videos/~/9781617298936VE/?ar
Format: Video recording

Good code, bad code : think like a software engineer

2024-06-02T22:53:44Z

by Long, Tom (Software engineer), author.
https://learning.oreilly.com/library/view/~/9781617298936 https://learning.oreilly.com/library/view/~/9781617298936/?ar https://go.oreilly.com/library-access/library/view/-/9781617298936/?ar
Format: Electronic Resources

Spring Boot on Kubernetes.

2024-06-02T22:53:44Z

by Vitale, Thomas, presenter.
https://go.oreilly.com/library-access/library/view/-/10000MNLV202199/?ar https://learning.oreilly.com/videos/~/10000MNLV202199 https://learning.oreilly.com/videos/~/10000MNLV202199/?ar
Format: Video recording

Software engineering for absolute beginners : your guide to creating software products

2024-06-02T22:53:44Z

by Loubser, Nico, author.
https://go.oreilly.com/library-access/library/view/-/9781484266229/?ar https://learning.oreilly.com/library/view/~/9781484266229/?ar https://learning.oreilly.com/library/view/~/9781484266229
Format: Electronic Resources

Bootstrapping Microservices with Docker, Kubernetes, and Terraform, video edition

2024-06-02T22:53:44Z

by Davis, Ashley (Software engineer), author.
https://learning.oreilly.com/videos/~/9781617297212VE https://learning.oreilly.com/videos/~/9781617297212VE/?ar https://go.oreilly.com/library-access/library/view/-/9781617297212VE/?ar
Format: Electronic Resources

Bootstrapping microservices with Docker, Kubernetes, and Terraform : a project-based guide

2024-06-02T22:53:44Z

by Davis, Ashley (Software engineer), author.
https://go.oreilly.com/library-access/library/view/-/9781617297212AU/?ar https://learning.oreilly.com/library/view/~/9781617297212AU/?ar https://learning.oreilly.com/library/view/~/9781617297212AU
Format: Sound recording

Good code, bad code

2024-06-02T22:53:44Z

by Long, Tom (Software engineer), author.
https://go.oreilly.com/library-access/library/view/-/9781617298936AU/?ar https://learning.oreilly.com/library/view/~/9781617298936AU/?ar https://learning.oreilly.com/library/view/~/9781617298936AU
Format: Sound recording

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

2024-06-02T22:53:44Z

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

Practical system programming with C : pragmatic example applications in Linux and Unix-based operating systems

2024-06-02T22:53:44Z

by Palakollu, Sri Manikanta, author.
https://learning.oreilly.com/library/view/~/9781484263211 https://learning.oreilly.com/library/view/~/9781484263211/?ar https://go.oreilly.com/library-access/library/view/-/9781484263211/?ar
Format: Electronic Resources

Patterns in the machine : a software engineering guide to embedded development

2024-06-02T22:53:44Z

by Taylor, John T., author.
https://go.oreilly.com/library-access/library/view/-/9781484264409/?ar https://learning.oreilly.com/library/view/~/9781484264409/?ar https://learning.oreilly.com/library/view/~/9781484264409
Format: Electronic Resources

Google Cloud Certified Professional Cloud Architect All-In-One Exam Guide.

2024-06-02T22:53:44Z

by Ghanizada, Iman.
https://go.oreilly.com/library-access/library/view/-/9781264257287/?ar https://learning.oreilly.com/library/view/~/9781264257287/?ar https://learning.oreilly.com/library/view/~/9781264257287
Format: Electronic Resources

Chaos engineering site reliability through controlled disruption

2024-06-02T22:53:44Z

by Pawlikowski, Mikolaj, author.
https://learning.oreilly.com/library/view/~/9781617297755 https://learning.oreilly.com/library/view/~/9781617297755/?ar https://go.oreilly.com/library-access/library/view/-/9781617297755/?ar
Format: Electronic Resources

Bootstrapping microservices with Docker, Kubernetes, and Terraform a project-based guide

2024-06-02T22:53:44Z

by Davis, Ashley (Software engineer), author.
https://learning.oreilly.com/library/view/~/9781617297212 https://go.oreilly.com/library-access/library/view/-/9781617297212/?ar https://learning.oreilly.com/library/view/~/9781617297212/?ar
Format: Electronic Resources

Jenkins administrator's guide : install, manage, and scale a CI/CD build and release system to accelerate your product life cycle

2024-06-02T22:53:44Z

by Park, Calvin Sangbin, author.
Click to View
Format: Electronic Resources

Component-based software engineering : methods and metrics

2024-06-02T22:53:44Z

by Tiwari, Umesh Kumar, author.
Click to View
Format: Electronic Resources

Modern C++ for absolute beginners : a friendly introduction to C++ programming language and C++11 to C++20 standards

2024-06-02T22:53:44Z

by Dmitrović, Slobodan, author.
https://go.oreilly.com/library-access/library/view/-/9781484260470/?ar https://learning.oreilly.com/library/view/~/9781484260470/?ar https://learning.oreilly.com/library/view/~/9781484260470
Format: Electronic Resources

Practical Git : confident Git through practice

2024-06-02T22:53:44Z

by Abildskov, Johan, author.
https://learning.oreilly.com/library/view/~/9781484262702/?ar https://learning.oreilly.com/library/view/~/9781484262702 https://go.oreilly.com/library-access/library/view/-/9781484262702/?ar
Format: Electronic Resources

Chaos engineering with Docker.

2024-06-02T22:53:44Z

by Pawlikowski, Mikolaj, presenter.
https://learning.oreilly.com/videos/~/10000MNLV202160 https://learning.oreilly.com/videos/~/10000MNLV202160/?ar https://go.oreilly.com/library-access/library/view/-/10000MNLV202160/?ar
Format: Video recording

Righting software : a method for system and project design

2024-06-02T22:53:44Z

by Löwy, Juval, author.
https://learning.oreilly.com/library/view/~/9780136524007/?ar https://learning.oreilly.com/library/view/~/9780136524007 https://go.oreilly.com/library-access/library/view/-/9780136524007/?ar
Format: Electronic Resources

Hands-on software engineering with Golang : move beyond basic programming to design and build reliable software with clean code

2024-06-02T22:53:44Z

by Anagnostopoulos, Achilleas, author.
https://learning.oreilly.com/library/view/~/9781838554491 https://learning.oreilly.com/library/view/~/9781838554491/?ar https://go.oreilly.com/library-access/library/view/-/9781838554491/?ar
Format: Electronic Resources

Understanding System. IO for .NET Core 3 : implementing internal and commercial tools

2024-06-02T22:53:44Z

by Villela, Roger.
https://go.oreilly.com/library-access/library/view/-/9781484258729/?ar https://learning.oreilly.com/library/view/~/9781484258729/?ar https://learning.oreilly.com/library/view/~/9781484258729
Format: Electronic Resources

Security engineering 101 : when good design and security work together

2024-06-02T22:53:44Z

by Everette, Wendy Knox, on-screen presenter.
https://go.oreilly.com/library-access/library/view/-/0636920342960/?ar https://learning.oreilly.com/videos/~/0636920342960/?ar https://learning.oreilly.com/videos/~/0636920342960
Format: Electronic Resources

The fuel for the functional programming engine.

2024-06-02T22:53:44Z

by Plachta, Michał (Computer engineer), presenter.
https://go.oreilly.com/library-access/library/view/-/10000MNLV202157/?ar https://learning.oreilly.com/videos/~/10000MNLV202157 https://learning.oreilly.com/videos/~/10000MNLV202157/?ar
Format: Video recording

The art of immutable architecture : theory and practice of data management in distributed systems

2024-06-02T22:53:44Z

by Perry, Michael L.
https://go.oreilly.com/library-access/library/view/-/9781484259559/?ar https://learning.oreilly.com/library/view/~/9781484259559/?ar https://learning.oreilly.com/library/view/~/9781484259559
Format: Electronic Resources

Write Great Code, Volume 3

2024-06-02T22:53:44Z

by Hyde, Randall, author.
https://go.oreilly.com/library-access/library/view/-/9781098125660/?ar https://learning.oreilly.com/library/view/~/9781098125660/?ar https://learning.oreilly.com/library/view/~/9781098125660
Format: Electronic Resources

Design patterns in .NET Core 3.0 : reusable approaches in C# and F♯ for object-oriented software design

2024-06-02T22:53:44Z

by Nesteruk, Dmitri.
https://go.oreilly.com/library-access/library/view/-/9781484261804/?ar https://learning.oreilly.com/library/view/~/9781484261804 https://learning.oreilly.com/library/view/~/9781484261804/?ar
Format: Electronic Resources

Implementing effective code reviews : how to build and maintain clean code

2024-06-02T22:53:44Z

by Carullo, Giuliana.
https://go.oreilly.com/library-access/library/view/-/9781484261620/?ar https://learning.oreilly.com/library/view/~/9781484261620/?ar https://learning.oreilly.com/library/view/~/9781484261620
Format: Electronic Resources

MonoGame mastery : build a multi-platform 2D game and reusable game engine

2024-06-02T22:53:44Z

by Capellman, Jarred, author.
https://learning.oreilly.com/library/view/~/9781484263099 https://learning.oreilly.com/library/view/~/9781484263099/?ar https://go.oreilly.com/library-access/library/view/-/9781484263099/?ar
Format: Electronic Resources

Beginning Git and GitHub : a comprehensive guide to version control, project management, and teamwork for the new developer

2024-06-02T22:53:44Z

by Tsitoara, Mariot, author.
https://go.oreilly.com/library-access/library/view/-/9781484253137/?ar https://learning.oreilly.com/library/view/~/9781484253137/?ar https://learning.oreilly.com/library/view/~/9781484253137
Format: Electronic Resources

Advances in computers. Volume 114

2024-06-02T22:53:44Z

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

Functional Programming For Dummies

2024-06-02T22:53:44Z

by Mueller, John, author.
https://learning.oreilly.com/library/view/~/9781119527503/?ar https://learning.oreilly.com/library/view/~/9781119527503 https://go.oreilly.com/library-access/library/view/-/9781119527503/?ar
Format: Electronic Resources

Practical microservices architectural patterns : event-based Java microservices with Spring Boot and Spring Cloud

2024-06-02T22:53:44Z

by Binildas, C. A. (Christudas A.), author.
https://go.oreilly.com/library-access/library/view/-/9781484245019/?ar https://learning.oreilly.com/library/view/~/9781484245019/?ar https://learning.oreilly.com/library/view/~/9781484245019
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Navigating the continuous delivery pipeline

2024-06-02T22:53:44Z

by Laster, Brent, author.
https://learning.oreilly.com/library/view/~/9781492031949 https://learning.oreilly.com/library/view/~/9781492031949/?ar https://go.oreilly.com/library-access/library/view/-/9781492031949/?ar
Format: Electronic Resources

Software engineering for embedded systems : methods, practical techniques, and applications

2024-06-02T22:53:44Z

by Oshana, Robert, author.
https://go.oreilly.com/library-access/library/view/-/9780128094334/?ar https://learning.oreilly.com/library/view/~/9780128094334/?ar
Format: Electronic Resources

Rethinking productivity in software engineering

2024-06-02T22:53:44Z

by Sadowski, Caitlin, editor.
https://learning.oreilly.com/library/view/~/9781484242216 https://learning.oreilly.com/library/view/~/9781484242216/?ar https://go.oreilly.com/library-access/library/view/-/9781484242216/?ar
Format: Electronic Resources

Hands-on Docker for microservices with Python : design, deploy, and operate a complex system with multiple microservices using Docker and Kubernetes

2024-06-02T22:53:44Z

by Buelta, Jaimie.
https://learning.oreilly.com/library/view/~/9781838823818 https://learning.oreilly.com/library/view/~/9781838823818/?ar https://go.oreilly.com/library-access/library/view/-/9781838823818/?ar
Format: Electronic Resources

GitHub For Dummies

2024-06-02T22:53:44Z

by Haack, Phil, author.
https://go.oreilly.com/library-access/library/view/-/9781119572671/?ar https://learning.oreilly.com/library/view/~/9781119572671/?ar https://learning.oreilly.com/library/view/~/9781119572671
Format: Electronic Resources

Software engineering from scratch : a comprehensive introduction using Scala

2024-06-02T22:53:44Z

by Hodges, Jason Lee, author.
https://learning.oreilly.com/library/view/~/9781484252062/?ar https://learning.oreilly.com/library/view/~/9781484252062 https://go.oreilly.com/library-access/library/view/-/9781484252062/?ar
Format: Electronic Resources

The Complete Edition - Software Engineering for Real-Time Systems

2024-06-02T22:53:44Z

by Cooling, J. E, author.
https://learning.oreilly.com/library/view/~/9781839216589 https://learning.oreilly.com/library/view/~/9781839216589/?ar https://go.oreilly.com/library-access/library/view/-/9781839216589/?ar
Format: Electronic Resources

Software engineering for embedded systems : methods, practical techniques, and applications

2024-06-02T22:53:44Z

by Oshana, Robert, editor.
Click to View
Format: Electronic Resources

Practical ESM analysis

2024-06-02T22:53:44Z

by Robertson, Sue, author.
Click to View
Format: Electronic Resources

Binary analysis cookbook : actionable recipes for disassembling and analyzing binaries for security risks

2024-06-02T22:53:44Z

by Born, Michael, author.
https://learning.oreilly.com/library/view/~/9781789807608/?ar https://go.oreilly.com/library-access/library/view/-/9781789807608/?ar https://learning.oreilly.com/library/view/~/9781789807608
Format: Electronic Resources

Streaming change data capture : a foundation for modern data architectures

2024-06-02T22:53:44Z

by Petrie, Kevin, author.
https://learning.oreilly.com/library/view/~/9781492032526 https://learning.oreilly.com/library/view/~/9781492032526/?ar https://go.oreilly.com/library-access/library/view/-/9781492032526/?ar
Format: Electronic Resources

Software architect's handbook : become a successful software architect by implementing effective architecture concepts

2024-06-02T22:53:44Z

by Ingeno, Joseph, author.
https://learning.oreilly.com/library/view/~/9781788624060/?ar https://go.oreilly.com/library-access/library/view/-/9781788624060/?ar
Format: Electronic Resources

Git version control cookbook : leverage version control to transform your development workflow and boost productivity

2024-06-02T22:53:44Z

by Geisshirt, Kenneth, author.
https://learning.oreilly.com/library/view/~/9781789137545/?ar https://go.oreilly.com/library-access/library/view/-/9781789137545/?ar
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Principles of package design : creating reusable software components

2024-06-02T22:53:44Z

by Noback, Matthias, author.
https://learning.oreilly.com/library/view/~/9781484241196 https://go.oreilly.com/library-access/library/view/-/9781484241196/?ar https://learning.oreilly.com/library/view/~/9781484241196/?ar
Format: Electronic Resources

Software design X-Rays : fix technical debt with behavioral code analysis

2024-06-02T22:53:44Z

by Tornhill, Adam, author.
https://go.oreilly.com/library-access/library/view/-/9781680505795/?ar https://learning.oreilly.com/library/view/~/9781680505795/?ar https://learning.oreilly.com/library/view/~/9781680505795
Format: Electronic Resources

Fluent Conference, San Jose, CA 2018.

2024-06-02T22:53:44Z

by Fluent (2018 : San Jose, Calif.) issuing body.
https://go.oreilly.com/library-access/library/view/-/9781492026037/?ar https://learning.oreilly.com/videos/~/9781492026037/?ar
Format: Electronic Resources

Environment modeling-based requirements engineering for software intensive systems

2024-06-02T22:53:44Z

by Jin, Zhi, 1962- author.
https://learning.oreilly.com/library/view/~/9780128019573/?ar https://go.oreilly.com/library-access/library/view/-/9780128019573/?ar https://learning.oreilly.com/library/view/~/9780128019573
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

by Damaševičius, Robertas. editor.
https://doi.org/10.1007/978-3-319-99972-2
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-02T22:53:44Z

by Drevin, Lynette. editor. (orcid)0000-0001-9370-8216
https://doi.org/10.1007/978-3-319-99734-6
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-02T22:53:44Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
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-02T22:53:44Z

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-02T22:53:44Z

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

Refinement Semantics, Languages and Applications

2024-06-02T22:53:44Z

by Derrick, John. author.
https://doi.org/10.1007/978-3-319-92711-4
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-02T22:53:44Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
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-02T22:53:44Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-91806-8
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-02T22:53:44Z

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

SafeScrum® – Agile Development of Safety-Critical Software

2024-06-02T22:53:44Z

by Hanssen, Geir Kjetil. author.
https://doi.org/10.1007/978-3-319-99334-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-02T22:53:44Z

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-02T22:53:44Z

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

Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

2024-06-02T22:53:44Z

by Wrycza, Stanisław. editor.
https://doi.org/10.1007/978-3-030-00060-8
Format: Electronic Resources

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-00353-1
Format: Electronic Resources

Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings

2024-06-02T22:53:44Z

by Jung, Jason J. editor.
https://doi.org/10.1007/978-3-319-98752-1
Format: Electronic Resources

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

2024-06-02T22:53:44Z

by Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258
https://doi.org/10.1007/978-3-030-00840-6
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2024-06-02T22:53:44Z

by Shishkov, Boris. editor.
https://doi.org/10.1007/978-3-319-94214-8
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-02T22:53:44Z

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

Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

2024-06-02T22:53:44Z

by Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343
https://doi.org/10.1007/978-3-319-98998-3
Format: Electronic Resources

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2384-3
Format: Electronic Resources

Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings

2024-06-02T22:53:44Z

by Valencia-García, Rafael. editor.
https://doi.org/10.1007/978-3-030-00940-3
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-06-02T22:53:44Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-57932-9
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-02T22:53:44Z

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

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-06-02T22:53:44Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

2024-06-02T22:53:44Z

by Sun, Xingming. editor. (orcid)0000-0001-7982-726X
https://doi.org/10.1007/978-3-030-00021-9
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-02T22:53:44Z

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-02T22:53:44Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
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-02T22:53:44Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-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 III

2024-06-02T22:53:44Z

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

Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings

2024-06-02T22:53:44Z

by Barneva, Reneta P. editor.
https://doi.org/10.1007/978-3-030-05288-1
Format: Electronic Resources

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

2024-06-02T22:53:44Z

by Mouhoub, Malek. editor.
https://doi.org/10.1007/978-3-319-92058-0
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

2024-06-02T22:53:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95171-3
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-02T22:53:44Z

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-02T22:53:44Z

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

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-06-02T22:53:44Z

by Demazeau, Yves. editor.
https://doi.org/10.1007/978-3-319-94580-4
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

2024-06-02T22:53:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95162-1
Format: Electronic Resources

Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings

2024-06-02T22:53:44Z

by Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971
https://doi.org/10.1007/978-3-030-05378-9
Format: Electronic Resources

Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings

2024-06-02T22:53:44Z

by Liu, Chengfei. editor.
https://doi.org/10.1007/978-3-319-91455-8
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

2024-06-02T22:53:44Z

by de Cos Juez, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-92639-1
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers

2024-06-02T22:53:44Z

by Ziemba, Ewa. editor.
https://doi.org/10.1007/978-3-319-77721-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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

by 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-06-02T22:53:44Z

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

Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings

2024-06-02T22:53:44Z

by Huang, Tingwen. editor. (orcid)0000-0001-9610-846X
https://doi.org/10.1007/978-3-319-92537-0
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-02T22:53:44Z

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

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

2024-06-02T22:53:44Z

by Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-319-95930-6
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-02T22:53:44Z

by Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888
https://doi.org/10.1007/978-3-319-91587-6
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91635-4
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Selected Areas in Cryptography – SAC 2017 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Adams, Carlisle. editor.
https://doi.org/10.1007/978-3-319-72565-9
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

2024-06-02T22:53:44Z

by Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-01201-4
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-06-02T22:53:44Z

by Aiello, Marco. editor.
https://doi.org/10.1007/978-3-319-94361-9
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-74521-3
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2024-06-02T22:53:44Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-06-02T22:53:44Z

by Georgakopoulos, Dimitrios. editor.
https://doi.org/10.1007/978-3-319-94370-1
Format: Electronic Resources

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-02T22:53:44Z

by Luo, Min. editor.
https://doi.org/10.1007/978-3-319-94295-7
Format: Electronic Resources

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

2024-06-02T22:53:44Z

by Ciancarini, Paolo. editor.
https://doi.org/10.1007/978-3-319-70578-1
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-02T22:53:44Z

by Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-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-02T22:53:44Z

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

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592
https://doi.org/10.1007/978-3-319-75214-3
Format: Electronic Resources

Tree-Based Convolutional Neural Networks Principles and Applications

2024-06-02T22:53:44Z

by Mou, Lili. author.
https://doi.org/10.1007/978-981-13-1870-2
Format: Electronic Resources

Crowdsourced Data Management Hybrid Machine-Human Computing

2024-06-02T22:53:44Z

by Li, Guoliang. author.
https://doi.org/10.1007/978-981-10-7847-7
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-06-02T22:53:44Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

2024-06-02T22:53:44Z

by Wienke, B. R. author.
https://doi.org/10.1007/978-3-319-94054-0
Format: Electronic Resources

Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings

2024-06-02T22:53:44Z

by Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048
https://doi.org/10.1007/978-3-319-95450-9
Format: Electronic Resources

Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings

2024-06-02T22:53:44Z

by Mehmood, Rashid. editor.
https://doi.org/10.1007/978-3-319-94180-6
Format: Electronic Resources

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2024-06-02T22:53:44Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-319-92375-8
Format: Electronic Resources

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

2024-06-02T22:53:44Z

by Ahmed, Mobyen Uddin. editor.
https://doi.org/10.1007/978-3-319-76213-5
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-06-02T22:53:44Z

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

Web Content Credibility

2024-06-02T22:53:44Z

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

ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

2024-06-02T22:53:44Z

by Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637
https://doi.org/10.1007/978-3-030-00825-3
Format: Electronic Resources

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2024-06-02T22:53:44Z

by Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66625-9
Format: Electronic Resources

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2024-06-02T22:53:44Z

by Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66628-0
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Li, Jianzhong. editor.
https://doi.org/10.1007/978-981-10-8123-1
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Ferrari, Vittorio. editor.
https://doi.org/10.1007/978-3-030-01216-8
Format: Electronic Resources

Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Batyrshin, Ildar. editor.
https://doi.org/10.1007/978-3-030-04497-8
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-06-02T22:53:44Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

2024-06-02T22:53:44Z

by Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145
https://doi.org/10.1007/978-3-030-02750-6
Format: Electronic Resources

Requirements Engineering for Internet of Things 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings

2024-06-02T22:53:44Z

by Kamalrudin, Massila. editor.
https://doi.org/10.1007/978-981-10-7796-8
Format: Electronic Resources

Software Languages Syntax, Semantics, and Metaprogramming

2024-06-02T22:53:44Z

by Lämmel, Ralf. author.
https://doi.org/10.1007/978-3-319-90800-7
Format: Electronic Resources

Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

2024-06-02T22:53:44Z

by Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124
https://doi.org/10.1007/978-3-319-71440-0
Format: Electronic Resources

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

2024-06-02T22:53:44Z

by Kameas, Achilles. editor. (orcid)0000-0002-1004-7860
https://doi.org/10.1007/978-3-030-03062-9
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-02T22:53:44Z

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-02T22:53:44Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-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-02T22:53:44Z

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

Innovative Technologies and Learning First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings

2024-06-02T22:53:44Z

by Wu, Ting-Ting. editor.
https://doi.org/10.1007/978-3-319-99737-7
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Building Information Modeling Technology Foundations and Industry Practice

2024-06-02T22:53:44Z

by Borrmann, André. editor.
https://doi.org/10.1007/978-3-319-92862-3
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-02T22:53:44Z

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

Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings

2024-06-02T22:53:44Z

by Longo, Antonella. editor.
https://doi.org/10.1007/978-3-319-67636-4
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

2024-06-02T22:53:44Z

by Skulimowski, Andrzej M.J. editor. (orcid)0000-0003-0646-2858
https://doi.org/10.1007/978-3-030-05081-8
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

2024-06-02T22:53:44Z

by Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022
https://doi.org/10.1007/978-3-319-99813-8
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-02T22:53:44Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58384-5
Format: Electronic Resources

Fundamentals of Business Process Management

2024-06-02T22:53:44Z

by Dumas, Marlon. author.
https://doi.org/10.1007/978-3-662-56509-4
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-02T22:53:44Z

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-02T22:53:44Z

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-02T22:53:44Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
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-02T22:53:44Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05054-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 I

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Low Earth Orbit Satellite Design

2024-06-02T22:53:44Z

by Sebestyen, George. author.
https://doi.org/10.1007/978-3-319-68315-7
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2024-06-02T22:53:44Z

by Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources

The Agile Safety Case

2024-06-02T22:53:44Z

by Myklebust, Thor. author.
https://doi.org/10.1007/978-3-319-70265-0
Format: Electronic Resources

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

2024-06-02T22:53:44Z

by Vaziri, Daryoush Daniel. author.
https://doi.org/10.1007/978-3-658-22875-0
Format: Electronic Resources

Modeling Companion for Software Practitioners

2024-06-02T22:53:44Z

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

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-06-02T22:53:44Z

by Sun, Yu. editor.
https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

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

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

2024-06-02T22:53:44Z

by Deka, Ganesh Chandra. editor.
https://doi.org/10.1007/978-981-13-2035-4
Format: Electronic Resources

Reliability Aspect of Cloud Computing Environment

2024-06-02T22:53:44Z

by Kumar, Vikas. author.
https://doi.org/10.1007/978-981-13-3023-0
Format: Electronic Resources

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

2024-06-02T22:53:44Z

by Zhou, Yifeng. editor.
https://doi.org/10.1007/978-3-319-74439-1
Format: Electronic Resources

TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution

2024-06-02T22:53:44Z

by Ruiz, Marcela. author. (orcid)0000-0002-0592-1779
https://doi.org/10.1007/978-3-319-89716-5
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2024-06-02T22:53:44Z

by Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78139-6
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

2024-06-02T22:53:44Z

by Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485
https://doi.org/10.1007/978-3-319-91602-6
Format: Electronic Resources

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I

2024-06-02T22:53:44Z

by Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-00350-0
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Mann, Zoltán Ádám. editor.
https://doi.org/10.1007/978-3-319-79090-9
Format: Electronic Resources

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-06-02T22:53:44Z

by Pergl, Robert. editor. (orcid)0000-0003-2980-4400
https://doi.org/10.1007/978-3-030-00787-4
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

Implantable Sensors and Systems From Theory to Practice

2024-06-02T22:53:44Z

by Yang, Guang-Zhong. editor.
https://doi.org/10.1007/978-3-319-69748-2
Format: Electronic Resources

Ubiquitous Communications and Network Computing First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings

2024-06-02T22:53:44Z

by Kumar, Navin. editor.
https://doi.org/10.1007/978-3-319-73423-1
Format: Electronic Resources

Designing Usable and Secure Software with IRIS and CAIRIS

2024-06-02T22:53:44Z

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

Smartphone-Based Indoor Map Construction Principles and Applications

2024-06-02T22:53:44Z

by Gao, Ruipeng. author.
https://doi.org/10.1007/978-981-10-8378-5
Format: Electronic Resources

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351
https://doi.org/10.1007/978-3-319-99707-0
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
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-02T22:53:44Z

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-02T22:53:44Z

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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Towards Extensible and Adaptable Methods in Computing

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-06-02T22:53:44Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Huet, Benoit. editor.
https://doi.org/10.1007/978-981-10-8530-7
Format: Electronic Resources

Fundamentals of Software Culture

2024-06-02T22:53:44Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-06-02T22:53:44Z

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

Software-Defined Cloud Centers Operational and Management Technologies and Tools

2024-06-02T22:53:44Z

by Raj, Pethuru. author.
https://doi.org/10.1007/978-3-319-78637-7
Format: Electronic Resources

Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings

2024-06-02T22:53:44Z

by Wnuk, Krzysztof. editor.
https://doi.org/10.1007/978-3-030-04840-2
Format: Electronic Resources

Technology Trends Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings

2024-06-02T22:53:44Z

by Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-319-72727-1
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

2024-06-02T22:53:44Z

by Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222
https://doi.org/10.1007/978-3-030-01653-1
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-02T22:53:44Z

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

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

2024-06-02T22:53:44Z

by Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2381-2
Format: Electronic Resources

Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I

2024-06-02T22:53:44Z

by Wang, Shilong. editor.
https://doi.org/10.1007/978-981-13-2396-6
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

2024-06-02T22:53:44Z

by Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610
https://doi.org/10.1007/978-3-030-02302-7
Format: Electronic Resources

Digital Marketplaces Unleashed

2024-06-02T22:53:44Z

by Linnhoff-Popien, Claudia. editor.
https://doi.org/10.1007/978-3-662-49275-8
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-02T22:53:44Z

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

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 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-02T22:53:44Z

by Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
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-02T22:53:44Z

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

Software Failure Investigation A Near-Miss Analysis Approach

2024-06-02T22:53:44Z

by Eloff, Jan. author.
https://doi.org/10.1007/978-3-319-61334-5
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-06-02T22:53:44Z

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

Towards a Synergistic Combination of Research and Practice in Software Engineering

2024-06-02T22:53:44Z

by Kosiuczenko, Piotr. editor.
https://doi.org/10.1007/978-3-319-65208-5
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-02T22:53:44Z

by Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools

2024-06-02T22:53:44Z

by Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087
https://doi.org/10.1007/978-3-319-90415-3
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-02T22:53:44Z

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

Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™

2024-06-02T22:53:44Z

by Iyer, Shivkumar V. author.
https://doi.org/10.1007/978-3-319-73984-7
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-02T22:53:44Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
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-02T22:53:44Z

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

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

2024-06-02T22:53:44Z

by Mejia, Jezreel. editor.
https://doi.org/10.1007/978-3-319-69341-5
Format: Electronic Resources

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-06-02T22:53:44Z

by Kozielski, Stanisław. editor.
https://doi.org/10.1007/978-3-319-99987-6
Format: Electronic Resources

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

2024-06-02T22:53:44Z

by Cong Vinh, Phan. editor.
https://doi.org/10.1007/978-3-319-77818-1
Format: Electronic Resources

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2024-06-02T22:53:44Z

by Shishkov, Boris. editor.
https://doi.org/10.1007/978-3-319-78428-1
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

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

Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

2024-06-02T22:53:44Z

by Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610
https://doi.org/10.1007/978-3-319-99819-0
Format: Electronic Resources

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

2024-06-02T22:53:44Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
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-02T22:53:44Z

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

Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

2024-06-02T22:53:44Z

by Kaenampornpan, Manasawee. editor.
https://doi.org/10.1007/978-3-030-03014-8
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-06-02T22:53:44Z

by Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-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-02T22:53:44Z

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

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

2024-06-02T22:53:44Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-98446-9
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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 II

2024-06-02T22:53:44Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03329-3
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-02T22:53:44Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03326-2
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-02T22:53:44Z

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-02T22:53:44Z

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

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

2024-06-02T22:53:44Z

by Sun, Xingming. editor. (orcid)0000-0001-7982-726X
https://doi.org/10.1007/978-3-030-00018-9
Format: Electronic Resources

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

2024-06-02T22:53:44Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
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-02T22:53:44Z

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-02T22:53:44Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
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-02T22:53:44Z

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

The Essence of Software Engineering

2024-06-02T22:53:44Z

by Gruhn, Volker. editor.
https://doi.org/10.1007/978-3-319-73897-0
Format: Electronic Resources

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

2024-06-02T22:53:44Z

by Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-319-79108-1
Format: Electronic Resources

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

2024-06-02T22:53:44Z

by Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535
https://doi.org/10.1007/978-3-319-90371-2
Format: Electronic Resources

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

by Saracino, Andrea. editor.
https://doi.org/10.1007/978-3-030-04372-8
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-02T22:53:44Z

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

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

2024-06-02T22:53:44Z

by Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
https://doi.org/10.1007/978-3-030-05072-6
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-02T22:53:44Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
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-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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

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

2024-06-02T22:53:44Z

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