Search Results for Machine theory.

|

|

|

|

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

Author

SpringerLink (Online service)

(141)

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

(9)

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

(9)

Legay, Axel. editor.

(3)

Schmidt, Renate A. editor.

(3)

Ali, Moonis. editor.

(2)

Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

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

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

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

(2)

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

(2)

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

(2)

Kapur, Deepak. editor.

(2)

Khalil, Ismail. editor. (orcid)0000-0003-2493-3414

(2)

Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

Manco, Giuseppe. editor.

(2)

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

(2)

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

(2)

Roman, Dumitru. editor.

(2)

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

(2)

Strauss, Christine. editor. (orcid)0000-0003-0276-3610

(2)

Tabia, Karim. editor.

(2)

Tjoa, A Min. editor. (orcid)0000-0002-8295-9252

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

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

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

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

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

(1)

Balduccini, Marcello. editor.

(1)

Barrett, Clark. editor.

(1)

Batsakis, Sotiris. editor.

(1)

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

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Best, Eike. editor.

(1)

Biro, Miklos. editor.

(1)

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

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Blömer, Johannes. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bollen, Peter. editor.

(1)

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

(1)

Bouraoui, Zied. 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)

Broering, Arne. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chau, Vincent. editor. (orcid)0000-0002-3362-2063

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Cholvy, Laurence. editor.

(1)

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

(1)

Ciuciu, Ioana. editor.

(1)

Cornélio, Márcio. editor.

(1)

Costantini, Stefania. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cunha, Jácome. editor.

(1)

Cámara, Javier. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Davies, Misty. editor.

(1)

Dix, Alan. editor.

(1)

Dixon, Clare. editor.

(1)

Dorf, Richard C., author.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Dürr, Christoph. editor. (orcid)0000-0001-8103-5333

(1)

Echahed, Rachid. editor.

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Fensel, Anna. editor.

(1)

Fernandes, João P. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Frank, Ulrich. editor.

(1)

Furia, Carlo A. editor.

(1)

Gaaloul, Walid. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Governatori, Guido. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gurfinkel, Arie. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hage, Jurriaan. editor.

(1)

Hague, Matthew. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hinchey, Mike. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Höfner, Peter. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Jacobs, Bart. editor.

(1)

James, Phillip. editor.

(1)

Janhunen, Tomi. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Kahsai, Temesghen. editor.

(1)

Kakas, Antonis. editor.

(1)

Karydis, Ioannis. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

King, Andy. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Knapp, Alexander. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kohlhase, Michael. editor.

(1)

Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337

(1)

Kontchakov, Roman. editor.

(1)

Kotsireas, Ilias S. editor.

(1)

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

(1)

Kumar, Akhil. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kutsia, Temur. editor. (orcid)0000-0003-4084-7380

(1)

Kühn, Eva. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Li, Minming. editor. (orcid)0000-0002-7370-6237

(1)

Lindley, Sam. editor.

(1)

Liu, Yu David. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

Lucanu, Dorel. editor.

(1)

Lumpe, Markus. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löding, Christof. editor.

(1)

Ma, Hui. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malvestio, Mauro, author.

(1)

Markey, Nicolas. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Martel, Matthieu. editor.

(1)

Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X

(1)

Marín, Nicolás. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Mayr, Heinrich C. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Meersman, Robert. editor.

(1)

Language

(143)

Publication Date

-

(59)

(57)

(13)

(12)

(1)

(1)

Subject

Formal Languages and Automata Theory.

(135)

Machine theory.

(135)

Computer science.

(112)

Computer Science Logic and Foundations of Programming.

(108)

Compilers (Computer programs).

(69)

Compilers and Interpreters.

(69)

Artificial intelligence.

(57)

(29)

Computer networks .

(28)

Computer programming.

(27)

Programming Techniques.

(27)

Application software.

(22)

Computer Communication Networks.

(22)

Computer and Information Systems Applications.

(22)

Theory of Computation.

(21)

Computer science -- Mathematics.

(19)

Computer Modelling.

(17)

Computer simulation.

(17)

Computers, Special purpose.

(10)

Special Purpose and Application-Based Systems.

(10)

Discrete Mathematics in Computer Science.

(9)

Discrete mathematics.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Computer engineering.

(7)

Computer Engineering and Networks.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Control Structures and Microprogramming.

(5)

Database management.

(5)

Electronic data processing -- Management.

(5)

(5)

Mathematics of Computing.

(5)

Microprogramming .

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Computer Application in Administrative Data Processing.

(4)

Data and Information Security.

(4)

Data protection.

(4)

Information technology -- Management.

(4)

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Electronic digital computers -- Evaluation.

(3)

Information theory.

(3)

(3)

Logic programming.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Mathematical statistics.

(3)

Models of Computation.

(3)

Probability and Statistics in Computer Science.

(3)

System Performance and Evaluation.

(3)

Artificial intelligence -- Data processing.

(2)

Automated Pattern Recognition.

(2)

(2)

Design and Analysis of Algorithms.

(2)

Pattern recognition systems.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Symbolic and Algebraic Manipulation.

(2)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Programming / Algorithms

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Computer programs -- Testing.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

Digital electronics.

(1)

Education -- Data processing.

(1)

Electronic books.

(1)

Génie logiciel.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Ordinateurs -- Conception et construction.

(1)

(1)

(1)

Robotic Engineering.

(1)

(1)

Software Testing.

(1)

Statistics -- Data processing.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Taylor Francis E-Book Collection

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

143 Results Found

Subscribe to search results

1 .. 8 9 10 11 12

00000000000DEFAULT

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.

1.

Cover image for Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Author

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Author

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Author

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Author

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 8 9 10 11 12

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11