Search Results for Operating systems (Computers).

|

|

|

|

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:

+

Material Type: E-Book

Author

SpringerLink (Online service)

(598)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Yang, Laurence T. editor.

(8)

Yung, Moti. editor.

(8)

Schwiegelshohn, Uwe. editor.

(7)

Frachtenberg, Eitan. editor.

(6)

Guo, Minyi. editor.

(6)

Romanovsky, Alexander. editor.

(6)

Hochberger, Christian. editor.

(5)

Jin, Hai. editor.

(5)

Lemos, Rogério. editor.

(5)

Vugt, Sander. author.

(5)

Zhou, Jianying. editor.

(5)

Barthe, Gilles. editor.

(4)

Barthès, Jean-Paul A. editor.

(4)

Gacek, Cristina. editor.

(4)

Graf, Susanne. editor.

(4)

Jajodia, Sushil. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Jonker, Willem. editor.

(4)

Kim, Tai-hoon. editor.

(4)

Luo, Yuhua. editor.

(4)

López, Javier. editor.

(4)

Martinelli, Fabio. editor.

(4)

Matthews, Martin S.

(4)

Petković, Milan. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Ślęzak, Dominik. editor.

(4)

Bao, Feng. editor.

(3)

Berekovic, Mladen. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Brueckner, Sven A. editor.

(3)

Cao, Jiannong. editor.

(3)

Christianson, Bruce. editor.

(3)

Cristea, Ana Daniela. author.

(3)

Cuellar, Jorge. editor.

(3)

Dimitrakos, Theo. editor.

(3)

Dongarra, Jack. editor.

(3)

Gellert, Ulrich. author.

(3)

Gorrieri, Roberto. editor.

(3)

Grotegut, Martin. author.

(3)

Kacsuk, Péter. editor.

(3)

Koucheryavy, Yevgeni. editor.

(3)

Kruegel, Christopher. editor.

(3)

Li, Jinwen. editor.

(3)

Lin, Zongkai. editor.

(3)

Lirkov, Ivan. editor.

(3)

Lopez, Javier. editor.

(3)

Malcolm, James A. editor.

(3)

Malyshkin, Victor. editor.

(3)

Margenov, Svetozar. editor.

(3)

Moreau, Luc. editor.

(3)

(3)

Petersen, Richard, 1949-

(3)

Roe, Michael. editor.

(3)

ScienceDirect (Online service)

(3)

Shen, Weiming. editor.

(3)

Spivey, Dwight.

(3)

Waśniewski, Jerzy. editor.

(3)

Weitershausen, Philipp. author.

(3)

Wolfinger, Christine. author.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Zhang, Chengyi. editor.

(3)

Aldini, Alessandro. editor.

(2)

Alex, Wulf. author.

(2)

Aspnes, James. editor.

(2)

(2)

Beigl, Michael. editor.

(2)

Birman, Kenneth P. author.

(2)

Bloem, Roderick. editor.

(2)

Blumauer, Andreas. editor.

(2)

Boykov, Yuri. editor.

(2)

Braun, Torsten. editor.

(2)

Brinkschulte, Uwe. author.

(2)

Butler, Michael. editor.

(2)

Cardellini, Valeria. editor.

(2)

Carle, Georg. editor.

(2)

Chatzimisios, Periklis. editor.

(2)

Cirne, Walfredo. editor.

(2)

Cohen, Albert. editor.

(2)

Craig, Iain D. author.

(2)

Crispo, Bruno. editor.

(2)

Damiani, Ernesto. editor.

(2)

David, Matthew, 1971-

(2)

Decker, Bart. editor.

(2)

Deng, Robert H. editor.

(2)

Desai, Narayan. editor.

(2)

Dolev, Shlomi. editor.

(2)

D’Ambra, Pasqua. editor.

(2)

Eliassen, Frank. editor.

(2)

Falsafi, Babak. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Gaudiot, Jean-Luc. editor.

(2)

Gizopoulos, Dimitris. editor.

(2)

Gollmann, Dieter. editor.

(2)

Guarracino, Mario. editor.

(2)

Guerraoui, Rachid. author.

(2)

Gunther, Neil J. author.

(2)

Hameurlain, Abdelkader. editor.

(2)

Herminghaus, Volker. author.

(2)

Higashino, Teruo. editor.

(2)

Holt, Alan. author.

(2)

Huang, Chi-Yu. author.

(2)

Huanye, Sheng. editor.

(2)

Huisman, Marieke. editor.

(2)

Ioannidis, Sotiris. editor.

(2)

Jesshope, Chris. editor.

(2)

Jones, Cliff B. editor.

(2)

Kahl, Fredrik. editor.

(2)

Kalker, Ton. editor.

(2)

Karl, Wolfgang. editor.

(2)

Kasahara, Hironori. editor.

(2)

Kotenko, Igor. editor.

(2)

Lai, Xuejia. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Lissoir, Alain.

(2)

Lukowicz, Paul. editor.

(2)

Luo, Junzhou. editor.

(2)

Ma, Jianhua. editor.

(2)

Mambo, Masahiro. editor.

(2)

Mambretti, Joe. editor.

(2)

Margaria, Tiziana. editor.

(2)

Marshall, David (David W.)

(2)

Martin, David. editor.

(2)

Marzo Serugendo, Giovanna. editor.

(2)

Mattern, Friedemann. editor.

(2)

Meer, Hermann. editor.

(2)

Mellouk, Abdelhamid. editor.

(2)

Mencagli, Gabriele. editor.

(2)

Meyer, Bertrand. editor.

(2)

Müller, Matthias S. editor.

(2)

Müller-Schloer, Christian. editor.

(2)

Nagel, Wolfgang E. editor.

(2)

Namyst, Raymond. editor.

(2)

Navarro-Arribas, Guillermo. editor.

(2)

Nicola, Rocco. editor.

(2)

Németh, Zsolt. editor.

(2)

Nüßer, Wilhelm. author.

(2)

Osterhage, Wolfgang W. author.

(2)

Pahl, Claus. editor.

(2)

Pellegrini, Tassilo. editor.

(2)

Pointcheval, David. editor.

(2)

Prasanna, Viktor K. editor.

(2)

Prencipe, Giuseppe. editor.

(2)

Preneel, Bart. editor.

(2)

Rajagopal, Raj.

(2)

Rannenberg, Kai. editor.

(2)

Reis, Ricardo. editor.

(2)

Resch, Michael M. editor.

(2)

Reussner, Ralf. editor.

(2)

Ricci, Laura. editor.

(2)

Rodrigues, Luís. author.

(2)

Roman, Jean. editor.

(2)

Rudolph, Larry. editor.

(2)

Ryan, Peter Y. A. editor.

(2)

Römer, Kay. editor.

(2)

Safavi-Naini, Reihaneh. editor.

(2)

Sakurai, Kouichi. editor.

(2)

Schiele, Bernt. editor.

(2)

Schmidt, Frank R. editor.

(2)

Schneider, Steve. editor.

(2)

Scott, Stephen L. editor.

(2)

Scriba, Albrecht. author.

(2)

Shi, Weisong. editor.

(2)

Shi, Xuanhua. editor.

(2)

Sick, Bernhard. editor.

(2)

Skormin, Victor. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Speake, Graham.

(2)

Spirakis, Paul G. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stiller, Burkhard. editor.

(2)

Syngress Media, Inc.

(2)

Szyperski, Clemens. editor.

(2)

Takagi, Tsuyoshi. editor.

(2)

Talia, Domenico. editor.

(2)

Thomas, Keir. author.

(2)

Tovar, Eduardo. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Tsaoussidis, Vassilis. editor.

(2)

Ungerer, Theo. author.

(2)

Ungerer, Theo. editor.

(2)

VijayKumar, T. N. editor.

(2)

Vohra, Deepak. author.

(2)

Wagner, Roland. editor.

(2)

Waldburger, Martin. editor.

(2)

Wang, Guilin. editor.

(2)

Wolf, Felix. editor.

(2)

Wu, Zhaohui. editor.

(2)

Yew, Pen-Chung. editor.

(2)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(2)

Zamboni, Diego. editor.

(2)

Zheng, Ran. editor.

(2)

ASC Community. author.

(1)

Aarts, Emile. editor.

(1)

(1)

Abdelzaher, Tarek. editor.

(1)

Abeni, Luca. author.

(1)

Language

(653)

(30)

Publication Date

-

(103)

(103)

(60)

(59)

(58)

(54)

(53)

(45)

(45)

(38)

(27)

(11)

(10)

(5)

(5)

(3)

(2)

(1)

(1)

(1)

Subject

Operating systems (Computers).

(598)

Computer science.

(517)

Software engineering.

(298)

Computer Communication Networks.

(296)

Information systems.

(132)

Computer software.

(130)

Information Systems.

(105)

Data encryption (Computer science).

(100)

(95)

Computer network architectures.

(90)

Computer system performance.

(77)

Operating systems (Computers)

(74)

Information storage and retrieval systems.

(58)

Artificial intelligence.

(48)

Computational complexity.

(29)

Data protection.

(27)

Operating Systems.

(27)

Computer security.

(25)

Telecommunication.

(24)

Electronic data processing.

(22)

(22)

Database management.

(19)

Multimedia systems.

(17)

Computer simulation.

(16)

Microsoft Windows (Computer file)

(16)

Data structures (Computer science).

(15)

Computer hardware.

(14)

Data transmission systems.

(14)

Systems engineering.

(14)

(13)

(13)

Performance and Reliability.

(13)

(11)

(11)

Programming Languages, Compilers, Interpreters.

(11)

Computer communication systems.

(10)

Computer vision.

(10)

Information theory.

(10)

Microsoft Windows server.

(10)

(10)

Virtual computer systems.

(10)

Computer aided design.

(9)

Electronic books.

(9)

Optical pattern recognition.

(9)

Computer engineering.

(8)

Computer networks -- Management.

(8)

Computer networks -- Security measures.

(8)

Computer organization.

(8)

Macintosh (Computer) -- Programming.

(8)

Programming Techniques.

(8)

Programming languages (Electronic computers).

(8)

(8)

Application software.

(7)

Architecture, Computer.

(7)

Computer networks.

(7)

System Performance and Evaluation.

(7)

Algorithm Analysis and Problem Complexity.

(6)

(6)

Computers -- Law and legislation.

(6)

Logic, Symbolic and mathematical.

(6)

Management information systems.

(6)

(6)

Software Engineering/Programming and Operating Systems.

(6)

Systems and Data Security.

(6)

(5)

Electronic mail systems.

(5)

Logics and Meanings of Programs.

(5)

MacBook (Computer)

(5)

Microprocessors.

(5)

Special purpose computers.

(5)

(5)

iPhoto (Computer file)

(5)

(5)

Android (Electronic resource)

(4)

Computer system failures.

(4)

Data structures (Computer scienc.

(4)

Information Systems Applications (incl. Internet).

(4)

MacBook Air (Computer)

(4)

Macintosh (Computer)

(4)

Macintosh (Computer) -- Maintenance and repair.

(4)

Microprogramming .

(4)

Open source software.

(4)

(4)

UNIX (Computer file)

(4)

(4)

(4)

World Wide Web.

(4)

(4)

Arithmetic and Logic Structures.

(3)

Client/server computing.

(3)

Computer System Implementation.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer programming.

(3)

Data Encryption.

(3)

Distribution (Probability theory).

(3)

Input-output equipment (Computers).

(3)

(3)

Microprogramming.

(3)

Microsoft Internet information server.

(3)

Microsoft Windows (Computer file) -- Handbooks, manuals, etc.

(3)

Operating systems (Computers) -- Handbooks, manuals, etc.

(3)

Operating systems (Computers) -- Security measures.

(3)

Optical data processing.

(3)

Processor Architectures.

(3)

Special Purpose and Application-Based Systems.

(3)

iMac (Computer)

(3)

Application software -- Development.

(2)

Bioinformatics.

(2)

Circuits and Systems.

(2)

Component software.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer crimes -- Investigation -- Methodology.

(2)

Computer industry.

(2)

Computer network protocols.

(2)

Computer science—Mathematics.

(2)

Computer software -- Management.

(2)

(2)

(2)

Electronic data processing personnel -- Certification.

(2)

Embedded computer systems.

(2)

Engineering design.

(2)

Extranets (Computer networks)

(2)

Firewalls (Computer security)

(2)

Flash (Computer file)

(2)

Görüntülü bilgisayar sistemleri.

(2)

Industrial engineering.

(2)

Information Storage and Retrieval.

(2)

(2)

Management of Computing and Information Systems.

(2)

(2)

Memory Structures.

(2)

Memory management (Computer science)

(2)

Memory management (Computer science).

(2)

Microsoft Windows 2000 (Computer file)

(2)

Mobile computing -- Security measures.

(2)

Mobile computing.

(2)

Numeric Computing.

(2)

Operating systems (Computers) -- Examinations -- Study guides.

(2)

Optical materials.

(2)

(2)

Programming languages (Electronic computers)

(2)

Routing (Computer network management)

(2)

Simulation and Modeling.

(2)

Smartphones -- Security measures.

(2)

(2)

TCP/IP (Computer network protocol)

(2)

Ubuntu (Electronic resource)

(2)

(2)

(2)

Agricultural economics.

(1)

Algebra -- Data processing.

(1)

(1)

Algorithms -- Outlines, syllabi, etc.

(1)

Apache (Computer file : Apache Group)

(1)

AppleScript (Computer program language)

(1)

Application program interfaces (Computer software)

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Automatic indexing.

(1)

Besturingssystemen.

(1)

Biology -- Data processing.

(1)

Browsers (Computer programs)

(1)

Coding and Information Theory.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Science and Engineering.

(1)

Computer Applications.

(1)

Computer crimes.

(1)

Computer literacy.

(1)

Computer memory systems.

(1)

Computer network architectures -- Outlines, syllabi, etc.

(1)

Computer networks -- Design.

(1)

Computer networks -- Remote access.

(1)

Computer organization -- Outlines, syllabi, etc.

(1)

Computer science -- Outlines, syllabi, etc.

(1)

Computer software -- Development.

(1)

Computer software -- Outlines, syllabi, etc.

(1)

Computer terminals -- Remote terminals.

(1)

Computernetwerken.

(1)

Computers and Society.

(1)

Computers and civilization -- Outlines, syllabi, etc.

(1)

Computers and civilization.

(1)

Computers and older people.

(1)

(1)

Control engineering systems.

(1)

Data Mining and Knowledge Discovery.

(1)

Debugging in computer science.

(1)

Distributed operating systems (Computers)

(1)

Distribution (Probability theory.

(1)

Economics -- Statistics.

(1)

(1)

(1)

Electric engineering.

(1)

Electronic book collection.

(1)

Electronic commerce.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Embedded computer systems -- Programming.

(1)

Energy Technology.

(1)

Engineering economy.

(1)

Engineering mathematics.

(1)

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

684 Results Found

Subscribe to search results

1 2 3 4 5 .. 57

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.

25.

Cover image for Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Author

Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15651-0

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Author

Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17227-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

Author

Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36027-6

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Transactions on Computational Collective Intelligence XXVIII

Transactions on Computational Collective Intelligence XXVIII

Transactions on Computational Collective Intelligence XXVIII

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78301-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Author

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Software Fault Detection and Correction: Modeling and Applications

Software Fault Detection and Correction: Modeling and Applications

Software Fault Detection and Correction: Modeling and Applications

Author

Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1162-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Author

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2423-9

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Author

Kochs, Hans-Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64991-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Author

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Handbook of Model Checking

Handbook of Model Checking

Handbook of Model Checking

Author

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10575-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Author

van Hoeve, Willem-Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93031-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 57

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11