Search Results for Computer-aided engineering.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(215)

Apduhan, Bernady O. editor.

(5)

European Federation of Chemical Engineering. Working Party on Computer Aided Process Engineering.

(5)

Gani, R. (Rafiqul)

(5)

Gavrilova, Marina L. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Kiritsis, Dimitris. editor.

(5)

Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187

(5)

Laso, M. (Manuel)

(5)

Leondes, Cornelius T.

(5)

Misra, Sanjay. editor.

(5)

Moreno-Díaz, Roberto. editor.

(5)

Murgante, Beniamino. editor.

(5)

Perpète, E. A. (Eric A.)

(5)

Rocha, Ana Maria Alves Coutinho. editor.

(5)

Taniar, David. editor.

(5)

Torre, Carmelo. editor.

(5)

Bouras, Abdelaziz. editor.

(4)

Lawrence, Kent L.

(4)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

Bernard, Alain. editor. (orcid)0000-0002-7037-2980

(3)

Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259

(3)

Chai, Hua. editor.

(3)

Eynard, Benoit. editor.

(3)

Francis, Adel. editor.

(3)

Gero, John S. editor.

(3)

Grabot, Bernard. editor.

(3)

Hopgood, Adrian A., author.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Joshi, Amit. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Melhado, Silvio. editor.

(3)

Miresco, Edmond. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Thoben, Klaus-Dieter. editor.

(3)

Vallespir, Bruno. editor.

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Zawidzki, Machi. author.

(3)

von Cieminski, Gregor. editor.

(3)

(2)

Ameri, Farhad. editor.

(2)

Aouad, Ghassan.

(2)

Babaee Tirkolaee, Erfan. editor.

(2)

Butkienė, Rita. editor. (orcid)0000-0003-3250-4599

(2)

Cazacu, Christiana. editor.

(2)

Ciszak, Olaf. editor.

(2)

Duc An, Pham. editor.

(2)

Duhovnik, Jože. author.

(2)

Durakbasa, Numan M. editor.

(2)

Eden, Mario R., editor.

(2)

Erdebilli, Babek. editor.

(2)

(2)

Foufou, Sebti. editor.

(2)

Gençyılmaz, M. Güneş. editor.

(2)

Georgopoulos, Andreas. editor.

(2)

Ghiocel, Dan M.

(2)

Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556

(2)

Gălățanu, Teofil. editor.

(2)

International Conference on Structural Engineering, Mechanics, and Computation (9th : 2025 : Cape Town, South Africa), creator.

(2)

Ishizaki, Kozo. editor.

(2)

Kar, Arpan Kumar. editor.

(2)

Khatir, Samir. editor.

(2)

Kim, Hyung Sun. editor. (orcid)0000-0003-1499-8484

(2)

Kim, Kyoung-Yun. editor.

(2)

Kim, Yun-Hae. editor.

(2)

Korres, Manolis. editor.

(2)

Long, Banh Tien. editor.

(2)

Lopata, Audrius. editor.

(2)

Luo, Yuhua. editor.

(2)

Lödding, Hermann. editor.

(2)

Menz, Sacha. author.

(2)

Milani, Gabriele. editor. (orcid)0000-0001-5462-3420

(2)

Minh, Nguyen Thi Hong. editor.

(2)

Mirzazadeh, Abolfazl. editor.

(2)

Modi, Nilesh. editor.

(2)

Monplaisir, Leslie. editor.

(2)

Moropoulou, Antonia. editor.

(2)

Mouzakis, Charalambos. editor.

(2)

Muntean, Radu. editor. (orcid)0000-0001-9404-4060

(2)

Nikolaidis, Efstratios.

(2)

O'Connor, Ian. editor.

(2)

Ochiai, Hiroyuki. editor.

(2)

Ovalı, İsmail.

(2)

Pathak, Nisarg. editor.

(2)

Pavlenko, Ivan. editor.

(2)

Peddie, Jon. author.

(2)

Pichler, Franz. editor.

(2)

Pietrusiak, Damian. editor.

(2)

Prabhu, Vittal. editor.

(2)

(2)

Quesada-Arencibia, Alexis. editor.

(2)

Reis, Ricardo. editor. (orcid)0000-0001-5781-5858

(2)

Rickli, Jeremy. editor.

(2)

Riedel, Ralph. editor.

(2)

Rusiński, Eugeniusz. editor.

(2)

Samuel, Gomes. editor.

(2)

Schröpfer, Thomas. author.

(2)

Singhal, Suren.

(2)

Spyrakos, Constantine. editor.

(2)

Stark, John. author.

(2)

Stecke, Kathryn E. editor.

(2)

Sun, Tongyue. editor.

(2)

Taisch, Marco. editor.

(2)

Taylor and Francis.

(2)

Toan, Nguyen Duc. editor. (orcid)0000-0001-9619-4476

(2)

Trojanowska, Justyna. editor.

(2)

Tuns, Ioan. editor.

(2)

Vieira Vaz, Jorge. editor.

(2)

Weber, Gerhard-Wilhelm. editor.

(2)

Yan, Chao. editor.

(2)

Yuan, Philip F. editor. (orcid)0000-0002-2871-377X

(2)

Zingoni, Alphose, editor.

(2)

von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055

(2)

ASCE International Workshop on Computing in Civil Engineering (2013 : Los Angeles, Calif.)

(1)

Aalst, Wil van der.

(1)

Abdelkader, Krichen. editor.

(1)

Abramovici, Michael. editor.

(1)

Abu-Rahma, Mohamed H. author.

(1)

Achenie, Luke E. K.

(1)

Ai, Chengbo. author.

(1)

Alba-Baena, Noe. editor.

(1)

Ali, Hassan. author.

(1)

Ali, Rashid. author.

(1)

Altenbach, Holm. editor.

(1)

Ammeraal, Leen. author.

(1)

Anis, Mohab. author.

(1)

Anjyo, Ken. editor.

(1)

Arora, P. K. editor.

(1)

Asadi, Farzin. author. (orcid)0000-0002-5928-0807

(1)

(1)

Associazione italiana di ingegneria chimica.

(1)

Assunção, Pedro Amado. editor.

(1)

Bahubalendruni, M. V. A. Raju. editor.

(1)

Baker, Emanuel R., 1934-

(1)

Balandraud, Xavier. editor. (orcid)0000-0002-1446-467X

(1)

Bank, Randolph. editor.

(1)

Bao, Ding Wen Nic. editor.

(1)

Barberio, Maurizio. editor.

(1)

Barbosa-Póvoa, A.

(1)

Barkey, Mark E.

(1)

Barraza, Manuel Francisco Suarez. editor.

(1)

Bathe, Klaus-Jürgen. editor.

(1)

Battineni, Gopi. editor.

(1)

Battisti, Alessandra. editor. (orcid)0000-0002-3288-9321

(1)

Becerik-Gerber, Burçin.

(1)

Beck, Antonio Carlos Schneider. editor.

(1)

Benaissa, Brahim. editor.

(1)

Bengzon, Fredrik. author.

(1)

Benhabib, Beno., author.

(1)

Benyahya, Nourredine. editor.

(1)

Bernardini, Gabriele. author.

(1)

Beushausen, Hans. editor.

(1)

Bhattacharyya, Suvanjan. editor. (orcid)0000-0002-3619-0518

(1)

Bi, Zhuming, author.

(1)

Bianconi, Fabio. editor.

(1)

Bieniek, Tomasz. author.

(1)

Bildea, Costin Sorin, author.

(1)

Biswal, B. B. editor.

(1)

Bogataj, Miloš, editor.

(1)

Bonilla-Petriciolet, Adrian, editor.

(1)

Bordas, Stéphane P.A., author.

(1)

