Search Results for Methods engineering.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

223 Results Found

1 .. 3 4 5 6 7 .. 19

000000000000DEFAULT

49.

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Author

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Author

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Domain Decomposition Methods in Science and Engineering XX

Author

Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333957.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35275-1

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management

Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management

Author

Mario, Hirz. author. Dietrich, Wilhelm. author. Gfrerrer, Anton. author. Lang, Johann. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333051.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11940-8

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334841.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39721-9

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Author

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334968.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40561-7

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41202-8

Format:

Availability

Online Library~1

Available:
Copies:

56.

MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers

Author

Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.

Preferred Shelf Number

ONLINE(336174.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6143-8

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications

Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications

Author

Hu, Ping. author. Ma, Ning. author. Liu, Li-zhong. author. Zhu, Yi-guo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330905.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4099-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques

Author

Constanda, Christian. editor. Bodmann, Bardo E.J. editor. Velho, Haroldo F. de Campos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332355.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7828-7

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Author

Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.

Preferred Shelf Number

ONLINE(334106.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36046-6

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28525-7

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 19

	{displayName}	{count}
{error}