Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(97)
Bernardo, Marco. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(2)
Laganà, Antonio. editor.
(2)
Michalewicz, Zbigniew. editor.
(2)
Dil
Yayın Yılı
-
Konu
Theory of Computation.
(56)
Software engineering.
(54)
Computer Science Logic and Foundations of Programming.
(34)
Computer-Aided Engineering (CAD, CAE) and Design.
(32)
Computer-aided engineering.
(32)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
97 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Design Science Methodology for Information Systems and Software Engineering için kapak resmi
Design Science Methodology for Information Systems and Software Engineering
by 
Wieringa, Roel J. author.
https://doi.org/10.1007/978-3-662-43839-8
Format: 
Alıntı: 
Design Science Methodology for Information Systems and Software Engineering Wieringa, Roel J
2. 
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings için kapak resmi
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings
by 
Luo, Yuhua. editor.
https://doi.org/10.1007/11863649
Format: 
Alıntı: 
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006
3. 
Software Engineering 3 Domains, Requirements, and Software Design için kapak resmi
Software Engineering 3 Domains, Requirements, and Software Design
by 
Bjørner, Dines. author.
https://doi.org/10.1007/3-540-33653-2
Format: 
Alıntı: 
Software Engineering 3 Domains, Requirements, and Software Design / Bjørner, Dines. author.
4. 
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures için kapak resmi
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Alıntı: 
Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014
5. 
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings için kapak resmi
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
by 
Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Alıntı: 
Programming and Software Engineering,
6. 
Process Design for Natural Scientists An Agile Model-Driven Approach için kapak resmi
Process Design for Natural Scientists An Agile Model-Driven Approach
by 
Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-662-45006-2
Format: 
Alıntı: 
Process Design for Natural Scientists An Agile Model-Driven Approach / Lamprecht, Anna-Lena. editor.
7. 
Analysis and Design of Machine Learning Techniques Evolutionary Solutions for Regression, Prediction, and Control Problems için kapak resmi
Analysis and Design of Machine Learning Techniques Evolutionary Solutions for Regression, Prediction, and Control Problems
by 
Stalph, Patrick. author.
https://doi.org/10.1007/978-3-658-04937-9
Format: 
Alıntı: 
Analysis and Design of Machine Learning Techniques Evolutionary Solutions for Regression
8. 
An Introduction to Design Science için kapak resmi
An Introduction to Design Science
by 
Johannesson, Paul. author.
https://doi.org/10.1007/978-3-319-10632-8
Format: 
Alıntı: 
An Introduction to Design Science Johannesson, Paul. author.
9. 
Collaborative Design for Embedded Systems Co-modelling and Co-simulation için kapak resmi
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
by 
Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-642-54118-6
Format: 
Alıntı: 
Collaborative Design for Embedded Systems Co-modelling and Co-simulation / Fitzgerald, John. editor.
10. 
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers için kapak resmi
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
by 
Glück, Robert. editor.
https://doi.org/10.1007/978-3-642-36315-3
Format: 
Alıntı: 
Programming and Software Engineering,
11. 
User-Level Workflow Design A Bioinformatics Perspective için kapak resmi
User-Level Workflow Design A Bioinformatics Perspective
by 
Lamprecht, Anna-Lena. author.
https://doi.org/10.1007/978-3-642-45389-2
Format: 
Alıntı: 
User-Level Workflow Design A Bioinformatics Perspective / Lamprecht, Anna-Lena. author.
12. 
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings için kapak resmi
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings
by 
vom Brocke, Jan. editor.
https://doi.org/10.1007/978-3-642-38827-9
Format: 
Alıntı: 
Design Science at the Intersection of Physical and Virtual Design 8th International Conference
Eylem Seç