UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 365

Sortiert nach

Cyber-Physical Systems: A Model-Based Approach

1st ed. 2021., 2020

Link zum Volltext

Verfügbarkeit prüfen

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

Taha, Walid

1, 2001

Link zum Volltext

Verfügbarkeit prüfen

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

Taha, Walid

1, 2000

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

A Gentle Introduction to Multi-stage Programming, Part II

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

Taha, Walid

2008

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2002

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

2016

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2017

Link zum Volltext

Verfügbarkeit prüfen

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

Electronics (Basel), 2021, Vol.10 (8), p.902

2021

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Implementing multi-stage languages using ASTs, gensym, and reflection

Lecture notes in computer science, 2003, p.57-76

2003

Link zum Volltext

Verfügbarkeit prüfen

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

Taha, Walid Mohamed

2009 edition, 2009

Link zum Volltext

Verfügbarkeit prüfen

Compile-Time Extensions to Hybrid ODEs

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

2017

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Gradual Typing for Objects

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

2007

Link zum Volltext

Verfügbarkeit prüfen

Reasoning about multi-stage programs

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

2016

Link zum Volltext

Verfügbarkeit prüfen

Safe & robust reachability analysis of hybrid systems

Theoretical computer science, 2018-11, Vol.747, p.75-99

2018

Link zum Volltext

Verfügbarkeit prüfen

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

Taha, Walid

2014

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Cyber-Physical Systems

1, 2020

Link zum Volltext

Verfügbarkeit prüfen

A Gentle Introduction to Multi-stage Programming

Domain-Specific Program Generation, 2004, p.30-50

Taha, Walid

2004

Link zum Volltext

Verfügbarkeit prüfen

MicroITS: A Scaled-Down ITS Platform

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

2019

Link zum Volltext

Verfügbarkeit prüfen

Safe & robust reachability analysis of hybrid systems

Theoretical computer science, 2018, Vol.747, p.75

2018

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 365

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(151)
Mit Volltextzugriff
(353)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(117)
Computer Science
(91)
Technology
(89)
Computer Science, Software Engineering
(43)
Computer Science, Theory & Methods
(41)
Life Sciences & Biomedicine
(32)
Software Engineering
(24)
Applied Sciences
(22)
Computer Science; Control Theory; Systems
(22)
Exact Sciences And Technology
(22)
Software
(22)
Computer Science, Information Systems
(18)
Engineering
(17)
Programming Languages
(15)
Simulation
(15)
Physical Sciences
(14)
Humans
(13)
Semantics
(12)
Engineering, Electrical & Electronic
(11)
Hybrid Systems
(11)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

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

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

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

Implementing multi-stage languages using ASTs, gensym, and reflection

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

Gradual Typing for Objects

Reasoning about multi-stage programs

Safe & robust reachability analysis of hybrid systems

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

Accurate Programming: Thinking about programs in terms of properties

Cyber-Physical Systems

A Gentle Introduction to Multi-stage Programming

MicroITS: A Scaled-Down ITS Platform

Safe & robust reachability analysis of hybrid systems

Suchergebnisse filtern