Search Results for Formal languages.

|

|

|

|

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

Author

SpringerLink (Online service)

(406)

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

(10)

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

(9)

Martín-Vide, Carlos. editor.

(7)

Legay, Axel. editor.

(6)

Hameurlain, Abdelkader. editor.

(4)

Potapov, Igor. editor.

(4)

Schmidt, Renate A. editor.

(4)

Bekki, Daisuke. editor.

(3)

Crespi Reghizzi, Stefano. author.

(3)

Hinchey, Mike. editor.

(3)

Hähnle, Reiner. editor.

(3)

Liu, Shaoying. editor.

(3)

Son, Tran Cao. editor.

(3)

Truthe, Bianca. editor.

(3)

Voronkov, Andrei. editor.

(3)

Albert, Elvira. editor.

(2)

Artemov, Sergei. editor.

(2)

Artho, Cyrille. editor.

(2)

Baldoni, Matteo. editor.

(2)

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)

Benslimane, Djamal. editor.

(2)

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

(2)

Bernardo, Marco. editor.

(2)

Blazy, Sandrine. editor.

(2)

Bonacina, Maria Paola. editor.

(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)

Dediu, Adrian-Horia. editor.

(2)

Dennunzio, Alberto. editor.

(2)

Drewes, Frank. editor.

(2)

Eiter, Thomas. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gabbay, Dov M. author.

(2)

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

(2)

Ghosh, Sujata. editor.

(2)

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

(2)

Gottlob, Georg. editor.

(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)

Hopcroft, John E., 1939-

(2)

Horrocks, Ian. editor.

(2)

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

(2)

Ianni, Giovambattista. editor.

(2)

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

(2)

Johnsen, Einar Broch. editor.

(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)

Lange, Christoph. editor.

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Leite, João. editor.

(2)

Leroy, Julien. editor.

(2)

Lesot, Marie-Jeanne. editor.

(2)

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

(2)

Lämmel, Ralf. editor.

(2)

Manea, Florin. editor.

(2)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(2)

Manzoni, Luca. editor.

(2)

Mathieu, Philippe. editor.

(2)

Mayr, Heinrich C. editor.

(2)

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

(2)

Moreno, María N. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Métais, Elisabeth. editor.

(2)

Nerode, Anil. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

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

(2)

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

(2)

Ong, Luke. editor.

(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)

Peters, James F. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Porreca, Antonio E. editor.

(2)

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

(2)

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

(2)

Proença, José. editor.

(2)

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

(2)

Reutenauer, Christophe. editor.

(2)

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

(2)

Roggenbach, Markus. editor.

(2)

Roman, Dumitru. editor.

(2)

Romanovsky, Alexander. editor.

(2)

Rudolph, Sebastian. editor.

(2)

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

(2)

(2)

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

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Saraiva, João. editor.

(2)

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

(2)

Satoh, Ken. editor.

(2)

Shallit, Jeffrey. editor.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Sheth, Amit. editor.

(2)

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

(2)

Skowron, Andrzej. editor.

(2)

Soto, José A. editor.

(2)

Subrahmanian, V.S. author.

(2)

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

(2)

Torroni, Paolo. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Vieira, Susana. editor.

(2)

Wagner, Roland R. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Zhe. editor.

(2)

Wiese, Andreas. editor.

(2)

Yager, Ronald R. editor.

(2)

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

(2)

Zholtkevych, Grygoriy. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

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

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abelló, Alberto. editor.

(1)

Aberdein, Andrew. editor.

(1)

Aceto, Luca. editor.

(1)

Achten, Peter. editor.

(1)

Adam, Emmanuel. editor.

(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)

Aldini, Alessandro. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Amblard, Maxime. editor.

(1)

Amgoud, Leila. author.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Andréka, Hajnal. 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)

Aronoff, Mark, editor.

(1)

Aspinall, David. editor.

(1)

Atallah, Mikhail J.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bagdasar, Ovidiu. author.

(1)

Baier, Christel. editor.

(1)

Bajo, Javier. editor.

(1)

Balduccini, Marcello. editor.

(1)

Baltag, Alexandru. editor.

(1)

Barbosa, Haniel. editor.

(1)

Baresi, Luciano. editor.

(1)

Baroglio, Cristina. 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)

Bel-Enguix, Gemma. editor.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Beyer, Dirk. editor.

(1)

Bezhanishvili, Guram. editor.

(1)

Language

(432)

(1)

(1)

Publication Date

-

(113)

(108)

(101)

(33)

(30)

(11)

(6)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(284)

Machine theory.

(254)

Formal Languages and Automata Theory.

(249)

Software engineering.

(193)

Artificial intelligence.

(184)

Computer Science Logic and Foundations of Programming.

(142)

Mathematical Logic and Formal Languages.

(101)

Compilers (Computer programs).

(84)

Compilers and Interpreters.

(84)

Theory of Computation.

(69)

(65)

Computer science -- Mathematics.

(61)

Programming Techniques.

(61)

Application software.

(59)

Computer and Information Systems Applications.

(59)

(59)

Logics and Meanings of Programs.

(55)

Artificial Intelligence (incl. Robotics).

(48)

Computer networks .

(46)

Discrete Mathematics in Computer Science.

(45)

Computer Communication Networks.

(43)

Computer programming.

(41)

Data Mining and Knowledge Discovery.

(40)

(40)

Information Storage and Retrieval.

(37)

Information storage and retrieval systems.

(37)

Discrete mathematics.

(30)

Programming Languages, Compilers, Interpreters.

(30)

Computer simulation.

(28)

Database management.

(27)

Natural Language Processing (NLP).

(26)

Natural language processing (Computer science).

(26)

Computer software.

(24)

