UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 860

Sortiert nach

Open Source Software: Quality Verification : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Mobile Web Information Systems : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Link zum Volltext
SpringerLink Books - AutoHoldings

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 [electronic resource]

1st ed. 1998, 1998

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

Aliasing in Object-Oriented Programming : Types, Analysis and Verification [electronic resource]

1st ed. 2013, 2013

Link zum Volltext
SpringerLink Books - AutoHoldings

Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Programming and Software Engineering : 12031

1st ed. 2020, 2020

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Theoretical Computer Science and General Issues : 12076

1st ed. 2020, 2020

Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings

Theoretical Computer Science and General Issues : 12247

1st ed. 2020, 2020

Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings [electronic resource]

1st ed. 2011, 2011

Link zum Volltext
SpringerLink Books - AutoHoldings

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus : Test Techniques and Sample Mock Exams [electronic resource]

Roman, Adam

1st ed. 2018, 2018

AJAX : Geschichte, Technologie, Zukunft [electronic resource]

1st ed. 2008, 2008

Link zum Volltext
SpringerLink Books - AutoHoldings

Sprachkonzepte für benutzergerechte Systeme [electronic resource]

Oberquelle, Horst

1st ed. 1987, 1987

Link zum Volltext
SpringerLink Books - AutoHoldings

Web 2.0 [electronic resource]

1st ed. 2008, 2008

Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings [electronic resource]

1st ed. 2000, 2000

Link zum Volltext
SpringerLink Books - AutoHoldings
ACM Digital Library Complete
Einen weiteren Link anzeigen
Weniger anzeigen

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 [electronic resource]

1st ed. 2004, 2004

Link zum Volltext
SpringerLink Books - AutoHoldings

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected [electronic resource]

1st ed. 2007, 2007

Link zum Volltext
SpringerLink Books - AutoHoldings

History of Computing: Learning from the Past : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings [electronic resource]

1st ed. 2010, 2010

Tagungsband STeP 2008 : Konferenz für Software-Technologien und -Prozesse

[2014]

Link zum Volltext
De Gruyter E-Books EBA bis 31.12.2026 (ZDB-23-DGG-eba)

Architecting Dependable Systems II [electronic resource]

1st ed. 2004, 2004

Link zum Volltext
SpringerLink Books - AutoHoldings

Software Engineering : Aufgaben und Lösungen

Reprint 2018, [2019]

Link zum Volltext
De Gruyter E-Books EBA bis 31.12.2026 (ZDB-23-DGG-eba)

UNIX : Eine Einführung in UNIX, seine Begriffe und seine Kommandos [electronic resource]

Gulbins, J

1st ed. 1984, 1984

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings [electronic resource]

1st ed. 1993, 1993

Link zum Volltext
SpringerLink Books - AutoHoldings

System Level Design from HW/SW to Memory for Embedded Systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings [electronic resource]

1st ed. 2017, 2017

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers [electronic resource]

1st ed. 2004, 2004

Link zum Volltext
SpringerLink Books - AutoHoldings

Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers [electronic resource]

1st ed. 2012, 2012

Link zum Volltext
SpringerLink Books - AutoHoldings

1 – 25 von 860

Suche als RSS-Feed

Aktive Filter

SystemstelleTWT

SchlagwortSoftware Engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(859)
Gedruckt
(1)

Erscheinungsform

Monographie
(860)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(604)
Deutsch
(56)

Systemstelle

TWQ
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Open Source Software: Quality Verification : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings [electronic resource]

Mobile Web Information Systems : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013, Proceedings [electronic resource]

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 [electronic resource]

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

Aliasing in Object-Oriented Programming : Types, Analysis and Verification [electronic resource]

Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings

Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings [electronic resource]

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus : Test Techniques and Sample Mock Exams [electronic resource]

AJAX : Geschichte, Technologie, Zukunft [electronic resource]

Sprachkonzepte für benutzergerechte Systeme [electronic resource]

Web 2.0 [electronic resource]

Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings [electronic resource]

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 [electronic resource]

History of Computing: Learning from the Past : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings [electronic resource]

Tagungsband STeP 2008 : Konferenz für Software-Technologien und -Prozesse

Architecting Dependable Systems II [electronic resource]

Software Engineering : Aufgaben und Lösungen

UNIX : Eine Einführung in UNIX, seine Begriffe und seine Kommandos [electronic resource]

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings [electronic resource]

System Level Design from HW/SW to Memory for Embedded Systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings [electronic resource]

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers [electronic resource]

Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers [electronic resource]

Aktive Filter

Suchergebnisse filtern