Search Results for Logic

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Subject: Computer networks .

Yazar

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)

Tümünü genişlet

Dil

(95)

Yayın Yılı

-

(33)

(26)

(17)

(10)

(5)

(3)

(1)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

95 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

25.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63800-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63803-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1 için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3 için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2 için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings için kapak resmi

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11