Algorithm Analysis and Problem Complexity.

(23)

Mathematical Logic and Foundations.

(23)

Computation by Abstract Devices.

(21)

Computer Modelling.

(21)

Mathematics of Computing.

(20)

Computational complexity.

(19)

Special Purpose and Application-Based Systems.

(19)

Computers, Special purpose.

(18)

Information theory.

(16)

Symbolic and Algebraic Manipulation.

(16)

Computer Application in Administrative Data Processing.

(13)

Information technology -- Management.

(13)

(13)

Logic programming.

(13)

Logic, Symbolic and mathematical.

(13)

Mathematical logic.

(13)

Computer Engineering and Networks.

(11)

Computer engineering.

(11)

Data protection.

(11)

Data structures (Computer science).

(11)

Artificial intelligence -- Data processing.

(10)

Computer vision.

(10)

(10)

Data and Information Security.

(10)

Algebra -- Data processing.

(9)

(9)

Probability and Statistics in Computer Science.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Formal languages.

(8)

Mathematical Applications in Computer Science.

(8)

Automated Pattern Recognition.

(7)

Bioinformatics.

(7)

Control Structures and Microprogramming.

(7)

Data Structures and Information Theory.

(7)

Information Systems Applications (incl. Internet).

(7)

Mathematical statistics.

(7)

(7)

Microprogramming .

(7)

Pattern recognition systems.

(7)

Programming languages (Electronic computers).

(7)

Simulation and Modeling.

(7)

Social sciences -- Data processing.

(7)

Computational intelligence.

(6)

Computational linguistics.

(6)

Math Applications in Computer Science.

(6)

Programming Language.

(6)

User Interfaces and Human Computer Interaction.

(6)

Computational and Systems Biology.

(5)

Computer Science, general.

(5)

Electronic data processing -- Management.

(5)

Electronic data processing.

(5)

(5)

Information systems.

(5)

Models of Computation.

(5)

Philosophy (General).

(5)

(4)

(4)

Computer Application in Social and Behavioral Sciences.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer graphics.

(4)

(4)

Design and Analysis of Algorithms.

(4)

Numeric Computing.

(4)

Numerical analysis.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

(4)

System Performance and Evaluation.

(4)

BİÇİMSEL DİL.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer architecture.

(3)

Data Structures.

(3)

Electronic Circuits and Systems.

(3)

Electronic circuits.

(3)

Electronic digital computers -- Evaluation.

(3)

(3)

Health Informatics.

(3)

Human-computer interaction.

(3)

Information Systems.

(3)

Management of Computing and Information Systems.

(3)

Microprocessors.

(3)

Processor Architectures.

(3)

User interfaces (Computer systems).

(3)

Algebraic topology.

(2)

Applications of Mathematics.

(2)

Coding and Information Theory.

(2)

(2)

Computational Biology/Bioinformatics.

(2)

Computer programs -- Testing.

(2)

Computers and Education.

(2)

Computers and Society.

(2)

Education -- Data processing.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

Engineering mathematics.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Medical informatics.

(2)

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Programming languages (Electronic computers) -- Semantics.

(2)

Software Engineering/Programming and Operating Systems.

(2)

Software Testing.

(2)

Translators (Computer programs).

(2)

(1)

Application software -- Development.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Asia -- Languages.

(1)

Asian Languages.

(1)

Augmented reality.

(1)

Automobiles -- Automatic control -- Equipment and supplies.

(1)

Automobiles -- Electronic equipment.

(1)

Automotive computers.

(1)

(1)

Building information modeling.

(1)

Business Information Systems.

(1)

Business Process Management.

(1)

Business information services.

(1)

COMPUTERS -- User Interfaces.

(1)

COMPUTERS / Programming Languages / General.

(1)

(1)

Cell aggregation -- Mathematics.

(1)

Code generators.

(1)

Communications Engineering, Networks.

(1)

Compilers (Computer programs)

(1)

Computational Intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer Hardware.

(1)

Computer Memory Structure.

(1)

Computer algorithms.

(1)

Computer graphics

(1)

Computer input-output equipment.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer software -- Development.

(1)

Computer storage devices.

(1)

Computer system performance.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Context (Linguistics)

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

Document Preparation and Text Processing.

(1)

(1)

Electronic books.

(1)

Embedded computer systems.

(1)

Engineering -- Handbooks, manuals, etc.

(1)

(1)

Expert systems (Computer science).

(1)

Facility management.

(1)

Fibonacci numbers

(1)

Fibonacci numbers.

(1)

Formal languages -- Semantics.

(1)

Formale Semantik.

(1)

Formal languages.

(1)

Generative grammar.

(1)

Genetic epistemology.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Wiley E-Book Collection

Library

Beytepe 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

434 Results Found

Subscribe to search results

1 .. 11 12 13 14 15 .. 37

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.

145.

Cover image for Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Author

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69904-2

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Author

Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70232-2

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Author

de Cesare, Sergio. editor. Frank, Ulrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70625-2

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Author

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Introduction to Mathematica® with Applications

Introduction to Mathematica® with Applications

Introduction to Mathematica® with Applications

Author

Mureşan, Marian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52003-2

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

Author

Winterstein, Felix. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Description Logics in Multimedia Reasoning

Description Logics in Multimedia Reasoning

Description Logics in Multimedia Reasoning

Author

Sikos, Leslie F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Grammatical Inference Algorithms, Routines and Applications

Grammatical Inference Algorithms, Routines and Applications

Grammatical Inference Algorithms, Routines and Applications

Author

Wieczorek, Wojciech. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Author

Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4436-6

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Author

Gorrieri, Roberto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55559-1

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54577-5

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 11 12 13 14 15 .. 37

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11