Search Results for Logic

|

|

|

|

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: Computer networks .

Author

SpringerLink (Online service)

(95)

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

(4)

Liang, Qilian. editor.

(4)

Longo, Luca. editor.

(4)

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

(4)

Wang, Wei. editor.

(4)

Zhang, Baoju. editor.

(4)

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

(3)

Finkbeiner, Bernd. editor.

(3)

Kovács, Laura. editor.

(3)

Liu, Xin. editor.

(3)

Na, Zhenyu. editor.

(3)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Chen, Xu. editor.

(2)

Cuppens, Frédéric. editor.

(2)

Cuppens-Boulahia, Nora. editor.

(2)

Farzan, Azadeh. editor.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Guo, Deke. editor.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

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

(2)

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

(2)

Lintas, Alessandra. editor.

(2)

Min, Geyong. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Pu, Lingjun. editor.

(2)

Rovetta, Stefano. editor.

(2)

Schmidt, Renate A. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Tonetta, Stefano. editor.

(2)

Verschure, Paul F.M.J. editor.

(2)

Villa, Alessandro E.P. editor.

(2)

Xie, Xia. editor.

(2)

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

(1)

Aceto, Luca. editor.

(1)

Alatrista-Salas, Hugo. editor.

(1)

Albert, Elvira. editor.

(1)

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

(1)

Amos, Martyn. editor.

(1)

Amouzegar, Mahyar A. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Ao, Sio-long. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Arbel, Eli. editor.

(1)

Arjeski, Trevor. author.

(1)

Athanasopoulos, Elias. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Barbosa, Haniel. editor.

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Berger, Christian. editor.

(1)

Bloem, Roderick. editor.

(1)

Blumenstein, Michael. editor.

(1)

Bodden, Eric. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

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

(1)

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

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Bécue, Adrien. editor.

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

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

(1)

Castiglione, Aniello. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chen, Haoyao. editor.

(1)

Cholvy, Laurence. editor.

(1)

Condon, Anne. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Dastani, Mehdi. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

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

(1)

Dinh, Thang N. editor.

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Elahi, Ata. author.

(1)

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

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Fteimi, Nora. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Garbinato, Benoît. editor.

(1)

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

(1)

Ge, Yong. editor.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Goldmeier, Jordan. author.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Goodwin, Morten. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

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

(1)

Guiochet, Jérémie. editor.

(1)

Göbel, Susanne. author.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Herbold, Steffen. editor.

(1)

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

(1)

Herrera-Alcántara, Oscar. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hopcroft, Philippa. editor.

(1)

Hähnle, Reiner. editor.

(1)

Ichalkaranje, Nikhil. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jain, Lakhmi C. editor.

(1)

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

(1)

Jin, Zhi. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kahraman, Cengiz. editor.

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(1)

Kaymak, Uzay Uzay. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Klasing, Ralf. editor.

(1)

Kordy, Barbara. editor.

(1)

Kovács, Gábor. editor.

(1)

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

(1)

Kushik, Natalia. editor.

(1)

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

(1)

Law, Effie L.-C. editor.

(1)

Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Lehner, Franz. editor.

(1)

Leino, K. Rustan M. editor.

(1)

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

(1)

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

(1)

Li, Jin. editor.

(1)

Li, Kangshun. editor.

(1)

Liu, Ming. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yong. editor. (orcid)0000-0002-4663-6739

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lossio-Ventura, Juan Antonio. editor.

(1)

Luger, Ewa. editor.

(1)

Luger, Ewa. editor. (orcid)0000-0001-7882-9415

(1)

Lönn, Henrik. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Maglogiannis, Ilias. editor.

(1)

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833

(1)

Mardare, Radu. editor.

(1)

Martel, Matthieu. editor.

(1)

Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X

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

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725

(1)

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

(1)

Miranda-Jiménez, Sabino. editor.

(1)

Monniaux, David. editor.

(1)