Bordegoni, Monica. author. (orcid)0000-0001-9378-8295

(1)

Bouzid Saï, Wassila. editor.

(1)

Božanić, Mladen. author. (orcid)0000-0001-9174-0781

(1)

Brailov, Aleksandr Yurievich. author.

(1)

Brauer, John R., 1943-

(1)

Braunschweig, Bertrand.

(1)

Brilakis, Ioannis.

(1)

(1)

Brück, Rainer. author.

(1)

Burduk, Anna. editor. (orcid)0000-0003-2181-4380

(1)

Butdee, Suthep. editor.

(1)

(1)

Cai, Yunpeng. editor.

(1)

Cao, Yu. editor.

(1)

Capozucca, Roberto. editor.

(1)

Carrara, Sandro. author.

(1)

Carro, Luigi. editor.

(1)

Cash, Philip. editor.

(1)

Cece, Alessandro. editor. (orcid)0000-0002-5267-0685

(1)

Chaki, Nabendu. editor.

(1)

Chaki, Rituparna. editor.

(1)

Chakrabarti, Amaresh. editor.

(1)

Chang, Ho-nam, editor.

(1)

Chang, Kuang-Hua, 1960- author.

(1)

Chang, Kuang-Hua.

(1)

Chattaraj, Pratim Kumar.

(1)

Chatterjee, Ananda M., 1946-2016, editor.

(1)

Chemmangattuvalappil, Nishanth G.

(1)

Chemmangattuvalappil, Nishanth G., editor.

(1)

Chen, Bingzhen.

(1)

Chen, Wai-Kai, 1936-

(1)

Cheng, Franklin Y.

(1)

Cheng, Xiang. author.

(1)

Chi, Sung Do. editor.

(1)

Language

(319)

(5)

Publication Date

-

(36)

(35)

(33)

(32)

(31)

(28)

(28)

(23)

(21)

(14)

(10)

(9)

(8)

(7)

(6)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Subject

Computer-aided engineering.

(167)

Computer-Aided Engineering (CAD, CAE) and Design.

(129)

Engineering design.

(53)

Computer aided design.

(28)

Artificial intelligence.

(27)

Building Construction and Design.

(21)

Buildings -- Design and construction.

(21)

Production engineering.

(21)

(20)

Computer science.

(18)

Computer simulation.

(18)

(18)

Industrial engineering.

(18)

Application software.

(16)

Industrial and Production Engineering.

(16)

Mechanics, Applied.

(15)

(12)

Computer-aided design.

(12)

Machines, Tools, Processes.

(12)

(12)

Software engineering.

(12)

Computer Modelling.

(11)

Engineering -- Data processing.

(11)

Engineering mathematics.

(11)

Solid Mechanics.

(11)

(11)

Chemical process control -- Data processing -- Congresses.

(10)

Computer integrated manufacturing systems -- Congresses.

(10)

Computer networks .

(10)

Electronic books.

(10)

Building materials.

(9)

Computational Science and Engineering.

(9)

Computational intelligence.

(9)

Computer graphics.

(9)

Biomedical engineering.

(8)

Electronic circuits.

(8)

Systems engineering.

(8)

User interfaces (Computer systems).

(8)

Building information modeling.

(7)

Business information services.

(7)

Computer and Information Systems Applications.

(7)

Computer science -- Mathematics.

(7)

Control engineering.

(7)

Control, Robotics, Automation.

(7)

Electronic Circuits and Systems.

(7)

(7)

Mathematical and Computational Engineering Applications.

(7)

Mathematics -- Data processing.

(7)

Mechanical engineering.

(7)

Structural Materials.

(7)

Chemical engineering.

(6)

Computer engineering.

(6)

Computer vision.

(6)

Computer-aided engineering -- Congresses.

(6)

(6)

(6)

IT in Business.

(6)

(6)

Production management.

(6)

(5)

Bilgisayar destekli mühendislik.

(5)

(5)

