Search Results for Logic design.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Computer science.

Yazar

SpringerLink (Online service)

(1038)

Voronkov, Andrei. editor.

(15)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Governatori, Guido. editor.

(6)

Potapov, Igor. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Calude, Cristian S. editor.

(5)

Dastani, Mehdi. editor.

(5)

Fages, François. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Graf, Susanne. editor.

(5)

Leite, João. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Huisman, Marieke. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Leucker, Martin. editor.

(4)

Meseguer, José. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peña, Ricardo. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Ungerer, Theo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Aceto, Luca. editor.

(3)

Alpuente, María. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. editor.

(3)

Eekelen, Marko. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fisher, Michael. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hermanns, Holger. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Jones, Cliff B. editor.

(3)

Karhumäki, Juhani. editor.

(3)

Katz, Shmuel. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Kučera, Antonín. editor.

(3)

Legay, Axel. editor.

(3)

Leuschel, Michael. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Małuszyński, Jan. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nerode, Anil. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rahonis, George. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Wirsing, Martin. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Alfaro, Luca. editor.

(2)

Allemang, Dean. editor.

(2)

Artemov, Sergei. editor.

(2)

Ayala, José L. editor.

(2)

Baader, Franz. editor.

(2)

Baroglio, Cristina. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Caro, Jaime. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Cervesato, Iliano. editor.

(2)

Chechik, Marsha. editor.

(2)

Chen, Jianer. editor.

(2)

Chitil, Olaf. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Dawar, Anuj. editor.

(2)

Decker, Stefan. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Degano, Pierpaolo. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dignum, Virginia. editor.

(2)

Dingel, Juergen. editor.

(2)

Dinneen, Michael J. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Dowek, Gilles. author.

(2)

Drossopoulou, Sophia. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Dubois, Catherine. editor.

(2)

Durand-Lose, Jérôme. editor.

(2)

D’Argenio, Pedro R. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Tümünü genişlet

Dil

(1031)

(7)

Yayın Yılı

-

(120)

(114)

(110)

(109)

(109)

(104)

(96)

(94)

(93)

(77)

(3)

(3)

(3)

(2)

(1)

Tümünü genişlet

Konu

(1029)

Software engineering.

(716)

Artificial intelligence.

(320)

Computer Communication Networks.

(284)

Computer software.

(198)

Logics and Meanings of Programs.

(103)

Information Systems.

(98)

Computational complexity.

(93)

Operating systems (Computers).

(80)

Algebra -- Data processing.

(65)

Information systems.

(64)

Computer simulation.

(56)

Mathematical Logic and Formal Languages.

(55)

Information theory.

(53)

Programming Languages, Compilers, Interpreters.

(49)

Computer system performance.

(48)

Data structures (Computer science).

(44)

Information storage and retrieval systems.

(43)

Computer network architectures.

(37)

Artificial Intelligence (incl. Robotics).

(31)

Logic, Symbolic and mathematical.

(28)

Programming Techniques.

(25)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

(22)

Electronic data processing.

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(20)

Database management.

(17)

Bioinformatics.

(16)

Information Systems Applications (incl. Internet).

(15)

Data transmission systems.

(14)

(13)

Discrete Mathematics in Computer Science.

(12)

Systems engineering.

(12)

(11)

Management information systems.

(11)

Management of Computing and Information Systems.

(11)

Computer vision.

(10)

Computer hardware.

(9)

Data encryption (Computer science).

(9)

Theory of Computation.

(9)

Computer aided design.

(8)

Computer industry.

(8)

Memory management (Computer science).

(7)

Translators (Computer programs).

(7)

Computer Science Logic and Foundations of Programming.

(6)

Operating Systems.

(6)

Simulation and Modeling.

(6)

Information Storage and Retrieval.

(5)

Mathematical Logic and Foundations.

(5)

Optical pattern recognition.

(5)

Special Purpose and Application-Based Systems.

(5)

Symbolic and Algebraic Manipulation.

(5)

Arithmetic and Logic Structures.

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computer Science, general.

(4)

Computer security.

(4)

Data Mining and Knowledge Discovery.

(4)

Data structures (Computer scienc.

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

Microprogramming.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computational Biology/Bioinformatics.

(3)

Computer engineering.

(3)

(3)

(3)

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

Processor Architectures.

(3)

System Performance and Evaluation.

(3)

Telecommunication.

(3)

Text processing (Computer science.

(3)

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer Modelling.

(2)

Computer networks .

(2)

Computer programming.

(2)

(2)

(2)

Engineering mathematics.

(2)

Formal Languages and Automata Theory.

(2)

Machine theory.

(2)

Memory Structures.

(2)

Operations research.

(2)

Register-Transfer-Level Implementation.

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Business Information Systems.

(1)

C++ (Computer program language).

(1)

(1)

Category Theory, Homological Algebra.

(1)

Chemistry -- Mathematics.

(1)

(1)

Circuits and Systems.

(1)

Civil engineering.

(1)

Coding and Information Theory.

(1)

Computational linguistics.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer hardware description languages.

(1)

Computer systems.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

(1)

Computing Methodologies.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Industrial Management.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Linguistics -- Philosophy.

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Microprocessors.

(1)

Models and Principles.

(1)

Models of Computation.

(1)

Numeric Computing.

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Pattern Recognition.

(1)

Philosophy (General).

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Science -- Philosophy.

(1)

Theory and Algorithms for Application Domains.

(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

1038 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 87

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.

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers için kapak resmi

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Yazar

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers için kapak resmi

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Yazar

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02465-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings için kapak resmi

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99960-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Yazar

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings için kapak resmi

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Yazar

Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98654-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03592-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Yazar

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01090-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00151-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Transactions on Computational Science XXXIII için kapak resmi

Transactions on Computational Science XXXIII

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58039-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings için kapak resmi

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Yazar

Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91271-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III için kapak resmi

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Yazar

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05057-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Yazar

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11