Search Results for Software

|

|

|

|

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

Narrowed by:

+

Subject: Computer System Implementation.

Author

SpringerLink (Online service)

(187)

Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758

(15)

He, Ran. editor. (orcid)0000-0002-3807-991X

(15)

Lin, Zhouchen. editor.

(15)

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175

(15)

Silamu, Wushouer. editor.

(15)

Ubul, Kurban. editor.

(15)

Zha, Hongbin. editor.

(15)

Zhou, Jie. editor.

(15)

Chen, Xilin. editor.

(11)

Ji, Rongrong. editor. (orcid)0000-0003-4739-8936

(11)

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

(11)

Ma, Zhanyu. editor.

(11)

Wang, Hanzi. editor.

(11)

Wang, Liang. editor. (orcid)0000-0001-5224-8647

(11)

Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

(11)

Zheng, Weishi. editor. (orcid)0000-0001-8327-0003

(11)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(8)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(8)

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960

(7)

Sheng, Bin. editor. (orcid)0000-0001-8678-2784

(7)

Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

(7)

Dobbie, Gill. editor. (orcid)0000-0001-7245-0367

(6)

Jiang, Jing. editor. (orcid)0000-0002-3035-0074

(6)

Ma, Congbo. editor. (orcid)0000-0002-3270-5609

(6)

Mansoor, Wathiq. editor. (orcid)0000-0003-2784-5188

(6)

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147

(6)

Wu, Jia. editor. (orcid)0000-0002-1371-5801

(6)

Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

(6)

Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159

(6)

Antona, Margherita. editor.

(5)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(5)

Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333

(5)

Salvendy, Gavriel. editor.

(5)

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

(4)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Choraś, Michał. editor. (orcid)0000-0003-1405-9911

(4)

Conti, Mauro. editor. (orcid)0000-0002-3612-1934

(4)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(4)

Han, Jiang. editor.

(4)

Han, Yu. editor. (orcid)0000-0002-8155-1706

(4)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(4)

Kim, Jinman. editor.

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Kozik, Rafał. editor. (orcid)0000-0001-7122-3306

(4)

Liang, Kaitai. editor.

(4)

Lu, Zeguang. editor.

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Smaragdakis, Georgios. editor.

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tsudik, Gene. editor.

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Yun, Lin. editor. (orcid)0000-0003-1379-9301

(4)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Gao, Honghao. editor. (orcid)0000-0001-6861-9684

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Abou el Kalam, Anas. editor.

(2)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210

(2)

Barria-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407

(2)

Bouguelia, Mohamed-Rafik. editor.

(2)

Cai, Chengtao. editor. (orcid)0000-0002-3475-6098

(2)

Carro, Luigi. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Xuebin. editor.

(2)

Choi, Baek-Young. editor.

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Conway, Myra. editor.

(2)

Cremers, Daniel. editor. (orcid)0000-0002-3079-7984

(2)

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203

(2)

Domínguez Mayo, Francisco José. editor.

(2)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(2)

Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903

(2)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Franquet, Erwin. editor. (orcid)0000-0002-7009-1521

(2)

Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Hegadi, Ravindra. editor. (orcid)0000-0002-5176-6490

(2)

Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948

(2)

Hernández, German. editor. (orcid)0000-0001-9549-2316

(2)

Hu, Fuyuan. editor.

(2)

Huang, Lan. editor.

(2)

Jing, Weipeng. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430

(2)

Lauradoux, Cédric. editor. (orcid)0000-0001-6987-2403

(2)

Lin, Junyu. editor.

(2)

Lähner, Zorah. editor. (orcid)0000-0003-0599-094X

(2)

Madani, Kurosh. editor.

(2)

Makkar, Aaisha. editor. (orcid)0000-0001-7203-6553

(2)

Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137

(2)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(2)

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X

(2)

Moeller, Michael. editor. (orcid)0000-0002-0492-6527

(2)

Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541

(2)

Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884

(2)

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012

(2)

Nießner, Matthias. editor. (orcid)0000-0001-6093-5199

(2)

Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995

(2)

Ommer, Björn. editor. (orcid)0000-0003-0766-120X

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Pilato, Christian. editor.

(2)

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X

(2)

Rannenberg, Kai. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680

(2)

Santosh, KC. editor.

(2)

Sim, Kevin. editor.

(2)

Singh, Ashutosh K. editor. (orcid)0000-0002-8053-5050

(2)

Song, Xianhua. editor.

(2)

Song, Xianhua. editor. (orcid)0000-0002-0111-8559

(2)

Squillero, Giovanni. editor.

(2)

Stephanidis, Constantine. editor.

(2)

Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186

(2)

Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384

(2)

Triebel, Rudolph. editor. (orcid)0000-0002-7975-036X

(2)

Vacavant, Antoine. editor.

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

(2)

Worrell, James. editor.

(2)

Xu, Bin. editor.

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Yu, Haipeng. editor. (orcid)0000-0003-0634-7913

(2)

Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189

(2)

Zhang, Min. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Alzubi, Jafar. editor. (orcid)0000-0001-6724-1421

(1)

Anjorin, Anthony. editor.

(1)

Aujla, Gagangeet Singh. editor.

(1)

Bai, Guangdong. editor.

(1)

Barzen, Johanna. editor.

(1)

Batista, Thais. author.

(1)

Benslimane, Djamal. editor.

(1)

Berns, Karsten. editor.

