UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Cyber-Physical Systems: A Model-Based Approach

1st ed. 2021., 2020

Volltextzugriff (PDF)

Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings

Taha, Walid

1, 2001

Volltextzugriff (PDF)

Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Taha, Walid

1, 2000

Volltextzugriff (PDF)

Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

1st Edition 2020, 2020

Volltextzugriff (PDF)

A Gentle Introduction to Multi-stage Programming, Part II

Generative and Transformational Techniques in Software Engineering II, 2008, p.260-290

2008

Volltextzugriff (PDF)

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings

1, 2002

Volltextzugriff (PDF)

Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

1st ed. 2019., 2019

Volltextzugriff (PDF)

The use of Trifloralin Herbicide, cultivation distances and cultivation method to control the weeds accompanying the local barley crop (Hordeum vulgare L.)

IOP conference series. Earth and environmental science, 2021-04, Vol.735 (1), p.12001

2021

Volltextzugriff (PDF)

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2016

Volltextzugriff (PDF)

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

1, 2017

Volltextzugriff (PDF)

Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers

1st Edition 2019, 2019

Volltextzugriff (PDF)

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Taha, Walid Mohamed

2009 edition, 2009

Volltextzugriff (PDF)

Compile-Time Extensions to Hybrid ODEs

Electronic proceedings in theoretical computer science, 2017-04, Vol.247 (Proc. SNR 2017), p.52-70

2017

Volltextzugriff (PDF)

Twelve months outcome of drug-eluting stenting versus off-pump bypass surgery for proximal left anterior descending coronary artery lesion in ischemic cardiomyopathy

Journal of Indian College of Cardiology, 2020-10, Vol.10 (4), p.174-180

2020

Volltextzugriff (PDF)

Challenges in Digital Twin Development for Cyber-Physical Production Systems

Cyber Physical Systems. Model-Based Design, p.28-48

Volltextzugriff (PDF)

MicroITS: A Scaled-Down ITS Platform

Cyber Physical Systems. Model-Based Design, 2019, p.214-221

2019

Volltextzugriff (PDF)

Gradual Typing for Objects

ECOOP 2007 – Object-Oriented Programming, 2007, p.2-27

2007

Volltextzugriff (PDF)

Reasoning about multi-stage programs

Journal of functional programming, 2016-01, Vol.26, Article e22

2016

Volltextzugriff (PDF)

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Cyber Physical Systems. Model-Based Design, 2020, Vol.11971, p.108-126

2020

Volltextzugriff (PDF)

Gradual typing for objects

Proceedings of the 21st European conference on Object-Oriented Programming, 2007, p.2-27

2007

Volltextzugriff (PDF)

CPS/IoT Ecosystem: A Platform for Research and Education

Cyber Physical Systems. Model-Based Design, p.206-213

Volltextzugriff (PDF)

Semantics, applications, and implementation of program generation: second international workshop, SAIG 2001, Florence, Italy September 6, 2001 : proceedings

Taha, Walid

2014

Volltextzugriff (PDF)

Computers Interacting with the Physical World: A First-Year Course

Cyber Physical Systems. Model-Based Design, p.197-205

Volltextzugriff (PDF)

Accurate Programming: Thinking about programs in terms of properties

Electronic proceedings in theoretical computer science, 2011-09, Vol.66 (Proc. DSL 2011), p.236-260

2011

Volltextzugriff (PDF)

Template-Based Monte-Carlo Test Generation for Simulink Models

Cyber Physical Systems. Design, Modeling, and Evaluation, p.63-78

Volltextzugriff (PDF)

1 – 25 von 509

Suche als RSS-Feed

Aktive Filter

Zeitschrift / SerieTheoretical Computer Science

ThemaEngineering, Electrical & Electronic

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(266)
Mit Volltextzugriff
(465)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(182)
Computer Science
(147)
Technology
(142)
Computer Science, Theory & Methods
(101)
Computer Science, Software Engineering
(92)
Applied Sciences
(59)
Computer Science; Control Theory; Systems
(59)
Exact Sciences And Technology
(59)
Software
(50)
Life Sciences & Biomedicine
(41)
Software Engineering
(40)
Humans
(16)
Theoretical Computing
(15)
Partial Evaluation
(14)
Programming Languages
(14)
Computer Science, Information Systems
(13)
Physical Sciences
(13)
Cyber-Physical Systems
(12)
Hybrid Systems
(12)
Language Processing And Microprogramming
(12)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Cyber-Physical Systems: A Model-Based Approach

Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings

Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

A Gentle Introduction to Multi-stage Programming, Part II

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings

Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

The use of Trifloralin Herbicide, cultivation distances and cultivation method to control the weeds accompanying the local barley crop (Hordeum vulgare L.)

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Compile-Time Extensions to Hybrid ODEs

Twelve months outcome of drug-eluting stenting versus off-pump bypass surgery for proximal left anterior descending coronary artery lesion in ischemic cardiomyopathy

Challenges in Digital Twin Development for Cyber-Physical Production Systems

MicroITS: A Scaled-Down ITS Platform

Gradual Typing for Objects

Reasoning about multi-stage programs

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Gradual typing for objects

CPS/IoT Ecosystem: A Platform for Research and Education

Semantics, applications, and implementation of program generation: second international workshop, SAIG 2001, Florence, Italy September 6, 2001 : proceedings

Computers Interacting with the Physical World: A First-Year Course

Accurate Programming: Thinking about programs in terms of properties

Template-Based Monte-Carlo Test Generation for Simulink Models

Aktive Filter

Suchergebnisse filtern