UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 541

Sortiert nach

APL2 in Depth [Elektronische Ressource]

1995

Volltextzugriff (PDF)

Rigorous Global Search: Continuous Problems [Elektronische Ressource]

Nonconvex Optimization and Its Applications : 13

Kearfott, R. Baker

1996

Volltextzugriff (PDF)

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Programming and Software Engineering : 11533

1st ed. 2019, 2019

Volltextzugriff (PDF)

Automated Deduction — A Basis for Applications : Volume II: Systems and Implementation Techniques [Elektronische Ressource]

Applied Logic Series : 9

1998

Volltextzugriff (PDF)

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Programming and Software Engineering : 12717

1st ed. 2021, 2021

Volltextzugriff (PDF)

Advanced Network Programming – Principles and Techniques : Network Application Programming with Java [Elektronische Ressource]

Computer Communications and Networks

2013

Volltextzugriff (PDF)

The New Writing Environment : Writers at Work in a World of Technology

1996

Volltextzugriff (PDF)

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

2019

Volltextzugriff (PDF)

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

Lecture Notes in Computer Science : 9952

2016

Volltextzugriff (PDF)

Proceedings : Asia Pacific Software Engineering Conference and International Computer Science Conference : December 2-5, 1997, Hong Kong

1997

Volltextzugriff (PDF)

A Programming Approach to Computability [Elektronische Ressource]

Texts and Monographs in Computer Science

1982

Volltextzugriff (PDF)

Collaborative Quality Assurance in Information Systems Development : The Interaction of Software Development Techniques and Team Cognition

Progress in IS

Spohrer, Kai

1st ed. 2016, 2016

Volltextzugriff (PDF)

Hector : Heterogeneous Computers Together. A Joint Project of IBM and the University of Karlsruhe, Volume I: New Ways in Education and Research

1988

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Programming and Software Engineering : 11535

1st ed. 2019, 2019

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Programming and Software Engineering : 12136

1st ed. 2020, 2020

Volltextzugriff (PDF)

Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Programming and Software Engineering : 12134

1st ed. 2020, 2020

Volltextzugriff (PDF)

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

Lecture Notes in Computer Science : 10854

2018

Volltextzugriff (PDF)

Proceedings of the 6th International Workshop on Genetic Improvement

Petke, Justyna,

2019

Volltextzugriff (PDF)

2022 International Conference on Advanced Aspects of Software Engineering (ICAASE) : September 17th-18th, 2022, Constantine 2 University, Constantine, Algeria

Institute of Electrical and Electronics Engineers,

[2022]

Volltextzugriff (PDF)

Analytical and Stochastic Modelling Techniques and Applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings

Programming and Software Engineering : 12023

1st ed. 2020, 2020

Volltextzugriff (PDF)

Agile Swift : Swift Programming Using Agile Tools and Techniques

Nolan, Godfrey

2017

Volltextzugriff (PDF)

Meta-Programming and Model-Driven Meta-Program Development : Principles, Processes and Techniques [Elektronische Ressource]

2013

Volltextzugriff (PDF)

Intelligent Control Systems : An Introduction with Examples [Elektronische Ressource]

Applied Optimization : 60

2001

Volltextzugriff (PDF)

Advances in Software Tools for Scientific Computing [Elektronische Ressource]

Lecture Notes in Computational Science and Engineering : 10

2000

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Programming and Software Engineering : 12719

1st ed. 2021, 2021

Volltextzugriff (PDF)

1 – 25 von 541

Suche als RSS-Feed

Aktive Filter

SpracheFranzösisch

SystemstelleTVW

SystemstelleTVY

ErscheinungsformZeitschrift

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(541)

Erscheinungsform

Monographie
(541)

Schlagwort

Software Engineering
(358)
Computer programming
(299)
Programming Techniques
(294)
Programming languages (Electronic computers)
(223)
Software Engineering/Programming and Operating Systems
(203)
Programming Languages, Compilers, Interpreters
(196)
Computer science
(160)
Computer logic
(155)
Logics and Meanings of Programs
(138)
Artificial intelligence
(128)
Computer Communication Networks
(127)
Artificial Intelligence
(108)
Computer communication systems
(107)
Mathematical logic
(91)
Computers
(88)
Mathematical Logic and Formal Languages
(77)
Algorithms
(74)
Theory of Computation
(60)
Application software
(55)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(424)
Deutsch
(38)
Unbestimmt
(1)

Art des Inhalts

Nicht angegeben
(483)
Sonstiges
(58)

Menü

Weitere Dienste

Einstellungen

APL2 in Depth [Elektronische Ressource]

Rigorous Global Search: Continuous Problems [Elektronische Ressource]

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Automated Deduction — A Basis for Applications : Volume II: Systems and Implementation Techniques [Elektronische Ressource]

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Advanced Network Programming – Principles and Techniques : Network Application Programming with Java [Elektronische Ressource]

The New Writing Environment : Writers at Work in a World of Technology

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

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

Proceedings : Asia Pacific Software Engineering Conference and International Computer Science Conference : December 2-5, 1997, Hong Kong

A Programming Approach to Computability [Elektronische Ressource]

Collaborative Quality Assurance in Information Systems Development : The Interaction of Software Development Techniques and Team Cognition

Hector : Heterogeneous Computers Together. A Joint Project of IBM and the University of Karlsruhe, Volume I: New Ways in Education and Research

Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

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

Proceedings of the 6th International Workshop on Genetic Improvement

2022 International Conference on Advanced Aspects of Software Engineering (ICAASE) : September 17th-18th, 2022, Constantine 2 University, Constantine, Algeria

Analytical and Stochastic Modelling Techniques and Applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings

Agile Swift : Swift Programming Using Agile Tools and Techniques

Meta-Programming and Model-Driven Meta-Program Development : Principles, Processes and Techniques [Elektronische Ressource]

Intelligent Control Systems : An Introduction with Examples [Elektronische Ressource]

Advances in Software Tools for Scientific Computing [Elektronische Ressource]

Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Aktive Filter

Suchergebnisse filtern