Search Results for Logic.

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:

+

Konu: Application software.

Author

SpringerLink (Online service)

(91)

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

(4)

Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258

(4)

Longo, Luca. editor.

(4)

Seifert, Christin. editor. (orcid)0000-0002-6776-3868

(4)

Bekki, Daisuke. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Satoh, Ken. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Cuppens, Frédéric. editor.

(2)

Cuppens-Boulahia, Nora. editor.

(2)

Fodor, Paul. editor.

(2)

Guiochet, Jérémie. editor.

(2)

Iliadis, Lazaros. editor.

(2)

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

(2)

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

(2)

Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Riaño, David. editor. (orcid)0000-0002-1608-0215

(2)

Roman, Dumitru. editor.

(2)

Skavhaug, Amund. editor.

(2)

Tonetta, Stefano. editor.

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

ten Teije, Annette. editor. (orcid)0000-0002-9771-8822

(2)

van der Torre, Leendert. editor.

(2)

Abadi, Martín. editor.

(1)

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

(1)

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

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012

(1)

An, Bo. editor.

(1)

Arai, Sachiyo. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Avgeriou, Paris. editor.

(1)

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

(1)

Baptista, Jorge. editor.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

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

(1)

Bazzan, Ana. editor.

(1)

Bello, Rafael. editor.

(1)

Berger, Christian. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X

(1)

Bikakis, Antonis. editor.

(1)

Blackburn, Patrick. editor.

(1)

Blumenstein, Michael. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427

(1)

Bondavalli, Andrea. editor.

(1)

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

(1)

Bucanek, James. author.

(1)

Bulling, Nils. editor.

(1)

Bécue, Adrien. editor.

(1)

Camacho, David. editor. (orcid)0000-0002-0535-7450

(1)

Candeias, Sara. editor.

(1)

Cao, Xin. editor.

(1)

Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778

(1)

Chamberlain, Roger. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Chopra, Amit K. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Console, Marco. editor. (orcid)0009-0004-5526-019X

(1)

Corchado, Juan Manuel. editor.

(1)

Cornelis, Chris. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Daneva, Maya. editor.

(1)

Darmont, Jérôme. editor. (orcid)0000-0003-1491-384X

(1)

De Nicola, Rocco. editor.

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Delporte-Gallet, Carole. editor.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Ebert, Achim. editor.

(1)

Eder, Johann. editor. (orcid)0000-0001-6050-468X

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987

(1)

Elzer Schwartz, Stephanie. editor.

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Esposito, Floriana. editor.

(1)

Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X

(1)

Ferilli, Stefano. editor.

(1)

Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720

(1)

Fränzle, Martin. editor.

(1)

Fteimi, Nora. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-7128-507X

(1)

Garbinato, Benoît. editor.

(1)

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

(1)

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

(1)

Ge, Yong. editor.

(1)

Goertzel, Ben. editor.

(1)

Goldmeier, Jordan. author.

(1)

Governatori, Guido. editor.

(1)

Grünbacher, Paul. editor.

(1)

Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441

(1)

Guo, Meiyun. editor.

(1)

Guttmann, Christian. editor. (orcid)0000-0001-9509-7551

(1)

Han, Xianpei. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Harmelen, Frank van. editor.

(1)

He, Kun. editor.

(1)

Heisel, Maritta. editor.

(1)

Hepp, Martin. editor.

(1)

Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075

(1)

Herrera-Alcántara, Oscar. editor.

(1)

Herrero, Pau. editor. (orcid)0000-0002-7088-5807

(1)

Hildebrandt, Thomas. editor.

(1)

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

(1)

Hirayama, Katsutoshi. editor.

(1)

Huang, Zi. editor.

(1)

Hudec, Miroslav. author.

(1)

Humayoun, Shah Rukh. editor.

(1)

Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Jalote, Pankaj. author.

(1)

Jamnik, Mateja. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janev, Valentina. editor. (orcid)0000-0002-9794-8505

(1)

Jin, Zhi. editor.

(1)

Joosen, Wouter. editor.

(1)

Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877

(1)

Kakas, Antonis. editor.

(1)

Kamišalić Latifić, Aida. editor. (orcid)0000-0002-8574-8506

(1)

Kapitsaki, Georgia M. editor.

(1)

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

(1)

Kharchenko, Vyacheslav. editor.

(1)

Koch, Fernando. editor. (orcid)0000-0001-7136-3253

(1)

Kondratenko, Yuriy. editor.

(1)

Konev, Boris. editor. (orcid)0000-0002-6507-0494

(1)

Kordy, Barbara. editor.

(1)

Koster, Andrew. editor. (orcid)0000-0001-5976-7183

(1)

Kruse, Carola. editor. (orcid)0000-0002-4142-7356

(1)

Kryszkiewicz, Marzena. editor.

(1)

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

(1)

Lehner, Franz. editor.

(1)

Leite, João. editor.

(1)

Lenz, Richard. editor. (orcid)0000-0003-1551-4824

(1)

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

(1)

Lewis, Dave. editor.

(1)

Li, Fangyi. author.

(1)

Li, Gang. editor. (orcid)0000-0003-1583-641X

(1)

Li, Xianyong. editor.

(1)

Lisi, Francesca A. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lorini, Emiliano. editor.

(1)

Ludin, Anwar. author.

(1)

López, Beatriz. editor. (orcid)0000-0001-9210-0073

(1)

López, Javier. editor.

(1)

MacIntyre, John. editor.

(1)

Maffei, Matteo. editor.

(1)

Maglogiannis, Ilias. editor.

