×

Found 142 Documents (Results 1–100)

100
MathJax

Sustainable development goals: analysis by mathematics of uncertainty. (English) Zbl 1458.91007

Studies in Systems, Decision and Control 299. Cham: Springer (ISBN 978-3-030-48522-1/hbk; 978-3-030-48523-8/ebook). xiii, 230 p. (2021).
MSC:  91-02 91B76 91B86
PDF BibTeX XML Cite
Full Text: DOI

Role-based development of dynamically evolving esembles. (English) Zbl 1444.68118

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 3-24 (2019).
MSC:  68Q85 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

The philosophy of quantum physics. Translated from the German by William D. Brewer. (English) Zbl 1457.81003

Cham: Springer (ISBN 978-3-319-78354-3/hbk; 978-3-030-08685-5/pbk; 978-3-319-78356-7/ebook). xvii, 291 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Philosophy of quantum physics. Central concepts, problems positions. 2nd edition. (Philosophie der Quantenphysik. Zentrale Begriffe, Probleme, Positionen.) (German) Zbl 1394.81004

Heidelberg: Springer Spektrum (ISBN 978-3-662-54275-0/pbk; 978-3-662-54276-7/ebook). xvii, 307 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

The mathematical work of Masatoshi Fukushima – an essay. (English) Zbl 1341.01034

Chen, Zhen-Qing (ed.) et al., Festschrift Masatoshi Fukushima. In Honor of Masatoshi Fukushima’s Sanju. Hackensack, NJ: World Scientific (ISBN 978-981-4596-52-7/hbk; 978-981-4596-54-1/ebook). Interdisciplinary Mathematical Sciences 17, 3-15 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Grid based environment application development methodology. (English) Zbl 1280.68052

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 7th international conference, LSSC 2009, Sozopol, Bulgaria, June 4–8, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-12534-8/pbk). Lecture Notes in Computer Science 5910, 499-506 (2010).
MSC:  68M10 65D18 68U10
PDF BibTeX XML Cite
Full Text: DOI

Software testing and analysis. Process, principles and techniques. Translated by Rainer G. Haselier. (Software testen und analysieren. Prozesse, Prinzipien and Techniken. Übersetzt von Rainer G. Haselier.) (German) Zbl 1169.68008

München: Oldenbourg Verlag (ISBN 978-3-486-58521-6/hbk). xxvi, 552 p. (2009).
MSC:  68N01 68N30 68-01
PDF BibTeX XML Cite

Generating functions of stochastic L-systems and application to models of plant development. (English) Zbl 1355.92062

Fifth colloquium on mathematics and computer science. Lectures from the colloquium, Blaubeuren, Germany, September 22–26, 2008. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science Proceedings AI, 325-338 (2008).
MSC:  92C80 60J85 68Q42
PDF BibTeX XML Cite
Full Text: Link

SOA pragmatism. (English) Zbl 1181.68312

Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 23-28 (2008).
MSC:  68U35
PDF BibTeX XML Cite
Full Text: DOI

SCADE: synchronous design and validation of embedded control software. (English) Zbl 1189.93012

Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 19-33 (2007).
MSC:  93A30 93C83 93A13
PDF BibTeX XML Cite
Full Text: DOI

Harnessing rCOS for tool support – the CoCoME experience. (English) Zbl 1151.68380

Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI

A nonclassical optimality condition in a problem of population control with age distribution. (Russian, English) Zbl 1085.92032

Zh. Vychisl. Mat. Mat. Fiz. 43, No. 11, 1659-1665 (2003); translation in Comput. Math. Math. Phys. 43, No. 11, 1597-1603 (2003).
MSC:  92D25 49N90 93C15
PDF BibTeX XML Cite

Process adjustment for assemblies. Should components, or assemblies, be made to specifications? (English) Zbl 1070.90035

Gershwin, Stanley B. (ed.) et al., Analysis and modeling of manufacturing systems. Selected papers of the second Aegean international conference on analysis and modeling of manufacturing systems, Tinos Island, Greece, May 16–20, 1999. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7303-8/hbk). International Series in Operations Research & Management Science 60, 69-84 (2003).
MSC:  90B30 90C40
PDF BibTeX XML Cite

Software processes for electronic commerce portal systems. (English) Zbl 1015.68788

Han, Yanbo (ed.) et al., Engineering and deployment of cooperative information systems. First international conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2480, 315-331 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link

A tool and a formalism to design and apply patterns. (English) Zbl 1014.68579

Bellahsène, Zohra (ed.) et al., Object-oriented information systems. 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2425, 135-146 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link

Extreme programming in a research environment. (English) Zbl 1020.68948

Wells, Don (ed.) et al., Extreme programming and Agile methods - XP/Agile Universe 2002. Second XP Universe and first Agile Universe conference, Chicago, IL, USA, August 4-7, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2418, 89-99 (2002).
MSC:  68U99 68N01
PDF BibTeX XML Cite
Full Text: Link

Semi-mechanistic modeling and its application to biochemical processes. (English) Zbl 0952.93005

Verbruggen, Henk B. (ed.) et al., Fuzzy logic control. Advances in applications. International School, Delft Univ. of Technology, Delft, the Netherlands, April 1999. Singapore: World Scientific. World Sci. Ser. Robot. Intell. Syst. 23, 205-226 (1999).
MSC:  93A30 92B20 93C42
PDF BibTeX XML Cite

Methods of automation. Description, model concepts and tools for automation systems. (Methoden der Automatisierung. Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme.) (German) Zbl 0935.68125

Braunschweig: Vieweg. xii, 362 S. (1999).
Reviewer: N.Gronau (Berlin)
MSC:  68U20 68Q85 68U99
PDF BibTeX XML Cite

Analysis of decision criteria for sustainable development. (English) Zbl 0947.90596

Aganovič, Ibrahim (ed.) et al., Proceedings of the 7th international conference on Operational research - KOI ’98. Rovinj, Croatia, September 30 - October 2, 1998. Osijek: Croatian Operational Research Society. 99-110 (1998).
MSC:  90B50 90C11 90C90
PDF BibTeX XML Cite

Systematic design of embedded control systems. Composing models of system structure and behaviour. (English) Zbl 0888.93002

Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte). 283. München: Oldenbourg. Berlin: TU Berlin, 248 p. (1997).
Reviewer: R.Tracht (Essen)
MSC:  93-02 93C83 93B51 93A30 93C85
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software