CAD/CAM systems.

(5)

Circuits and Systems.

(5)

Civil engineering.

(5)

Computer Communication Networks.

(5)

Computer Engineering and Networks.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Data Mining and Knowledge Discovery.

(5)

Facility management.

(5)

Human-computer interaction.

(5)

Materials Engineering.

(5)

Polymers -- Mathematical models.

(5)

User Interfaces and Human Computer Interaction.

(5)

Artificial Intelligence (incl. Robotics).

(4)

(4)

Buildings—Design and construction.

(4)

Business Information Systems.

(4)

CATIA (Computer file)

(4)

Communications Engineering, Networks.

(4)

Computer Science Logic and Foundations of Programming.

(4)

Computer industry.

(4)

Data Engineering.

(4)

(4)

Engineering Mechanics.

(4)

Industrial design.

(4)

Information Systems Applications (incl. Internet).

(4)

Internet of things.

(4)

Management information systems.

(4)

Mathematical models.

(4)

Nanotechnology.

(4)

Operations Management.

(4)

Optical data processing.

(4)

Process Engineering.

(4)

Structural materials.

(4)

Sustainable architecture.

(4)

Telecommunication.

(4)

The Computer Industry.

(4)

Theory of Computation.

(4)

Applied mathematics.

(3)

Automotive Engineering.

(3)

CATIA (Bilgisayar kütüğü).

(3)

Chemical process control.

(3)

Chemical processes -- Computer simulation.

(3)

Chemical processes.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computational Mathematics and Numerical Analysis.

(3)

Computer Applications.

(3)

Computer Hardware.

(3)

(3)

Database management.

(3)

(3)

Electrical engineering.

(3)

Engineering, Architectural.

(3)

Expert systems (Computer science)

(3)

Human geography.

(3)

Image processing -- Digital techniques.

(3)

Industrial Management.

(3)

Information technology.

(3)

Information theory.

(3)

Innovation and Technology Management.

(3)

Mathematical Modeling and Industrial Mathematics.

(3)

(3)

Multimedia Information Systems.

(3)

Multimedia systems.

(3)

Operations research.

(3)

Optical pattern recognition.

(3)

Pattern Recognition.

(3)

(3)

Regional planning.

(3)

(3)

Signal processing.

(3)

Signal, Speech and Image Processing.

(3)

TECHNOLOGY & ENGINEERING -- Chemical & Biochemical.

(3)

TECHNOLOGY & ENGINEERING.

(3)

Technological innovations.

(3)

Urban planning.

(3)

ANSYS (Computer system)

(2)

ANSYS (Computer system) -- Handbooks, manuals, etc.

(2)

Applied Dynamical Systems.

(2)

Architecture -- Computer-aided design.

(2)

Augmented reality.

(2)

(2)

Bilgisayar destekli tasarım.

(2)

Biomedical Engineering and Bioengineering.

(2)

CATIA (Computer file).

(2)

(2)

(2)

Characterization and Analytical Technique.

(2)

Chemical engineering -- Data processing -- Congresses.

(2)

Chemical industry.

(2)

Chemical processes

(2)

Chemistry, Physical and theoretical.

(2)

(2)

Cognitive psychology.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer integrated manufacturing systems.

(2)

Computer programming.

(2)

Computers and Education.

(2)

(2)

Cooperating objects (Computer systems).

(2)

Cyber-Physical Systems.

(2)

Database Management System.

(2)

Differential equations, partial.

(2)

Discrete mathematics.

(2)

Dynamical systems.

(2)

(2)

Education -- Data processing.

(2)

Electric power production.

(2)

Electrical Power Engineering.

(2)

Electrical and Electronic Engineering.

(2)

Electronic data processing -- Management.

(2)

Engineering -- Computer simulation -- Congresses.

(2)

Engineering geology.

(2)

Fluid mechanics.

(2)

Force and energy.

(2)

Geoengineering.

(2)

(2)