(1)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(1)

Majkić, Zoran. author.

(1)

Mamede, Nuno. editor.

(1)

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651

(1)

Markey, Nicolas. editor.

(1)

Marling, Cindy. editor. (orcid)0000-0002-4155-5155

(1)

Martel, Matthieu. editor.

(1)

Martin, Clare. editor. (orcid)0000-0002-3147-3746

(1)

Martinelli, Fabio. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Mauw, Sjouke. editor.

(1)

Medina, Jesús. editor. (orcid)0000-0002-3931-5873

(1)

Meersman, Robert. editor.

(1)

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

(1)

Menasalvas Ruiz, Ernestina. editor.

(1)

Michael, Loizos. editor.

(1)

Miksch, Silvia. editor.

(1)

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

(1)

Miranda-Jiménez, Sabino. editor.

(1)

Montagna, Sara. editor. (orcid)0000-0001-5390-4319

(1)

Montani, Stefania. editor. (orcid)0000-0002-5992-6735

(1)

Monteiro, José. editor. (orcid)0000-0003-0603-2268

(1)

Morzy, Mikoƚaj. editor. (orcid)0000-0002-2905-9538

(1)

Mousavi, Mohammad Reza. editor.

(1)

Nakano, Yukiko. editor.

(1)

Neruda, Roman. editor.

(1)

Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X

(1)

Noriega, Pablo. editor.

(1)

Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480

(1)

Ohta, Yuiko. editor.

(1)

Ojeda-Aciego, Manuel. editor.

(1)

Orseau, Laurent. editor.

(1)

Ortiz, Magdalena. editor.

(1)

Ota, Yuiko. editor.

(1)

Otake, Mihoko. editor.

(1)

Ouyang, Chun. editor.

(1)

Paes, Aline. editor.

(1)

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

(1)

Paraboni, Ivandré. editor.

(1)

Pardo, Thiago A.S. editor.

(1)

Pastor, Oscar. editor.

(1)

Pichardo-Lagunas, Obdulia. editor.

(1)

Pimenidis, Elias. editor.

(1)

Language

(91)

Publication Date

-

(25)

(21)

(17)

(14)

(8)

(6)

Subject

Computer and Information Systems Applications.

(59)

Artificial intelligence.

(49)

Software engineering.

(37)

Computer science.

(35)

Computer Science Logic and Foundations of Programming.

(30)

Computer networks .

(29)

Mathematical logic.

(20)

Computer Communication Networks.

(19)

Formal Languages and Automata Theory.

(19)

Machine theory.

(19)

(14)

(11)

Compilers (Computer programs).

(11)

Compilers and Interpreters.

(11)

Computer logic.

(11)

Information Storage and Retrieval.

(11)

Information storage and retrieval systems.

(11)

Computer Engineering and Networks.

(10)

Computer engineering.

(10)

Database management.

(10)

Information storage and retrieval.

(8)

Data Mining and Knowledge Discovery.

(7)

Natural language processing (Computer science).

(7)

Data and Information Security.

(6)

Data protection.

(6)

Theory of Computation.

(6)

Computer vision.

(5)

Electronic data processing -- Management.

(5)

(5)

Natural Language Processing (NLP).

(5)

Programming languages (Electronic computers).

(5)

User interfaces (Computer systems).

(5)

(4)

Logic programming.

(4)

Computer Application in Administrative Data Processing.

(3)

Computer Modelling.

(3)

Computer science -- Mathematics.

(3)

Computer security.

(3)

Computer simulation.

(3)

Computers, Special purpose.

(3)

Data encryption (Computer science).

(3)

Expert systems (Computer science).

(3)

Human-computer interaction.

(3)

Information technology -- Management.

(3)

Knowledge Based Systems.

(3)

Mathematical statistics.

(3)

Special Purpose and Application-Based Systems.

(3)

User Interfaces and Human Computer Interaction.

(3)

Arithmetic and logic units, Computer.

(2)

Automated Pattern Recognition.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer communication systems.

(2)

Computer organization.

(2)

Computer programming.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

(2)

(2)

(2)

Electronic digital computers -- Evaluation.

(2)

Image processing -- Digital techniques.

(2)

(2)

Management information systems.

(2)

Microprogramming .

(2)

Optical data processing.

(2)

Pattern recognition systems.

(2)

Probability and Statistics in Computer Science.

(2)

Programming Language.

(2)

System Performance and Evaluation.

(2)

(1)

Apple computer.

(1)

Architecture, Computer.

(1)

Arithmetic and Logic Structures.

(1)

Business information services.

(1)

Coding and Information Theory.

(1)

(1)

Computational intelligence.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer arithmetic and logic units.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer science—Mathematics.

(1)

Computer systems.

(1)

Computers and Education.

(1)

Control Structures and Microprogramming.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

IT in Business.

(1)

Information theory.

(1)

Knowledge representation (Information theory) .

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Mobile computing.

(1)

Operating systems (Computers).

(1)

Pattern recognition.

(1)

(1)

Programming Techniques.

(1)

Renewable Energy.

(1)

Renewable energy sources.

(1)

Social sciences -- Data processing.

(1)

The Computing Profession.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

91 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 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.

49.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Author

Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Author

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Author

Jamnik, Mateja. editor. Uesaka, Yuri. editor. Elzer Schwartz, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Author

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Process Mining Data Science in Action

Process Mining Data Science in Action

Process Mining Data Science in Action

Author

van der Aalst, Wil M. P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49851-4

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Author

Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

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:

60.

Cover image for Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Author

Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11