(1)

Betancur Vasquez, Daniel. editor. (orcid)0000-0003-4834-7268

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bianchini, Devis. editor.

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bråthen, Svein. editor.

(1)

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109

(1)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(1)

Cardoso, João M.P. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Cerny, Tomas. editor. (orcid)0000-0002-5882-5502

(1)

Chalhoub, Gerard. editor. (orcid)0000-0003-1687-598X

(1)

Challa, Rama Krishna. editor. (orcid)0000-0002-2759-2654

(1)

Chapman, Barbara M. editor.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chen, Bo. editor.

(1)

Chen, Jiageng. editor. (orcid)0000-0001-9033-2575

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Yu. editor.

(1)

Cota, Vinícius Rosa. editor. (orcid)0000-0002-2338-5949

(1)

Covarrubias, Mario. editor. (orcid)0000-0003-4195-9333

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dang, Trong Hop. editor.

(1)

Daněk, Martin. editor.

(1)

Delicato, Flávia C. author.

(1)

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X

(1)

Devos, Arnaud. editor. (orcid)0000-0001-8124-723X

(1)

Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375

(1)

Dick, Jeremy. author.

(1)

Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953

(1)

Ding, Chen. editor.

(1)

Doka, Katerina. editor.

(1)

Doncel, Josu. editor. (orcid)0000-0002-5552-9134

(1)

Dong, Naipeng. editor.

(1)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(1)

Douligeris, Christos. editor.

(1)

Drogkaris, Prokopios. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Eick, Bettina. editor. (orcid)0000-0003-2884-6545

(1)

Elbiaze, Halima. editor. (orcid)0000-0001-5681-6445

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

(1)

Fahrnberger, Günter. editor.

(1)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(1)

Ferraro, Venere. editor. (orcid)0000-0002-5114-9038

(1)

Ferreira, Joao C. editor.

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Language

(187)

Publication Date

-

(96)

(67)

(12)

(7)

(5)

Subject

Computer systems.

(180)

Computer networks .

(128)

Computer Communication Networks.

(127)

Application software.

(107)

Computer and Information Systems Applications.

(107)

Artificial intelligence.

(86)

Software engineering.

(76)

Special Purpose and Application-Based Systems.

(57)

Computers, Special purpose.

(53)

Computer vision.

(39)

Computer science.

(35)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(33)

Image processing -- Digital techniques.

(33)

Machine learning.

(32)

Data protection.

(22)

Computer Engineering and Networks.

(21)

Computer engineering.

(21)

Data and Information Security.

(20)

Information theory.

(18)

Theory of Computation.

(18)

Control Structures and Microprogramming.

(16)

Data Structures and Information Theory.

(16)

Data structures (Computer science).

(16)

Microprogramming .

(15)

(14)

Operating systems (Computers).

(13)

Data encryption (Computer science).

(12)

Operating Systems.

(12)

(11)

(11)

Data Mining and Knowledge Discovery.

(11)

(11)

System Performance and Evaluation.

(11)

Computer Science Logic and Foundations of Programming.

(10)

Computer programming.

(10)

Programming Techniques.

(10)

Coding and Information Theory.

(9)

(9)

Computers and Education.

(9)

Computing Milieux.

(9)

Education -- Data processing.

(9)

Electronic digital computers -- Evaluation.

(9)

Security Services.

(9)

Computer networks -- Security measures.

(8)

Computer science -- Mathematics.

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Mobile and Network Security.

(8)

Computer Application in Social and Behavioral Sciences.

(7)

Computer network architectures.

(7)

Social sciences -- Data processing.

(7)

Computer input-output equipment.

(6)

Database management.

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Input/Output and Data Communications.

(6)

Mathematics of Computing.

(6)

Processor Architectures.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Computational intelligence.

(5)

Computer architecture.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computer Hardware.

(4)

Database Management System.

(4)

Electronic data processing -- Management.

(4)

(4)

(4)

(4)

Logic programming.

(4)

Mathematical Logic and Foundations.

(4)

Mathematical logic.

(4)

Computers and Society.

(3)

Communications Engineering, Networks.

(2)

Computer system performance.

(2)

Computers and civilization.

(2)

Health Informatics.

(2)

Information Systems Applications (incl. Internet).

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Probability and Statistics in Computer Science.

(2)

Systems and Data Security.

(2)

Telecommunication.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Networks.

(1)

Computer Science, general.

(1)

Computer software.

(1)

Data Encryption.

(1)

Information Systems.

(1)

Information technology -- Management.

(1)

(1)

Management of Computing and Information Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Microprogramming.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

The Computing Profession.

(1)

Theory and Algorithms for Application Domains.

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

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

187 Results Found

Subscribe to search results

1 2 3 4 5 .. 16

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.

13.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57231-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Author

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61753-9

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Author

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66021-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71261-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Guide to Software Development Designing and Managing the Life Cycle

Guide to Software Development Designing and Managing the Life Cycle

Guide to Software Development Designing and Managing the Life Cycle

Author

Langer, Arthur M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6799-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Internetware A New Software Paradigm for Internet Computing

Internetware A New Software Paradigm for Internet Computing

Internetware A New Software Paradigm for Internet Computing

Author

Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-2546-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Author

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61473-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61482-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Author

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65578-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Author

Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. (orcid)0000-0001-8332-5860 Berns, Karsten. editor. Vinel, Alexey. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 16

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11