Search Results for Software

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Operating Systems.

Author

SpringerLink (Online service)

(93)

Batina, Lejla. editor. (orcid)0000-0003-0727-3573

(3)

Fischlin, Marc. editor. (orcid)0000-0003-0597-8297

(3)

Florez, Hector. editor. (orcid)0000-0002-5339-4459

(3)

Lu, Zeguang. editor.

(3)

Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182

(3)

Pöpper, Christina. editor.

(3)

Wu, Qianhong. editor.

(3)

Zhu, Jianming. editor.

(3)

Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813

(2)

Baldimtsi, Foteini. editor.

(2)

Brodsky, Alexander. editor.

(2)

Cachin, Christian. editor.

(2)

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965

(2)

Filipe, Joaquim. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(2)

Polychronakis, Michalis. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Shi, Elaine. editor.

(2)

Song, Xianhua. editor.

(2)

Sun, Yi. editor.

(2)

Zhu, Liehuang. editor.

(2)

Śmiałek, Michał. editor.

(2)

Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Allen, Sarah. editor.

(1)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302

(1)

Andrade, Liliana, editor.

(1)

Anslow, Craig. editor. (orcid)0000-0001-8064-6300

(1)

Antonakakis, Manos. editor.

(1)

Arabnia, Hamid R. editor.

(1)

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062

(1)

Athanasopoulos, Elias. editor.

(1)

Bader, Markus. editor.

(1)

Badir, Hassan. editor.

(1)

Bai, Guangdong. editor.

(1)

Bailey, Michael. editor.

(1)

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barnes, John. author.

(1)

Barzen, Johanna. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beheshti, Amin. editor. (orcid)0000-0002-5988-5494

(1)

Bellatreche, Ladjel. editor.

(1)

Bergsmann, Johannes. editor.

(1)

Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056

(1)

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

(1)

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

(1)

Blieberger, Johann. editor.

(1)

Bludau, Peter. editor. (orcid)0000-0003-4738-0488

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello M. editor.

(1)

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

(1)

Bosschere, Koen. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Brat, Guillaume. editor.

(1)

Brown, Mike, author.

(1)

Brukardt, Randall L. editor.

(1)

Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400

(1)

Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X

(1)

Buttazzo, Giorgio. author.

(1)

Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

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

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chemuturi, Murali. author.

(1)

Chiba, Shigeru. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clarke, Dave. editor.

(1)

Cohen, Albert. editor.

(1)

Cristea, Ana Daniela. author.

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Dacier, Marc. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Daněk, Martin. editor.

(1)

Desai, Narayan. editor.

(1)

Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581

(1)

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

(1)

Diamandis, Theo. editor. (orcid)0000-0003-0657-5959

(1)

Ding, Chen. editor.

(1)

Ding, Yong. editor. (orcid)0000-0002-3571-7576

(1)

Dong, Naipeng. editor.

(1)

Dou, Yong. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duff, Robert A. editor.

(1)

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

(1)

Emek, Yuval. editor.

(1)

Eugster, Patrick. editor.

(1)

Farchi, Eitan. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Frachtenberg, Eitan. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Fredericks, Erik M. editor.

(1)

Fritz, G. Blair, author.

(1)

Gammoudi, Mohamed Mohsen. editor.

(1)

Gargouri, Faiez. editor.

(1)

Gaspers, Serge. editor.

(1)

Gay, Warren. author.

(1)

Gellert, Ulrich. author.

(1)

Gelsinger, Pat, writer of foreword.

(1)

Ghezzi, Carlo. editor.

(1)

Gil, Joon-Min. editor.

(1)

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395

(1)

Gong, Xiaoli. editor.

(1)

Goodell, Geoffrey. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gregory, Peggy. editor. (orcid)0000-0001-7891-6666

(1)

Guegan, Chirine Ghedira. editor.

(1)

Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487

(1)

Guerra, Esther. editor.

(1)

