UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 325

Sortiert nach

Rapid System Prototyping, 6th International Conference (RSP '95)

1995

Volltextzugriff (PDF)

Proceedings

IEEE/IFIP International Symposium on Rapid System Prototyping

Volltextzugriff (PDF)

Software performance and scalability : a quantitative approach

Liu, Henry H

1st edition

Volltextzugriff (PDF)

Rapid System Prototyping, 7th International Workshop (RSP '96)

IEEE Computer Society Press,

1996

Volltextzugriff (PDF)

Rapid System Prototyping, 2nd International Workshop (RSP '91)

Kanapoulos, Nick,

1992

Volltextzugriff (PDF)

2008 the 19th IEEE/IFIP International Symposium on Rapid System Prototyping : 2-5 June 2008

IEEE/IFIP International Symposium on Rapid System Prototyping

2008

Volltextzugriff (PDF)

Coding Art : The Four Steps to Creative Programming with the Processing Language

Design Thinking

1st ed. 2021, 2021

Volltextzugriff (PDF)

International Conference on Global Software Engineering : 27-30 August 2007, Munich, Germany

International Conference on Global Software Engineering

2007

Volltextzugriff (PDF)

2009 IEEE/IFIP International Symposium on Rapid System Prototyping : 23-26 June 2009

IEEE/IFIP International Symposium on Rapid System Prototyping

2009

Volltextzugriff (PDF)

Proceedings of the 2013 International Symposium on Rapid System Prototyping : shortening the path from specification to prototype : 3-4 October 2013, Montréal, Canada

IEEE International Symposium on Rapid System Prototyping,

2013

Volltextzugriff (PDF)

Proceedings of the 2016 27th International Symposium on Rapid System Prototyping : shortening the path from specification to prototype : October 6-7, 2016, Pittsburgh, PA, USA

IEEE International Symposium on Rapid System Prototyping

2016

Volltextzugriff (PDF)

Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics [Elektronische Ressource]

Mogavero, Fabio

2013

Volltextzugriff (PDF)

CODES+ISSS : 2017 International Conference on Hardware/Software Codesign and System Synthesis

Institute of Electrical and Electronics Engineers,

2017

Volltextzugriff (PDF)

Practical Analysis of Algorithms [Elektronische Ressource]

Undergraduate Topics in Computer Science

2014

Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings [Elektronische Ressource]

2011

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings [Elektronische Ressource]

2009

Volltextzugriff (PDF)

Reversible Computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers [Elektronische Ressource]

2013

Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings [Elektronische Ressource]

2012

Volltextzugriff (PDF)

Reachability Problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 5797

2009

Volltextzugriff (PDF)

2013 IEEE 8th International Conference on Global Software Engineering (ICGSE 2013) : Bari, Italy, 26-29 August 2013

IEEE International Conference on Global Software Engineering

Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Theoretical Computer Science and General Issues : 11200

1st ed. 2019, 2019

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings [Elektronische Ressource]

2013

Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings [Elektronische Ressource]

2011

Volltextzugriff (PDF)

1 – 25 von 325

Suche als RSS-Feed

Aktive Filter

Art des InhaltsHochschulschrift (Sonstige)

Sprachefra

ErscheinungsformArtikel

ErscheinungsformSerie

SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.

SchlagwortComputer software

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(325)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(323)
Zeitschrift
(2)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(236)
Deutsch
(3)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Rapid System Prototyping, 6th International Conference (RSP '95)

Proceedings

Software performance and scalability : a quantitative approach

Rapid System Prototyping, 7th International Workshop (RSP '96)

Rapid System Prototyping, 2nd International Workshop (RSP '91)

2008 the 19th IEEE/IFIP International Symposium on Rapid System Prototyping : 2-5 June 2008

Coding Art : The Four Steps to Creative Programming with the Processing Language

International Conference on Global Software Engineering : 27-30 August 2007, Munich, Germany

2009 IEEE/IFIP International Symposium on Rapid System Prototyping : 23-26 June 2009

Proceedings of the 2013 International Symposium on Rapid System Prototyping : shortening the path from specification to prototype : 3-4 October 2013, Montréal, Canada

Proceedings of the 2016 27th International Symposium on Rapid System Prototyping : shortening the path from specification to prototype : October 6-7, 2016, Pittsburgh, PA, USA

Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics [Elektronische Ressource]

CODES+ISSS : 2017 International Conference on Hardware/Software Codesign and System Synthesis

Practical Analysis of Algorithms [Elektronische Ressource]

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings [Elektronische Ressource]

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings [Elektronische Ressource]

Reversible Computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings [Elektronische Ressource]

Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [Elektronische Ressource]

Reachability Problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings [Elektronische Ressource]

2013 IEEE 8th International Conference on Global Software Engineering (ICGSE 2013) : Bari, Italy, 26-29 August 2013

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings [Elektronische Ressource]

Architectures for Adaptive Software Systems : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern