Search Results for Springer

|

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ış:

+

Konu: Machine theory.

Yazar

SpringerLink (Online service)

(249)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(9)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(9)

Hameurlain, Abdelkader. editor.

(4)

Martín-Vide, Carlos. editor.

(4)

Legay, Axel. editor.

(3)

Schmidt, Renate A. editor.

(3)

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

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

Bekki, Daisuke. editor.

(2)

Benslimane, Djamal. editor.

(2)

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

(2)

Bouajjani, Ahmed. editor.

(2)

Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

(2)

Brlek, Srečko. editor.

(2)

Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299

(2)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(2)

Celino, Irene. editor. (orcid)0000-0001-9962-7193

(2)

Chaudhuri, Swarat. editor.

(2)

Corcho, Oscar. editor. (orcid)0000-0002-9260-0753

(2)

Câmpeanu, Cezar. editor.

(2)

Damiani, Ernesto. editor.

(2)

De Nicola, Rocco. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

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

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Grosky, William I. editor.

(2)

Groth, Paul. editor. (orcid)0000-0003-0183-6910

(2)

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

(2)

Hinchey, Mike. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Kapur, Deepak. editor.

(2)

Kaymak, Uzay. editor.

(2)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(2)

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

(2)

Küng, Josef. editor.

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Leroy, Julien. editor.

(2)

Lesot, Marie-Jeanne. editor.

(2)

Lisena, Pasquale. editor. (orcid)0000-0003-3094-5585

(2)

Liu, Shaoying. editor.

(2)

Manea, Florin. editor.

(2)

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842

(2)

Mousavi, Mohammad Reza. editor.

(2)

Métais, Elisabeth. editor.

(2)

Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496

(2)

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

(2)

Ortiz, Magdalena. editor.

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

Pan, Jeff Z. editor.

(2)

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

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367

(2)

Presutti, Valentina. editor. (orcid)0000-0002-9380-5160

(2)

Raad, Joe. editor. (orcid)0000-0002-7891-7738

(2)

Reutenauer, Christophe. editor.

(2)

Revenko, Artem. editor. (orcid)0000-0001-6681-3328

(2)

Roman, Dumitru. editor.

(2)

Sabou, Marta. editor. (orcid)0000-0001-9301-8418

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sartini, Bruno. editor. (orcid)0000-0002-9152-4402

(2)

Satoh, Ken. editor.

(2)

Sheth, Amit. editor.

(2)

Simperl, Elena. editor. (orcid)0000-0003-1722-947X

(2)

Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

(2)

Truthe, Bianca. editor.

(2)

Vieira, Susana. editor.

(2)

Wagner, Roland R. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Zhe. editor.

(2)

Yager, Ronald R. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Adami, André. editor.

(1)

Adorni, Giovanni. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aickelin, Uwe. editor.

(1)

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

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Amblard, Maxime. editor.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arai, Sachiyo. editor.

(1)

Arbel, Eli. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Balduccini, Marcello. editor.

(1)

Baltag, Alexandru. editor.

(1)

Barrett, Clark. editor.

(1)

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

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beck, J. Christopher. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Beckmann, Arnold. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179

(1)

Best, Eike. editor.

(1)

Bienvenu, Laurent. editor.

(1)

Biro, Miklos. editor.

(1)

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

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blesa, Maria J. editor.

(1)

Bloem, Roderick. editor.

(1)

Blum, Christian. editor.

(1)

Blömer, Johannes. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bollen, Peter. editor.

(1)

Bond, Francis. editor.

(1)

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

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouraoui, Zied. editor.

(1)

Bowen, Jonathan P. editor.

(1)

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

(1)

Bowen, Judy. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Branco, António. editor.

(1)

Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X

(1)

Broering, Arne. editor.

(1)

Bubel, Richard. editor.

(1)

Buitelaar, Paul. editor.

(1)

Bultan, Tevfik. author.

(1)

Bursa, Miroslav. editor.

(1)

Butler, Michael. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Calvanese, Diego. editor.

(1)

Calì, Andrea. editor.

(1)

Camelin, Nathalie. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Charlier, Émilie. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chiarcos, Christian. editor.

(1)

Choemprayong, Songphan. editor.

(1)

Cholvy, Laurence. editor.

(1)

Chopra, Amit K. editor.

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Ciuciu, Ioana. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Cornélio, Márcio. editor.

(1)

Costantini, Stefania. editor.

(1)

Crestani, Fabio. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cunha, Jácome. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cussens, James. editor.

(1)

Cutello, Vincenzo. editor.

(1)

Cámara, Javier. editor.

(1)

Damigos, Matthew. editor. (orcid)0000-0003-0431-1482

(1)

Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589

(1)

Darmont, Jérôme. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Decker, Hendrik. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Di Nuovo, Alessandro. editor.

(1)

Dinh, Thang N. editor.

(1)

Dix, Alan. editor.

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Dolce, Francesco. editor.

(1)

Dong, Jin Song. editor.

(1)

Dong, Minghui. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Tümünü genişlet

Dil

(249)

Yayın Yılı

-

(105)

(98)

(25)

(21)

Konu

Formal Languages and Automata Theory.

(249)

Computer science.

(160)

Computer Science Logic and Foundations of Programming.

(137)

Software engineering.

(135)

Artificial intelligence.

(126)

Compilers (Computer programs).

(79)

Compilers and Interpreters.

(79)

(62)

Computer science -- Mathematics.

(55)

Application software.

(53)

Computer and Information Systems Applications.

(53)

Theory of Computation.

(51)

Computer programming.

(37)

Programming Techniques.

(37)

Computer networks .

(36)

Data Mining and Knowledge Discovery.

(33)

(33)

Computer Communication Networks.

(27)

Discrete Mathematics in Computer Science.

(27)

Discrete mathematics.

(27)

Information Storage and Retrieval.

(26)

Information storage and retrieval systems.

(26)

Database management.

(23)

Natural Language Processing (NLP).

(22)

Natural language processing (Computer science).

(22)

Computer Modelling.

(20)

Computer simulation.

(20)

Computers, Special purpose.

(14)

Special Purpose and Application-Based Systems.

(14)

Mathematics of Computing.

(13)

Computer Application in Administrative Data Processing.

(12)

Information technology -- Management.

(12)

Mathematical Logic and Foundations.

(11)

Mathematical logic.

(11)

Artificial intelligence -- Data processing.

(9)

Computer Engineering and Networks.

(9)

Computer engineering.

(9)

(9)

Data and Information Security.

(9)

Data protection.

(9)

(9)

Logic programming.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Mathematical statistics.

(7)

Probability and Statistics in Computer Science.

(7)

Symbolic and Algebraic Manipulation.

(7)

Automated Pattern Recognition.

(6)

Information theory.

(6)

Mathematical Applications in Computer Science.

(6)

Pattern recognition systems.

(6)

Control Structures and Microprogramming.

(5)

Data Structures and Information Theory.

(5)

Data structures (Computer science).

(5)

Electronic data processing -- Management.

(5)

(5)

Microprogramming .

(5)

Programming Language.

(5)

Programming languages (Electronic computers).

(5)

Bioinformatics.

(4)

Computational and Systems Biology.

(4)

Computer Application in Social and Behavioral Sciences.

(4)

Computer vision.

(4)

Design and Analysis of Algorithms.

(4)

Models of Computation.

(4)

Numerical analysis.

(4)

Social sciences -- Data processing.

(4)

Computational linguistics.

(3)

(3)

Electronic digital computers -- Evaluation.

(3)

Human-computer interaction.

(3)

(3)

System Performance and Evaluation.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computer graphics.

(2)

Computer programs -- Testing.

(2)

Computers and Education.

(2)

Education -- Data processing.

(2)

Health Informatics.

(2)

Medical informatics.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Software Testing.

(2)

Algebraic topology.

(1)

Applied Dynamical Systems.

(1)

Asia -- Languages.

(1)

Asian Languages.

(1)

(1)

Coding and Information Theory.

(1)

(1)

Computational complexity.

(1)

Computational intelligence.

(1)

Computer architecture.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

(1)

Expert systems (Computer science).

(1)

Hardware Performance and Reliability.

(1)

Knowledge Based Systems.

(1)

(1)

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical models.

(1)

Microprocessors.

(1)

Nonlinear theories.

(1)

(1)

Philosophy of Science.

(1)

Processor Architectures.

(1)

(1)

Robotic Engineering.

(1)

(1)

Science -- Philosophy.

(1)

The Computing Profession.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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

249 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 21

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.

1.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings için kapak resmi

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Yazar

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72621-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings için kapak resmi

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Yazar

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

The French School of Programming için kapak resmi

The French School of Programming

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings için kapak resmi

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Yazar

König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66438-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers için kapak resmi

Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers

Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers

Yazar

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings için kapak resmi

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Yazar

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Yazar

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures için kapak resmi

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Yazar

Pan, Jeff Z. editor. Calvanese, Diego. editor. Eiter, Thomas. editor. Horrocks, Ian. editor. Kifer, Michael. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 21

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11