Gueye, Assane. editor. (orcid)0000-0001-6469-4716

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

He, Jifeng. editor.

(1)

Heras, Dora. editor.

(1)

Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236

(1)

Hochberger, Christian. editor.

(1)

Hsu, Ching-Hsien. editor.

(1)

Hyrynsalmi, Sami. editor.

(1)

Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262

(1)

Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

(1)

Jahangirova, Gunel. editor.

(1)

Janes, Andrea. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Jemili, Imen. editor. (orcid)0000-0002-3701-1251

(1)

Jhala, Ranjit. editor.

(1)

Johnson, Ryan, author.

(1)

Juddoo, Suraj. editor.

(1)

Julien, Christine. editor.

(1)

Jurdak, Raja. editor. (orcid)0000-0001-7517-0782

(1)

Kadgien, Regine. editor.

(1)

Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X

(1)

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Kasahara, Hironori. editor.

(1)

Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154

(1)

Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281

(1)

Kharchenko, Vyacheslav. editor.

(1)

Khomh, Foutse. editor. (orcid)0000-0002-5704-4173

(1)

Kim, Cheonshik. editor.

(1)

Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

(1)

Kimura, Keiji. editor.

(1)

Klages-Mundt, Ariah. editor. (orcid)0000-0002-5577-1000

(1)

Kropp, Martin. editor. (orcid)0000-0002-7439-6517

(1)

Kubátová, Hana. editor.

(1)

Kulyk, Oksana. editor. (orcid)0000-0003-4218-1658

(1)

Kuznets, Roman. editor. (orcid)0000-0001-5894-8724

(1)

Leavens, Gary T. editor.

(1)

Lemos, Rogério. editor.

(1)

Leon, Marcelo. editor.

(1)

Leroy, Pascal. editor.

(1)

Leymann, Frank. editor. (orcid)0000-0002-9123-259X

(1)

Li, Chao. editor. (orcid)0000-0001-6218-4659

(1)

Li, Guoliang. editor. (orcid)0000-0002-1398-0621

(1)

Li, Xiaoming. editor.

(1)

Li, Xiaozhou. editor.

(1)

Li, Zhenhua. editor. (orcid)0000-0001-7286-122X

(1)

Lin, Haixiang. editor.

(1)

Lopes, Antónia. editor.

(1)

Lopez, Johnny, author.

(1)

Lourenço, João M. editor.

(1)

Lu, Kejing. editor. (orcid)0000-0002-4006-3378

(1)

Lu, Yueming. editor.

(1)

Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228

(1)

Lü, Jian. author.

(1)

Mabrouk, Sabra. editor.

(1)

Maiga, Amadou-Seidou. editor.

(1)

Marchesi, Michele. editor.

(1)

Marshall, Nick (Computer consultant), author.

(1)

Martins, Rolando. editor. (orcid)0000-0002-1838-1417

(1)

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393

(1)

Matsuo, Shin'ichiro. editor. (orcid)0000-0002-3208-4531

(1)

Medeiros, Ibéria. editor.

(1)

Mei, Hong. author.

(1)

Meier, Michael. editor.

(1)

Melegati, Jorge. editor.

(1)

Mendiboure, Leo. editor.

(1)

Menzies, Tim. editor.

(1)

Mey, Dieter. editor.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Mili, Ali. editor.

(1)

Mohr, Bernd. editor.

(1)

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065

(1)

Mosbah, Mohamed. editor.

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712

(1)

Mueller, Frank. editor.

(1)

Münch, Jürgen. editor. (orcid)0000-0003-0327-8094

(1)

Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298

(1)

Nakamura, Junya. editor. (orcid)0000-0002-1363-4358

(1)

Language

(96)

Publication Date

-

(31)

(24)

(20)

(11)

(5)

(2)

(1)

(1)

(1)

Subject

Operating systems (Computers).

(93)

Software engineering.

(68)

Computer Communication Networks.

(32)

Computer networks .

(32)

Computer science.

