UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 317

Sortiert nach

Contextual design : design for life

Interactive technologies

Second edition, [2017]

Link zum Volltext
Elsevier Books AutoHoldings

Proceedings

IEEE/IFIP International Symposium on Rapid System Prototyping

Link zum Volltext
IEEE Electronic Library (IEL)
Verfügbar von 1990.

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

1995

Link zum Volltext
IEEE Electronic Library (IEL)

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

Kanapoulos, Nick,

1992

Link zum Volltext
IEEE Electronic Library (IEL)

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

IEEE Computer Society Press,

1996

Link zum Volltext
IEEE Electronic Library (IEL)

Software performance and scalability : a quantitative approach

Liu, Henry H

1st edition

Link zum Volltext
Wiley Online Library - AutoHoldings Books

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

IEEE/IFIP International Symposium on Rapid System Prototyping

2008

Link zum Volltext
IEEE Electronic Library (IEL)

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

Mogavero, Fabio

2013

Link zum Volltext
Springer Mathematics & Statistics 2013 (ZDB-2-SMA)

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

International Conference on Global Software Engineering

2007

Link zum Volltext
IEEE Electronic Library (IEL)

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

IEEE/IFIP International Symposium on Rapid System Prototyping

2009

Link zum Volltext
IEEE Electronic Library (IEL)

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

Design Thinking

1st ed. 2021, 2021

Link zum Volltext
Springer Professional and Applied Computing 2021 (ZDB-2-CWD)

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

Link zum Volltext
IEEE Electronic Library (IEL)

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

Link zum Volltext
ACM Digital Library Complete
IEEE Electronic Library (IEL)
Einen weiteren Link anzeigen
Weniger anzeigen

Practical Analysis of Algorithms [Elektronische Ressource]

Undergraduate Topics in Computer Science

2014

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2014 (ZDB-2-SCS)

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

Institute of Electrical and Electronics Engineers,

2017

Link zum Volltext
IEEE Electronic Library (IEL)
ACM Digital Library Complete
Einen weiteren Link anzeigen
Weniger anzeigen

Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6227

2010

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

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 5799

2009

Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6246

2010

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

Lecture Notes in Computer Science : 5797

2009

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

2009

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

IEEE International Conference on Global Software Engineering

Link zum Volltext
IEEE Electronic Library (IEL)

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Programming and Software Engineering : 11254

2018

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings [Elektronische Ressource]

2014

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings [Elektronische Ressource]

2014

1 – 25 von 317

Suche als RSS-Feed

Aktive Filter

Autor / AutorinKleinberg, Jon M

Autor / AutorinSinner, Dominik.

Sprachedeu

SystemstelleJZXS

Neu hinzugefügt... in den letzten 3 Monaten

Neu hinzugefügt... in den letzten 12 Monaten

SchlagwortComputer software

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(317)

Autor / Autorin

Rozenberg, Grzegorz
(9)
Lirkov, Ivan
(6)
Ehrig, Hartmut
(5)
Margenov, Svetozar
(5)
Potapov, Igor
(5)
Rossi, Francesca
(5)
Rudolph, Larry
(5)
Fages, François
(4)
IEEE International Conference on Global Software Engineering
(4)
Karhumäki, Juhani
(4)
Martín-Vide, Carlos
(4)
Schwiegelshohn, Uwe
(4)
Zeugmann, Thomas
(4)
Agrawal, Manindra
(3)
Bensalem, Saddek
(3)
Calude, Cristian S
(3)
Dediu, Adrian-Horia
(3)
Dimov, Ivan
(3)
Feitelson, Dror G
(3)
Frachtenberg, Eitan
(3)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(315)
Zeitschrift
(2)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... im letzten Monat
(0)

Sprache

Englisch
(243)
Deutsch
(3)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Contextual design : design for life

Proceedings

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

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

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

Software performance and scalability : a quantitative approach

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

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

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

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

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

Practical Analysis of Algorithms [Elektronische Ressource]

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

Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings [Elektronische Ressource]

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

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings [Elektronische Ressource]

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

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

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

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings [Elektronische Ressource]

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern