Search Results - "software"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Artificial intelligence 130
- Computer science 113
- Software engineering 96
- Computer programming / software development 91
- Computer networking & communications 77
- Application software 75
- Computer and Information Systems Applications 75
- Computer networks 52
- Algorithms & data structures 47
- Information technology: general issues 45
- Mathematical theory of computation 44
- Systems analysis & design 44
- History of engineering & technology 43
- Artificial Intelligence 40
- Business mathematics & systems 39
- Electronics engineering 36
- Management 36
- Technology: general issues 36
- Research & information: general 32
- Computer Communication Networks 31
- Expert systems / knowledge-based systems 28
- Mathematical & statistical software 27
- Network hardware 26
- Information architecture 25
- Computer Engineering and Networks 24
- Computer engineering 24
- Computer modelling & simulation 24
- Electronic data processing 22
- IT Operations 22
-
341
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
342
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
343
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
344
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
345
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
346
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…computer software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
347
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
348
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…computer software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
349
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Published 2022Subjects: “…software design…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
350
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Published 2022Subjects: “…software design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
351
Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012
Published 2012Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
352
Finite Difference Computing with Exponential Decay Models
Published 2016Subjects: “…software Engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
353
Eine Architektur für Programmsynthese aus natürlicher Sprache
Published 2016Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
354
Social Business Plattformen in global verteilten Produktentwicklungsvorhaben - Eine Multi-Ebenen-Analyse des Beitrags von Social Business Plattformen zur Überwindung kommunikation...
Published 2017Subjects: “…Social Software…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
355
Models and analysis of vocal emissions for biomedical applications: 5th International Workshop: December 13-15, 2007, Firenze, Italy
Published 2007Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
356
Models and analysis of vocal emissions for biomedical applications 4th international workshop, october 29-31, 2005, Firenze, Italy
Published 2005Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
357
Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012
Published 2012Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
358
Finite Difference Computing with Exponential Decay Models
Published 2016Subjects: “…software Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
359
Models and analysis of vocal emissions for biomedical applications 4th international workshop, october 29-31, 2005, Firenze, Italy
Published 2005Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
360
Models and analysis of vocal emissions for biomedical applications: 5th International Workshop: December 13-15, 2007, Firenze, Italy
Published 2007Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter