Search Results for Operating systems (Computers).

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:

+

Language: English

Author

SpringerLink (Online service)

(568)

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)

Cuellar, Jorge. editor.

(3)

Dimitrakos, Theo. editor.

(3)

Dongarra, Jack. editor.

(3)

Gorrieri, Roberto. editor.

(3)

Jang, Michael H.

(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)

Negus, Christopher.

(3)

Petersen, Richard, 1949-

(3)

Roe, Michael. editor.

(3)

ScienceDirect (Online service)

(3)

Shen, Weiming. editor.

(3)

Spivey, Dwight.

(3)

Tanenbaum, Andrew S.

(3)

Waśniewski, Jerzy. editor.

(3)

Weitershausen, Philipp. author.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Zhang, Chengyi. editor.

(3)

Aldini, Alessandro. editor.

(2)

Aspnes, James. editor.

(2)

(2)

Beigl, Michael. editor.

(2)

Birman, Kenneth P. author.

(2)

Bloem, Roderick. editor.

(2)

Boykov, Yuri. editor.

(2)

Braun, Torsten. editor.

(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)

Cristea, Ana Daniela. author.

(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)

(2)

Galvin, Peter B.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Gaudiot, Jean-Luc. editor.

(2)

Gellert, Ulrich. author.

(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)

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)

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)

Northrup, Tony.

(2)

Németh, Zsolt. editor.

(2)

Pahl, Claus. 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)

Shi, Weisong. editor.

(2)

Shi, Xuanhua. editor.

(2)

Sick, Bernhard. editor.

(2)

Silberschatz, Abraham.

(2)

Skormin, Victor. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Sobell, Mark G.

(2)

Speake, Graham.

(2)

Spirakis, Paul G. editor.

(2)

Stallings, William.

