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:

+

Konu: 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 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:

26.

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:

27.

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:

28.

Cover image for Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Author

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Author

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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

32.

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:

33.

Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

Author

Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

Author

Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68600-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 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11