(2)

Graphic design.

(2)

Health Informatics.

(2)

(2)

Image Processing and Computer Vision.

(2)

Industrial Automation.

(2)

Industrial Chemistry/Chemical Engineering.

(2)

Industrial management.

(2)

Information technology -- Management.

(2)

Innovation/Technology Management.

(2)

Intelligence (AI) & Semantics.

(2)

Interactive multimedia -- Computer programs.

(2)

Machinery and Machine Elements.

(2)

(2)

Manufacturing processes.

(2)

Materials -- Analysis.

(2)

Materials -- Congresses.

(2)

Materials for Energy and Catalysis.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical physics.

(2)

Medical and Health Technologies.

(2)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Karger E-Book Collection

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

325 Results Found

Subscribe to search results

1 .. 8 9 10 11 12 .. 28

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

109.

Cover image for Computational methods and mathematical modeling in cyberphysics and engineering applications. 1

Computational methods and mathematical modeling in cyberphysics and engineering applications. 1

Computational methods and mathematical modeling in cyberphysics and engineering applications. 1

Author

Koroliouk, Dmitri, editor. Lyashko, Sergei I., editor. Limnios, N. (Nikolaos), editor.

Preferred Shelf Number

TA345 .C66 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394284344

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Proceedings of the 15th International Conference on Axiomatic Design 2023

Proceedings of the 15th International Conference on Axiomatic Design 2023

Proceedings of the 15th International Conference on Axiomatic Design 2023

Author

Puik, Erik. editor. Cochran, David S. editor. Foley, Joseph Timothy. editor. Foith-Förster, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49920-3

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Author

Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48981-5

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Product Lifecycle Management (Volume 2) The Devil is in the Details

Product Lifecycle Management (Volume 2) The Devil is in the Details

Product Lifecycle Management (Volume 2) The Devil is in the Details

Author

Stark, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50658-1

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Detection of Karst Voids at Deep Pile Foundation

Detection of Karst Voids at Deep Pile Foundation

Detection of Karst Voids at Deep Pile Foundation

Author

Liu, Liu. author. Shi, Zhenming. author. Peng, Ming. author. (orcid)0000-0001-9134-4391 Li, Shaojun. author. (orcid)0000-0002-9956-0205 Tao, Fengjuan. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5834-0

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III

Author

Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-23944-1

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Science, Engineering Management and Information Technology First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I

Science, Engineering Management and Information Technology First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I

Science, Engineering Management and Information Technology First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I

Author

Mirzazadeh, Abolfazl. editor. Erdebilli, Babek. editor. Babaee Tirkolaee, Erfan. editor. Weber, Gerhard-Wilhelm. editor. Kar, Arpan Kumar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-40395-8

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Implants and Oral Rehabilitation of the Atrophic Maxilla Advanced Techniques and Technologies

Implants and Oral Rehabilitation of the Atrophic Maxilla Advanced Techniques and Technologies

Implants and Oral Rehabilitation of the Atrophic Maxilla Advanced Techniques and Technologies

Author

Rinaldi, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-12755-7

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Computational Methods in Psychiatry

Computational Methods in Psychiatry

Computational Methods in Psychiatry

Author

Battineni, Gopi. editor. Mittal, Mamta. editor. Chintalapudi, Nalini. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6637-0

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for Patterns of Interaction Computational Design Across Scales

Patterns of Interaction Computational Design Across Scales

Patterns of Interaction Computational Design Across Scales

Author

Fricker, Pia. author. Kotnik, Toni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9083-0

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022)

Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022)

Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022)

Author

Yuan, Philip F. editor. Chai, Hua. editor. Yan, Chao. editor. Li, Keke. editor. Sun, Tongyue. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-8637-6

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

Author

Mora, Plácido Lizancos. editor. Viana, David Leite. editor. Morais, Franklim. editor. Vieira Vaz, Jorge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2217-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 8 9 10 11 12 .. 28

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11