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 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 Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

Cover image for Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Author

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54975-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

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 I

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 I

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 I

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-57246-3

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

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

33.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. 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-66266-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Theory of Reversible Computing

Theory of Reversible Computing

Theory of Reversible Computing

Author

Morita, Kenichi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-4-431-56606-9

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