Morita, Kenichi. author.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Mu, Jiasong. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Neruda, Roman. editor.

(1)

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

(1)

Nica, Mihai. editor.

(1)

Noriega, Pablo. editor.

(1)

Ojeda-Aciego, Manuel. editor.

(1)

Ong, Luke. editor.

(1)

Ordoñez, Hugo. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341

(1)

Papini, Odile. editor.

(1)

Patnaik, Srikanta. editor.

(1)

Payer, Mathias. editor. (orcid)0000-0001-5054-7547

(1)

Phillips, Iain. editor.

(1)

Pi, Yiming. editor.

(1)

Pichardo-Lagunas, Obdulia. editor.

(1)

Pinger, Ralf. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965

(1)

Rabuñal, Juan Ramón. editor. (orcid)0000-0002-5757-1897

(1)

Rahaman, Hafizur. editor.

(1)

Ravara, António. editor.

(1)

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

(1)

Riquelme, José C. editor. (orcid)0000-0002-8243-2186

(1)

Rodriguez-Fernandez, Victor. editor. (orcid)0000-0002-8589-6621

(1)

Romanovsky, Alexander. editor.

(1)

Réthy, György. editor.

(1)

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

(1)

Seiffertt, John. author.

(1)

Sensoy, Murat. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Language

(95)

Publication Date

-

(33)

(26)

(17)

(10)

(5)

(3)

(1)

Subject

Computer Communication Networks.

(64)

Computer science.

(55)

Software engineering.

(51)

Computer Science Logic and Foundations of Programming.

(45)

Artificial intelligence.

(39)

Computer Engineering and Networks.

(31)

Computer engineering.

(31)

Application software.

(29)

Computer and Information Systems Applications.

(29)

Formal Languages and Automata Theory.

(25)

Machine theory.

(25)

Compilers (Computer programs).

(21)

Compilers and Interpreters.

(21)

Theory of Computation.

(15)

(13)

Computer programming.

(10)

Electronic data processing -- Management.

(10)

(10)

Natural Language Processing (NLP).

(10)

Natural language processing (Computer science).

(10)

Programming Techniques.

(10)

Computers, Special purpose.

(9)

Special Purpose and Application-Based Systems.

(9)

Data and Information Security.

(8)

Data protection.

(8)

(8)

Computer Modelling.

(7)

Computer simulation.

(7)

Computer vision.

(7)

Control Structures and Microprogramming.

(7)

Microprogramming .

(7)

Communications Engineering, Networks.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

(6)

Logic programming.

(6)

Operating Systems.

(6)

Operating systems (Computers).

(6)

Telecommunication.

(6)

Signal processing.

(5)

Computer input-output equipment.

(4)

Computer science -- Mathematics.

(4)

Data Mining and Knowledge Discovery.

(4)

(4)

Input/Output and Data Communications.

(4)

Arithmetic and Logic Structures.

(3)

Computer arithmetic and logic units.

(3)

(3)

(3)

Data encryption (Computer science).

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Human-computer interaction.

(3)

Signal, Speech and Image Processing.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computational intelligence.

(2)

Computer System Implementation.

(2)

Computer systems.

(2)

Digital and Analog Signal Processing.

(2)

Automated Pattern Recognition.

(1)

(1)

Business information services.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Memory Structure.

(1)

Computer architecture.

(1)

Computer storage devices.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Database management.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic digital computers -- Evaluation.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Expert systems (Computer science).

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Knowledge Based Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Memory management (Computer science).

(1)

Microelectromechanical systems.

(1)

Microprocessors.

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Microsystems and MEMS.

(1)

Microtechnology.

(1)

Pattern recognition systems.

(1)

Processor Architectures.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Social sciences -- Data processing.

(1)

System Performance and Evaluation.

(1)

Material Type

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

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

25.

Cover image for Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Author

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51060-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57249-4

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57256-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

Author

Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2653-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2362-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-1260-5

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Author

Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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:

36.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11