(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. editor.

(2)

VijayKumar, T. N. editor.

(2)

Vohra, Deepak. author.

(2)

Vugt, Sander van.

(2)

Wagner, Roland. editor.

(2)

Waldburger, Martin. editor.

(2)

Wang, Guilin. editor.

(2)

Wolf, Felix. editor.

(2)

Wu, Zhaohui. editor.

(2)

Yang, Lixiang, author.

(2)

Yew, Pen-Chung. editor.

(2)

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

(2)

Zamboni, Diego. editor.

(2)

Zheng, Ran. editor.

(2)

Cesati, Marco.,ort. yaz.

(1)

ASC Community. author.

(1)

Aarts, Emile. editor.

(1)

(1)

Abdelzaher, Tarek. editor.

(1)

Abeni, Luca. author.

(1)

Publication Date

-

(106)

(101)

(64)

(59)

(57)

(54)

(52)

(47)

(46)

(39)

(27)

(15)

(14)

(8)

(8)

(8)

(5)

(4)

(2)

(2)

(1)

(1)

(1)

(1)

Subject

Operating systems (Computers).

(578)

Computer science.

(487)

Computer Communication Networks.

(288)

Software engineering.

(284)

Computer software.

(130)

Operating systems (Computers)

(125)

Information systems.

(116)

Information Systems.

(105)

Data encryption (Computer science).

(100)

(95)

Computer network architectures.

(84)

Computer system performance.

(77)

Information storage and retrieval systems.

(58)

Artificial intelligence.

(48)

(31)

Computational complexity.

(29)

Computer security.

(28)

Data protection.

(27)

Operating Systems.

(27)

Telecommunication.

(24)

Electronic data processing.

(22)

(21)

Database management.

(19)

Microsoft Windows (Computer file)

(18)

Multimedia systems.

(17)

Computer simulation.

(16)

Data structures (Computer science).

(15)

Computer hardware.

(14)

Systems engineering.

(14)

İşletim sistemleri (Bilgisayarlar)

(14)

(13)

Performance and Reliability.

(13)

Microsoft Windows server.

(12)

(11)

Programming Languages, Compilers, Interpreters.

(11)

Computer communication systems.

(10)

Information theory.

(10)

(10)

Virtual computer systems.

(10)

Computer aided design.

(9)

Computer vision.

(9)

(9)

Optical pattern recognition.

(9)

İşletim Sistemleri (Bilgisayarlar)

(9)

Computer networks -- Management.

(8)

Computer networks -- Security measures.

(8)

Computer organization.

(8)

Electronic books.

(8)

Macintosh (Computer) -- Programming.

(8)

Programming Techniques.

(8)

Programming languages (Electronic computers).

(8)

UNIX (Computer file)

(8)

(8)

Application software.

(7)

Architecture, Computer.

(7)

Computer engineering.

(7)

Computer networks.

(7)

Data transmission systems.

(7)

System Performance and Evaluation.

(7)

Algorithm Analysis and Problem Complexity.

(6)

(6)

Computers -- Law and legislation.

(6)

Electronic data processing personnel -- Certification.

(6)

Logic, Symbolic and mathematical.

(6)

Management information systems.

(6)

(6)

Software Engineering/Programming and Operating Systems.

(6)

Systems and Data Security.

(6)

(5)

Android (Electronic resource)

(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)

İşletim Sistemleri (Bilgisayarlar).

(5)

İşletim sistemleri (Bilgisayarlar).

(5)

Application software -- Development.

(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)

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

(4)

(4)

(4)

(4)

World Wide Web.

(4)

(4)

İŞLETİM SİSTEMLERİ (BİLGİSAYARLAR)

(4)

Arithmetic and Logic Structures.

(3)

BİLGİSAYAR İŞLETİM SİSTEMİ.

(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)

Elektronik Veri İşlem Personeli -- Sertifikasyon.

(3)

Input-output equipment (Computers).

(3)

(3)

MICROSOFT WINDOWS.

(3)

Microsoft Internet information server.

(3)

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

(3)

OpenBSD (Electronic resource)

(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)

TCP/IP (Computer network protocol)

(3)

UNIX (Bilgisayar Kütükleri)

(3)

iMac (Computer)

(3)

İŞLETİM SİSTEMLERİ (BİLGİSAYARLAR).

(3)

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 -- Development.

(2)

Computer software -- Management.

(2)

(2)

(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)

Optical materials.

(2)

Programming languages (Electronic computers)

(2)

Routing (Computer network management)

(2)

Simulation and Modeling.

(2)

Smartphones -- Security measures.

(2)

Software maintenance.

(2)

(2)

Ubuntu (Electronic resource)

(2)

(2)

(2)

iOS (Electronic resource)

(2)

İşletim sistemleri (BİLGİSAYARLAR).

(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)

Aracı yazılım.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Automatic indexing.

(1)

Bilgisayar Güvenliği.

(1)

Bilgisayar Yapısı.

(1)

Bilgisayar güvenliği.

(1)

Bilgisayar yazılımı -- Gelişim.

(1)

Biology -- Data processing.

(1)

Browsers (Computer programs)

(1)

BİLGİSAYAR AĞLARI -- KONGRELER.

(1)

Coding and Information Theory.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Science and Engineering.

(1)

Computer Applications.

(1)

Computer architecture.

(1)

Computer crimes.

(1)

Computer literacy.

(1)

Computer memory systems.

(1)

Computer network architectures -- Outlines, syllabi, etc.

(1)

Computer networks -- Congresses.

(1)

Computer networks -- Design.

(1)

Computer networks -- Remote access.

(1)

Computer organization -- Outlines, syllabi, etc.

(1)

Computer science -- Outlines, syllabi, etc.

(1)

Computer software -- Outlines, syllabi, etc.

(1)

Computer terminals -- Remote terminals.

(1)

Computers and Society.

(1)

Computers and civilization -- Outlines, syllabi, etc.

(1)

Computers and civilization.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

719 Results Found

Subscribe to search results

1 2 3 4 5 .. 60

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:

1 2 3 4 5 .. 60

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11