Search Results for Computer systems

|

|

|

|

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: Machine theory.

Author

SpringerLink (Online service)

(83)

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

(7)

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

(5)

Bekki, Daisuke. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Hameurlain, Abdelkader. editor.

(2)

Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X

(2)

Küng, Josef. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Ortiz, Magdalena. editor.

(2)

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

(2)

Roman, Dumitru. editor.

(2)

Satoh, Ken. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Zhe. editor.

(2)

Adami, André. editor.

(1)

Adorni, Giovanni. editor.

(1)

Aickelin, Uwe. editor.

(1)

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

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

An, Bo. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Arai, Sachiyo. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Artemov, Sergei. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Bazzan, Ana. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Bogomolov, Sergiy. editor.

(1)

Bollen, Peter. editor.

(1)

Bond, Francis. editor.

(1)

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

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouraoui, Zied. editor.

(1)

Bowen, Judy. editor.

(1)

Branco, António. editor.

(1)

Broering, Arne. editor.

(1)

Buitelaar, Paul. editor.

(1)

Bursa, Miroslav. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Camelin, Nathalie. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Chiarcos, Christian. editor.

(1)

Choemprayong, Songphan. editor.

(1)

Chopra, Amit K. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Costantini, Stefania. editor.

(1)

Crestani, Fabio. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cámara, Javier. editor.

(1)

Damigos, Matthew. editor. (orcid)0000-0003-0431-1482

(1)

Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589

(1)

Darmont, Jérôme. editor.

(1)

De Nicola, Rocco. editor.

(1)

Decker, Hendrik. editor.

(1)

Dix, Alan. editor.

(1)

Dong, Jin Song. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

England, Matthew. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Esposito, Floriana. editor.

(1)

Estève, Yannick. editor.

(1)

Fensel, Anna. editor.

(1)

Ferilli, Stefano. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fodor, Paul. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Frank, Ulrich. editor.

(1)

Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X

(1)

Friedrich, Gerhard. editor.

(1)

Fränzle, Martin. editor.

(1)

Gaaloul, Walid. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-2162-4918

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopal, T.V. editor.

(1)

Gori, Marco. editor.

(1)

Governatori, Guido. editor.

(1)

Gracia, Jorge. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guiochet, Jérémie. editor.

(1)

Gyssens, Marc. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Hellmann, Sebastian. editor.

(1)

Helmert, Malte. editor.

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hinchey, Mike. editor.

(1)

Hirayama, Katsutoshi. editor.

(1)

Hnoohom, Narit. editor.

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holzinger, Andreas. editor.

(1)

Hu, Wei. editor.

(1)

Huang, Zhisheng. editor.

(1)

Hudec, Miroslav. author.

(1)

Ittoo, Ashwin. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Jäger, Gerhard. editor.

(1)

Kakas, Antonis. editor.

(1)

Ketcham, Mahasak. editor.

(1)

Khuri, Sami. editor.

(1)

Kirikova, Mārīte. editor.

(1)

Klimenko, Stanislav. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702

(1)

Kohlhase, Michael. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kozaki, Kouji. editor.

(1)

Král, Pavel. editor.

(1)

Kulikov, Alexander S. editor.

(1)

Kunčak, Viktor. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Leite, João. editor.

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

Li, Yuan-Fang. editor.

(1)

Lisi, Francesca A. editor.

(1)

Liu, Yang. editor.

(1)

Loreti, Michele. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manea, Florin. editor.

(1)

Maratea, Marco. editor.

(1)

Markey, Nicolas. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Martel, Matthieu. editor.

(1)

McCrae, John P. editor. (orcid)0000-0002-7227-1331

(1)

Meersman, Robert. editor.

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Meyer, Bertrand. editor.

(1)

Michael, Loizos. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Miller, Bruce. editor.

(1)

Mohammed, Mohssen, 1982, author.

(1)

Métais, Elisabeth. editor.

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

Nerode, Anil. editor.

(1)

Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010

(1)

Numao, Masayuki. editor.

(1)

Nørvåg, Kjetil. editor. (orcid)0000-0002-4250-9329

(1)

Ohta, Yuiko. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Osman, Nardine. editor.

(1)

Ota, Yuiko. editor.

(1)

Otake, Mihoko. editor.

(1)

Palanque, Philippe. editor. (orcid)0000-0002-5381-971X

(1)

Pan, Jeff Z. editor.

(1)

Papadopoulos, George A. editor.

(1)

Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469

(1)

Papazoglou, Mike. editor.

(1)

Paschke, Adrian. editor. (orcid)0000-0003-3156-9040

(1)

Pathan, Al-Sakib Khan.

(1)

Peters, James F. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Pighizzini, Giovanni. editor.

(1)

Podnar Žarko, Ivana. editor.

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Poveda-Villalón, María. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Pramkeaw, Patiyuth. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Probst, Christian W. editor.

(1)

Qi, Guilin. editor.

(1)

Quaresma, Paulo. editor.

(1)

Rabe, Florian. editor.

(1)

Renda, M. Elena. editor.

(1)

Ribeiro, Ricardo. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rizzi, Stefano. editor.

(1)

Rospocher, Marco. editor. (orcid)0000-0001-9391-3201

(1)

Rovatsos, Michael. editor.

(1)

Sadri, Fariba. editor.

(1)

Salaba, Athena. editor. (orcid)0000-0002-1694-4052

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sartori, Fabio. editor. (orcid)0000-0002-5038-9785

(1)

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178

(1)

Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304

(1)

Language

(84)

Publication Date

-

(31)

(31)

(12)

(9)

(1)

Subject

Formal Languages and Automata Theory.

(83)

Application software.

(53)

Computer and Information Systems Applications.

(53)

Artificial intelligence.

(49)

Software engineering.

(42)

Computer science.

(36)

Computer Science Logic and Foundations of Programming.

(31)

Data Mining and Knowledge Discovery.

(21)

(21)

Information Storage and Retrieval.

(15)

Information storage and retrieval systems.

(15)

Database management.

(14)

(12)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Computer networks .

(11)

Theory of Computation.

(11)

Computer System Implementation.

(8)

Computer systems.

(8)

Computer Communication Networks.

(7)

Computer Modelling.

(7)

Computer science -- Mathematics.

(7)

Computer simulation.

(7)

Computers, Special purpose.

(7)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Special Purpose and Application-Based Systems.

(7)

Computer Application in Administrative Data Processing.

(5)

Computer programming.

(5)

Control Structures and Microprogramming.

(5)

Information technology -- Management.

(5)

Microprogramming .

(5)

Programming Techniques.

(5)

Automated Pattern Recognition.

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Pattern recognition systems.

(4)

Data Structures and Information Theory.

(3)

Data and Information Security.

(3)

Data protection.

(3)

Data structures (Computer science).

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Human-computer interaction.

(3)

Information theory.

(3)

(3)

Logic programming.

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computer Application in Social and Behavioral Sciences.

(2)

Health Informatics.

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Numerical analysis.

(2)

Probability and Statistics in Computer Science.

(2)

Social sciences -- Data processing.

(2)

Artificial intelligence -- Data processing.

(1)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computer algorithms.

(1)

Computer architecture.

(1)

Computer networks -- Security measures.

(1)

Computer programs -- Testing.

(1)

Computer viruses.

(1)

Computer vision.

(1)

Computers and Education.

(1)

(1)

Computing Milieux.

(1)

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Expert systems (Computer science).

(1)

Knowledge Based Systems.

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Processor Architectures.

(1)

Robotic Engineering.

(1)

(1)

Software Testing.

(1)

System Performance and Evaluation.

(1)

Material Type

Shelf Location

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

84 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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 OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

Author

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Author

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings

New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings

New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings

Author

Kirikova, Mārīte. editor. Nørvåg, Kjetil. editor. (orcid)0000-0002-4250-9329 Papadopoulos, George A. editor. Gamper, Johann. editor. (orcid)0000-0002-2162-4918 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction

Author

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Author

Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62075-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Author

Friedrich, Gerhard. editor. Helmert, Malte. editor. Wotawa, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

Author

Renda, M. Elena. editor. Bursa, Miroslav. editor. Holzinger, Andreas. editor. Khuri, Sami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43949-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Author

Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Author

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Author

Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Author

Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30024-5

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11