(32)

Application software.

(29)

Computer and Information Systems Applications.

(29)

Artificial intelligence.

(21)

Data encryption (Computer science).

(19)

(18)

(18)

Data protection.

(16)

Data and Information Security.

(15)

Information theory.

(14)

Special Purpose and Application-Based Systems.

(14)

Data Structures and Information Theory.

(13)

Data structures (Computer science).

(13)

Computer System Implementation.

(12)

Computers, Special purpose.

(12)

Programming Techniques.

(12)

Computer systems.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Compilers (Computer programs).

(10)

Compilers and Interpreters.

(10)

Theory of Computation.

(10)

Computer Engineering and Networks.

(9)

Computer engineering.

(9)

Database management.

(8)

(8)

(7)

Computer Application in Administrative Data Processing.

(6)

Information technology -- Management.

(6)

Security Services.

(6)

Business information services.

(5)

Computer programming.

(5)

Computer science -- Mathematics.

(5)

Electronic data processing -- Management.

(5)

(5)

Logics and Meanings of Programs.

(5)

System Performance and Evaluation.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer software.

(4)

Computer vision.

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Computer network architectures.

(3)

Computer system performance.

(3)

(3)

Computing Milieux.

(3)

Control Structures and Microprogramming.

(3)

IT in Business.

(3)

Image processing -- Digital techniques.

(3)

Information Systems Applications (incl. Internet).

(3)

Microprogramming .

(3)

Computer Science Logic and Foundations of Programming.

(2)

Computer Systems Organization and Communication Networks.

(2)

Computer architecture.

(2)

Computer simulation.

(2)

Design and Analysis of Algorithms.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Electronic books.

(2)

Electronic digital computers -- Evaluation.

(2)

Enterprise Architecture.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical statistics.

(2)

Microprocessors.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Probability and Statistics in Computer Science.

(2)

Processor Architectures.

(2)

COMPUTERS -- Operating Systems -- Virtualization.

(1)

Cloud Computing.

(1)

Coding and Information Theory.

(1)

(1)

Collaboration Software.

(1)

Computation by Abstract Devices.

(1)

Computer Modelling.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Encryption.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Engineering, general.

(1)

(1)

Enterprise Applications.

(1)

Entrepreneurship.

(1)

Formal Languages and Automata Theory.

(1)

Groupware (Computer software)

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information systems.

(1)

Information technology -- Law and legislation.

(1)

Integrated software

(1)

Integrated software.

(1)

Legal Aspects of Computing.

(1)

Logiciels de groupe.

(1)

Logiciels intégrés.

(1)

Machine theory.

(1)

(1)

(1)

Mathematics of Computing.

(1)

Microsoft .NET Framework.

(1)

Microsoft Office

(1)

Microsoft Office.

(1)

Microsoft software.

(1)

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Multiprocesseurs.

(1)

Multiprocessors

(1)

Multiprocessors.

(1)

New business enterprises.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Performance and Reliability.

(1)

(1)

Simulation and Modeling.

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Systems and Data Security.

(1)

Systems on a chip

(1)

Systems on a chip.

(1)

Systèmes sur une puce.

(1)

Systèmes virtuels (Informatique)

(1)

Teams in the workplace -- Data processing

(1)

Teams in the workplace -- Data processing.

(1)

The Computer Industry.

(1)

(1)

VMware vSphere.

(1)

Virtual computer systems

(1)

Virtual computer systems.

(1)

Virtualization.

(1)

Windows Server.

(1)

Équipes de travail -- Informatique.

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

96 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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.

1.

Cover image for Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

Author

Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Author

Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Author

Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62105-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Cover image for Requirements Engineering and Management for Software Development Projects

Requirements Engineering and Management for Software Development Projects

Requirements Engineering and Management for Software Development Projects

Author

Chemuturi, Murali. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331756.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Author

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335024.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40894-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334353.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Author

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40648-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Author

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43904-4

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11