UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 321

Sortiert nach

Contextual design : design for life

Interactive technologies

Second edition, [2017]

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 [electronic resource]

Liu, Henry H

1st edition

Link zum Volltext
Wiley Online Library - AutoHoldings Books

Design methods for reactive systems : Yourdan, Statemate, and the UML [electronic resource]

Wieringa, Roel

Link zum Volltext
Elsevier Books AutoHoldings

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

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

2013

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings [Elektronische Ressource]

2012

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 : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings [Elektronische Ressource]

2012

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

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

2009

1 – 25 von 321

Suche als RSS-Feed

Aktive Filter

Autor / AutorinHutchison, David

Autor / AutorinSinner, Dominik.

SystemstelleJZUF

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

SchlagwortComputer software

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(321)

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
(319)
Zeitschrift
(2)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(0)
... im letzten Monat
(0)

Sprache

Englisch
(247)
Deutsch
(3)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Contextual design : design for life

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 [electronic resource]

Design methods for reactive systems : Yourdan, Statemate, and the UML [electronic resource]

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

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

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings [Elektronische Ressource]

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 : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings [Elektronische Ressource]

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

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

Aktive Filter

Suchergebnisse filtern